Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages

Practitioners of model-driven engineering usually find that producing model transformations still requires much effort. The Model Transformation By-Example (MTBE) approach softens this problem by means of the automated creation of model transformations from pairs of source and target model examples. However, the current techniques and tools for MTBE are limited in the sense that they can only produce transformations rules that are limited to just one element in some of the patterns. In addition, some transformation languages cannot directly represent many-to-many transformation rules. To overcome both limitations, this paper presents a MTBE algorithm, that can generate many-to-many rules in several transformation languages even if the transformation language cannot directly represent these kinds of rules. In particular, the implementation of this algorithm with the ATL language is available for practitioners, and it has already generated several MTs that are applied in software development. Finally, the paper compares this algorithm with existing techniques for MTBE.

[1]  Dániel Varró,et al.  Automating model transformation by example using inductive logic programming , 2007, SAC '07.

[2]  Dániel Varró,et al.  Model transformation by example , 2006, MoDELS'06.

[3]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[4]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[5]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[6]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[7]  Jim Steel,et al.  Practical Declarative Model Transformation with Tefkat , 2005, MoDELS Satellite Events.

[8]  Mika Siikarla,et al.  Transformations Have to be Developed ReST Assured , 2008, ICMT@TOOLS.

[9]  Shriram Krishnamurthi,et al.  Transformation-by-Example for XML , 2000, PADL.

[10]  Jean Bézivin,et al.  ATL : Eclipse Support for Model Transformation , 2006 .

[11]  Dániel Varró,et al.  The model transformation language of the VIATRA2 framework , 2007, Sci. Comput. Program..

[12]  Manuel Wimmer,et al.  Towards Model Transformation Generation By-Example , 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

[13]  Perdita Stevens A Simple Game-Theoretic Approach to Checkonly QVT Relations , 2009, ICMT@TOOLS.

[14]  Jorge J. Gómez-Sanz,et al.  INGENIAS Development Assisted with Model Transformation By-Example: A Practical Case , 2009, PAAMS.

[15]  Jorge J. Gómez-Sanz,et al.  A Tool for Generating Model Transformations By-Example in Multi-Agent Systems , 2009, PAAMS.

[16]  Jean-Michel Bruel,et al.  Satellite Events at the MoDELS 2005 Conference , 2006 .

[17]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[18]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.