1 / 12

Métamodèles et Points de Variation Sémantique workshop IDM: Semo’07 29 mars 2007

Métamodèles et Points de Variation Sémantique workshop IDM: Semo’07 29 mars 2007. Arnaud Cuccuru , Chokri Mraidha, François Terrier, Sébastien Gérard {firstName.lastName}@cea.fr CEA-List / DTSI / SOL / L-LSP. PVS et IDM. Sémantique d’un langage Projection :

roland
Download Presentation

Métamodèles et Points de Variation Sémantique workshop IDM: Semo’07 29 mars 2007

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Métamodèles et Points de Variation Sémantiqueworkshop IDM: Semo’0729 mars 2007 Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard {firstName.lastName}@cea.fr CEA-List / DTSI / SOL / L-LSP

  2. PVS et IDM • Sémantique d’un 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 à l’IDM • En particulier au DSML

  3. Sommaire • Machines à états d’UML 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. Machine à états d’UML 2

  5. Spécialisation avec les mécanismes du MOF « import » « merge » « merge »

  6. Spécialisation dans les approches ‘’opérationnelles’’ « merge » OperationalBehaviorStateMachines

  7. Spécialisation dans les approches ‘’opérationnelles’’ « merge » OperationalBehaviorStateMachines

  8. Identification par paramètres templates

  9. Identification par paramètres templates

  10. Modularisation par le pattern ‘’Strategy’’

  11. Fixation par liaison des paramètres Liaison au niveau M1 Liaison au niveau M2

  12. 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…

More Related