Learning Model Transformations from Examples using FCA: One for All or All for One?

In Model-Driven Engineering (MDE), model transformations are basic and primordial entities. An ecient way to assist the defini- tion of these transformations consists in completely or partially learning them. MTBE (Model Transformation By-Example) is an approach that aims at learning a model transformation from a set of examples, i.e. pairs of transformation source and target models. To implement this approach, we use Formal Concept Analysis as a learning mechanism in order to ex- tract executable rules. In this paper, we investigate two learning strate- gies. In the first strategy, transformation rules are learned independently from each example. Then we gather these rules into a single set of rules. In the second strategy, we learn the set of rules from all the examples. The comparison of the two strategies on the well-known transformation problem of class diagrams to relational schema showed that the rules obtained from the two strategies are interesting. Besides the first one produces rules which are more proper to their examples and apply well compared to the second one which builds more detailed rules but larger and more dicult to analyze and to apply.

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

[2]  Marianne Huchard,et al.  Relational concept discovery in structured datasets , 2007, Annals of Mathematics and Artificial Intelligence.

[3]  Houari A. Sahraoui,et al.  Search-based model transformation by example , 2010, Software & Systems Modeling.

[4]  Houari A. Sahraoui,et al.  Méta-modélisation de la transformation de modèles par l'exemple : approche par méta-heuristiques , 2009, LMO.

[5]  Jorge J. Gómez-Sanz,et al.  Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages , 2009, ICMT@TOOLS.

[6]  Marouane Kessentini,et al.  Transformation by example , 2010 .

[7]  Dániel Varró,et al.  Model transformation by example using inductive logic programming , 2008, Software & Systems Modeling.

[8]  Bernhard Ganter,et al.  Formal Concept Analysis , 2013 .

[9]  Clémentine Nebut,et al.  Generation of operational transformation rules from examples of model transformations , 2012, MODELS'12.

[10]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[11]  H. Sahraoui,et al.  Model Transformation as an Optimization Problem , 2008, MoDELS.

[12]  Clémentine Nebut,et al.  From transformation traces to transformation rules: Assisting model driven engineering approach with formal concept analysis , 2009, ICCS 2009.

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