A Taxonomy of Model Transformation

This article proposes a taxonomy of model transformation, based on the discussions of a working group on model transformation of the Dagstuhl seminar on Language Engineering for Model-Driven Software Development. This taxonomy can be used, among others, to help developers in deciding which model transformation language or tool is best suited to carry out a particular model transformation activity.

[1]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[2]  Jean Bézivin,et al.  First experiments with the ATL model transformation language: Transforming XSLT into XQuery , 2003 .

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

[4]  Tom Mens,et al.  Case Study: Simulation of a LAN , 2003, Software Evolution Through Transformations @ ICGT.

[5]  Bruno Courcelle,et al.  Graph Rewriting: An Algebraic and Logic Approach , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[6]  Dirk Janssens,et al.  Write once, deploy N: a performance oriented MDA case study , 2004 .

[7]  Andrzej Wasowski.  Flattening statecharts without explosions , 2004, LCTES '04.

[8]  Tom Mens,et al.  Identifying refactoring opportunities using logic meta programming , 2003, Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings..

[9]  Ed Seidewitz,et al.  What Models Mean , 2003, IEEE Softw..

[10]  Anil Mital,et al.  Second Edition: A Brief Guide to the Standard Object Modeling Language , 2000 .

[11]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[12]  Jean Bézivin,et al.  Towards a precise definition of the OMG/MDA framework , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[13]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[14]  Jim Steel,et al.  Transformation: The Missing Link of MDA , 2002, ICGT.

[15]  Jean-Marie Favre,et al.  Towards a Basic Theory to Model Model Driven Engineering , 2004 .

[16]  Tom Mens,et al.  Formalising Behaviour Preserving Program Transformations , 2002, ICGT.

[17]  Dániel Varró,et al.  VIATRA - visual automated transformations for formal verification and validation of UML models , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[18]  Leon Moonen,et al.  Java quality assurance by detecting code smells , 2002, Ninth Working Conference on Reverse Engineering, 2002. Proceedings..

[19]  Martin Fowler,et al.  Refactoring - Improving the Design of Existing Code , 1999, Addison Wesley object technology series.

[20]  Ralph-Johan Back,et al.  Refinement Calculus , 1998, Graduate Texts in Computer Science.

[21]  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..

[22]  Ralph-Johan Back,et al.  On Correct Refinement of Programs , 1981, J. Comput. Syst. Sci..

[23]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[24]  Kendall Scott,et al.  UML distilled - a brief guide to the Standard Object Modeling Language (2. ed.) , 2000, notThenot Addison-Wesley object technology series.

[25]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[26]  Eelco Visser,et al.  A Survey of Strategies in Program Transformation Systems , 2001, WRS.