1 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI Métamodèles et Points de Variation Sémantique workshop IDM: Semo07 29 mars 2007 Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard CEA-List / DTSI / SOL / L-LSP

2 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI PVS et IDM Sémantique dun langage Projection : De la syntaxe (ici des métamodèles)… … vers un domaine sémantique Style : Dénotationnel, Axiomatique, Opérationnel Point de Variation Sémantique (PVS) Aspect sémantique ouvert à interprétation… Projection partielle Popularisés par UML PVS partie statique Precise semantics of shared aggregation varies by application area and modeler. Superstructure v2.1.1 p.41 PVS partie dynamique The behavior of an invocation of an operation when a precondition is not satisfied is a semantic variation point. Super. p.107 PVS partie temporelle No assumptions are made about the time intervals between event occurrence, event dispatching, and consumption. Super. p.456 Généralisables à lIDM En particulier au DSML

3 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI Sommaire Machines à états dUML 2 Spécialisation avec les mécanismes du MOF Profile Extension Merge Spécialisation dans les approches opérationnelles Extension Surcharge Proposition Identification par paramètres template Modularisation par le pattern strategy Fixation par liaison des paramètres Conclusion

4 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI Machine à états dUML 2

5 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI Spécialisation avec les mécanismes du MOF « merge » « import »

6 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI Spécialisation dans les approches opérationnelles « merge » OperationalBehaviorStateMachines

7 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI « merge » OperationalBehaviorStateMachines Spécialisation dans les approches opérationnelles

8 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI Identification par paramètres templates

9 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI Identification par paramètres templates

10 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI Modularisation par le pattern Strategy

11 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI Fixation par liaison des paramètres Liaison au niveau M2 Liaison au niveau M1

12 Semo07, Mars 2007 – A. Cuccuru (CEA-List) DTSI Conclusion Contribution : Principalement méthodologique Identification / résolution explicite des PVS PVS fonctionnels (statique ou dynamique) Identification par paramètres templates Modularisation par strategy classes Résolution explicite par binding Support des outils (Kermeta, Meta-GME, etc.) : Déclaration des paramètres : OK Liaison des paramètres Niveau M2 : OK Niveau M1 : KO Pistes : Extension de Ecore ? Ecore -> UML2, UML2 -> Ecore Support annoncé Wait and see…