Generic and Meta-transformations for Model Transformation Engineering

The Model Driven Architecture necessitates not only the application of software engineering disciplines to the specification of modeling languages (language-ware) but also to design inter and intra-language model transformations (transformation-ware). Although many model transformation approaches exist, their focus is almost exclusively put on functional correctness and intuitive description language while the importance of engineering issues such as reusability, maintainability, performance or compactness are neglected. To tackle these problems following the MDA philosophy, we argue in the paper that model transformations should also be regarded as models (i.e., as data). More specifically, we demonstrate (i) how generic transformations can provide a very compact description of certain transformation problems and (ii) how meta-transformations can be designed that yield efficient transformations as their output model.

[1]  Colin Atkinson,et al.  The Essence of Multilevel Metamodeling , 2001, UML.

[2]  Albert Zündorf,et al.  The PROGRES approach: language and environment , 1999 .

[3]  Stuart Kent,et al.  Visualizing model mappings in UML , 2003, SoftVis '03.

[4]  Hartmut Ehrig,et al.  Applications, languages and tools , 1999 .

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

[6]  Gregory H. Harris,et al.  Review of "Abstract state machines: a method for high-level system design and analysis" by Egon Börger and Robert Stärk. Springer-Verlag 2003. , 2004, SOEN.

[7]  T. Gardner,et al.  A review of OMG MOF 2 . 0 Query / Views / Transformations Submissions and Recommendations towards the final Standard , 2003 .

[8]  Stuart Kent,et al.  A Relational Approach to Defining Transformations in a Metamodel , 2002, UML.

[9]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[10]  Dániel Varró,et al.  VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics) , 2003, Software & Systems Modeling.

[11]  Jean-Marc Jézéquel,et al.  Reflective Model Driven Engineering , 2003, UML.

[12]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[13]  Dániel Varró,et al.  Designing the automatic transformation of visual languages , 2002, Sci. Comput. Program..

[14]  M. Clavel Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications , 2000 .

[15]  Ivan Porres,et al.  Model Refactorings as Rule-Based Update Transformations , 2003, UML.

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

[17]  Gabriele Taentzer,et al.  The AGG approach: language and environment , 1999 .

[18]  Tony Clark,et al.  Revised submission for MOF 2.0 query / views /transformations RFP. , 2003 .

[19]  Gabor Karsai,et al.  Domain model translation using graph transformations , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

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

[21]  Jon Whittle Transformations and Software Modeling Languages: Automating Transformations in UML , 2002, UML.

[22]  Wolfgang Hesse,et al.  Two-Level Graph Grammars , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[23]  Reiko Heckel,et al.  Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.