La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

UCME XPORTER : Support pour transformations de scénarios Use Case Maps Daniel Amyot, Ali Echihabi, et Yong He ÉITI, Université dOttawa {damyot | u2090356.

Présentations similaires


Présentation au sujet: "UCME XPORTER : Support pour transformations de scénarios Use Case Maps Daniel Amyot, Ali Echihabi, et Yong He ÉITI, Université dOttawa {damyot | u2090356."— Transcription de la présentation:

1 UCME XPORTER : Support pour transformations de scénarios Use Case Maps Daniel Amyot, Ali Echihabi, et Yong He ÉITI, Université dOttawa {damyot | u | Projet RDA, CRSNG

2 2 Aperçu de la présentation Ingénierie des exigences avec scénarios Notation Use Case Maps (UCM) Transformations de scénarios Potentiel et défis Exemple Outil: UCMExporter Conclusions

3 3 Approche commune avec MSC Orig MSMobSC-CCFHLR GetAuthInfo ChkAuth StartCom FindLoc ChkLoc Continue OK Hypothèse: service et données situés dans le commutateur mobile (MobSC)

4 4 HLR Autre alternative… Orig MSSCP-SDF - Différente répartition de la logique du service et de ses données - Différents protocoles et échanges de messages - Plusieurs autres détails peuvent être pris en compte… et nous distraire! SCP-SCFMobSC-CCFHLR-LRFh MobSC Orig GetAuthInfo StartCom FindLoc ChkAuth VrfAuth Authorized ChkLoc Continue OK StartCom Answer Challenge

5 5 Scénario Use Case Map (UCM) Abstraction des entités (composantes) et de leurs états Abstraction des messages Concentration sur la logique/fonctionnalité du service StartCom Continue GetAuthInfoChkAuthChkLoc[OK] Reject LogReject [NotOK]

6 6 URN = UCM + GRL Notation dexigences utilisateurs User Requirements Notation (URN) UIT-T Z.150 (février 2003) URN = scénarios (UCM) + buts/exigences non-fonctionnelles (GRL) Opérateurs UCM Responsabilités et composantes Séquence, alternative, concurrence, décomposition Définitions de scénarios

7 7 (c) Service et données dans SCP Évaluation darchitectures: chemins sur composantes UCM

8 8 Pourquoi transformer les (scénarios) UCM? Différentes notations adressent mieux différentes étapes du cycle de développement. Transformer une représentation en une autre permet de franchir, de façon retraçable et automatisable, le fossé séparant certaines phases. Les scénarios MSC (ou leur équivalent) ont toujours leur place dans la conception plus détaillée. Vision MDA de lOMG Platform-independent model Platform-specific model

9 9 UCM vers MSC Miga et al., 2001, 10 th SDL Forum Supporté par loutil UCMNav Transformation directe Génération du MSC lors de la traversée du modèle Messages synthétiques: m0, m1, m2, … Inflexible, non-paramétrable Support du parallélisme incomplet

10 10 Exemple de modèle UCM a) Root UCM. Start Point End Point Components a)Root Start Point End Point Components Start Point End Point Components Responsibility Stub b) Responsibility Stub b)Originating UCM: Plug-in for Sorig in Root Responsibility Stub OR-fork AND-fork c) Terminating UCM: plug-in for Sterm in Root OR-fork AND-fork Guard Timer Timeout Path OR-join Guard Timer Timeout Path OR-join Guard Timer Timeout Path OR-join d)TeenLine UCM: plug-in for Sscreen in Originating:d)

11 11 Définitions de scénarios et traversées

12 12 Définitions de scénarios

13 13 Exemple de sortie (MSC, Z.120)

14 14 Format intermédiaire XML Amyot et al., 2003, QSIC03 Découplage de la traversée Résulte en un scénario XML (fichier) et de la génération du langage cible Conversion vers MSC en utilisant XSLT Bonne amélioration, mais: Beaucoup de travail à répéter pour supporter un nouveau langage cible (UML) Conversion difficile à adapter pour des outils/détails particuliers Parallélisme difficile à gérer uniquement avec XSLT

15 15 Traversée et résultat en XML

16 16 Approche proposée: UCME XPORTER 7.TTCN-3 8.Telelogic TAU 1. UCMN AV 2. UCM File (+scen.defs) 2. UCM File (+scen.defs) 3. XML File (scenarios) 3. XML File (scenarios) 3. XML File (scenarios) 3. XML File (scenarios) 4. UCM E XPORTER 10.TTthree 9.Rational Rose 5. MSC 6. Sequence Diagram 6. Sequence Diagram

17 17 7.TTCN XML File (scenarios) 3. XML File (scenarios) 3. XML File (scenarios) 3. XML File (scenarios) 4.UCMExporter 5. MSC 6.UML SD (XMI) 6.UML SD (XMI) 4.1. XMLInputTransform 4.1. XMLInputTransform 4.3. UCM2MSC 4.5. UCM2TTCN 4.4. UCM2XMI XMITransformer DiagramDataGenerator DiagramDataGenerator XMI SD w/o Layout Info 4.2. UCMExporter XML Aperçu des transformations

18 18 UCMNavXML XML file generated by UCMNav that describes the scenarios XMI Input Transform UCMExporterXMLInputTransformer Identify the components and the instances participating in each scenario MessageSynthesizer Logic for generating messages and connectors. Discards parallel-related messages. ParallelConnectorMessagesSynthesizer Logic for generating connectors due to parallel behavior of the scenario. ConnectorMessagesContextNameGenerator Replace generic names of synthesized connector messages by context descriptive ones MessagesCustomizer Apply any user requested customization such as a specific communication pattern ParallelInterleavingsSynthesizer Generate all possible sequence interleavings if requested. Could feed a model synthesizer. UCMExporterXML XML file containing all information need for the transformations

19 19 Défis adressés par UCME XPORTER Synthèse de messages Préserve les relation causales de scénarios impliquant plusieurs composantes Produit des message cohérents pour des scénarios empruntant les mêmes chemins Support de la personnalisation Permet de renommer et de raffiner (paramètres, échanges complexes) les messages synthétiques Exprime le parallélisme Pour représenter les UCM avec chemins parallèles Voir page suivante Tient compte des limites des langages cibles (UML 1.x) Disposition des éléments du diagramme On ne peut pas toujours se fier aux outils existants! Support pour diagrammes de séquence UML avec Rational Rose (XMI)

20 20 Quelques activités à lextérieur de B B et C doivent savoir quand A a terminé … …… … … …

21 21 Autres caractéristiques Les règles de transformation sont maintenues indépendemment (fichiers.xsl) Les utilisateurs peuvent tailler les transformation sur mesure, via des fichiers.xsl supplémentaires De nouveaux langages cibles peuvent être ajoutés (par exemple, TTCN-3) Outil multi-plateforme (Java/XSLT)

22 22

23 23 Exemples de transformations

24 24 Exemple dapplication Synthèse de spécifications SDL à partir de scénarios Use Case Maps He et al., 2003, 11 th SDL Forum UCMs MSCs SDL UCMNav + Klocwork MSC2SDL + Telelogic Tau 4.4 Prototypage rapide permettant la simulation Plusieurs problèmes identifiés dans larticle résolus par UCMExporter Noms de message cohérents dun scénario à lautre Prise en compte des contraintes des outils de Klocwork et de Telelogic permettant lautomatisation de bout en bout.

25 25 Travaux reliés Génération de modèles de performance LQN à partir de UCM (Petriu et al., 2003) Génération de spécifications LOTOS à partir de UCM (Guan 2002) Génération de LQN à partir de diagrammes dactivités UML (Gu et al., 2002)

26 26 Conclusions et perspectives UCMExporter offre une plateforme flexible permettant de transformer des scénarios extraits de modèles UCM. Supporte des transformations vers les MSC (Z.120) et diagrammes de séquence UML (XMI). Évite la duplication defforts Exigences abstraites vers modèles détaillés Supporte partiellement des squelettes de tests TTCN-3 Futur : Support de UML 2.0 en entrée (diagrammes dactivités) et en sortie (diagrammes dinteractions) Génération de tests

27 27 Disponibilités des outils UCMExporter UCMNav 2.2 Merci!


Télécharger ppt "UCME XPORTER : Support pour transformations de scénarios Use Case Maps Daniel Amyot, Ali Echihabi, et Yong He ÉITI, Université dOttawa {damyot | u2090356."

Présentations similaires


Annonces Google