On the Use of Triple Graph Grammars for Model Composition

摘要

In the software engineering research, several works focus on advantages of multi-modeling, which facilitate modeling a system by separating of concerns. The Model Driven Engineering approach relies on model to design software artefacts during the software development lifecycle. Handling such models involves describing some model management operators like ‘ composition ‘. That is an operation which consist to fuse a set of models into one (or more) incorporated model relating the application context. The present work, introduces a formal approach for UML-compliant model composition focused on three-actions: matching, checking and merging. Each composition action is represented by one or many graph transformations rules. The composition operator’s syntax is specified with triple graph grammars (TGGs) formalism.