Domain model translation using graph transformations

The implementation of computer based systems (CBSs) is commonly guided by constraints imposed by the particular domain of the CBS. Domain-specific programming is a convenient way to provide a domain expert with a language that is customized to the particular constraints and assumptions of the domain.. The careful thought and design that precede the development of any domain-specific visual language restrict the programmer from illegal formalisms, and allow for the rapid determination of the validity of the "program". Usually, the domain-specific visual language is designed and produced using a metamodel of some sort. Occasionally, similar domains can benefit from models created according to the ontology of this original metamodel, but usually some amount of model-transformation is required to give validity of the transformed models. This paper presents a visual language for transforming domain-models that can express the mapping between the meta-models of the "input" (i.e. the "old" domain) and the "output" (i.e. the "new" domain), and uses graph-rewriting techniques to transform the "old" domain-models into the appropriate "new" form.

[1]  Gabor Karsai Tool Support for Design Patterns , 2001 .

[2]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[3]  Andrea Maggiolo-Schettini,et al.  Semantics of Full Statecharts Based on Graph Rewriting , 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

[4]  Gabriele Taentzer AGG: A Tool Environment for Algebraic Graph Transformation , 1999, AGTIVE.

[5]  Richard Lemesle,et al.  Transformation rules based on meta-modeling , 1998, Proceedings Second International Enterprise Distributed Object Computing (Cat. No.98EX244).

[6]  David H. Akehurst,et al.  Model translation : a UML-based specification technique and active implementation approach , 2000 .

[7]  Jean-Marc Jézéquel,et al.  UMLAUT: an extendible UML transformation framework , 1999, 14th IEEE International Conference on Automated Software Engineering.

[8]  Uwe ABmann How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems , 2005 .

[9]  Reiko Heckel,et al.  Towards automatic translation of UML models into semantic domains , 2002 .

[10]  Andy Evans,et al.  The Metamodelling Language Calculus: Foundation Semantics for UML , 2001, FASE.

[11]  Andy Evans,et al.  Engineering Modelling Languages: A Precise Meta-Modelling Approach , 2002, FASE.

[12]  Andy Schürr,et al.  Computing with Graphs and Graph Transformations , 1999, Softw. Pract. Exp..

[13]  Dragan Milicev,et al.  Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments , 2002, IEEE Trans. Software Eng..

[14]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .