A Graphical Specification of Model Composition With Triple Graph Grammars

Adil Anwar (1) , Amine Benelallam (2) , Mahmoud Nassar (2) , Bernard Coulette (3)

1 Siweb
2 ENSIAS - Ecole Nationale Supérieure d'Informatique et d'Analyses des Systèmes
3 IRIT-MACAO - Modèles, Architectures, Composants, Agilité et prOcessus

The concept of model is widely used in the MDE approach in order to represent several software artifacts, which are handled by different development teams throughout the software life cycle. Management of these models requires the definition of a set of model management operators such as the composition operation. This is generally an operation, which is dedicated to merge a number of models in order to create one (or more) incorporated model and which depends on the application context. The current work focuses on the description of a formal approach for model composition where the composition is specified by a set of graph transformation rules over UML-compliant models. The semantics of our composition operator is defined using triple graph grammars (TGGs) formalism. Furthermore, we present a composition scheme interpreted by a three-steps composition process: matching, checking and merging.

Mots clés: Model composition; model-driven development; graph transformations triple graph grammars AGG

Domaines: Génie logiciel [cs.SE]

Adil Anwar, Amine Benelallam, Mahmoud Nassar, Bernard Coulette. A Graphical Specification of Model Composition With Triple Graph Grammars. MOMPES 2012 - 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, Sep 2012, Essen, Germany. pp.1-18, ⟨10.1007/978-3-642-38209-3_1⟩. ⟨hal-00857282⟩