From transformation traces to transformation rules: Assisting model driven engineering approach with formal concept analysis

In this paper we are interested in semi-automatically gen- erating labelled graph (model) transformations conform to a particu- lar syntax (meta-model). Those transformations are basic operations in model driven engineering. They are usually developed by specialised pro- grammers and for every change the source code must be updated. Our proposition is about generating transformation rules between two par- ticular syntaxes using transformation examples (transformation traces) as input data. Examples are easier to write than a transformation pro- gram and often are already available. We are proposing a method based on FCA using relational descriptions of objects to find transformation rules. This method has been implemented and tested on transformations such as LATEX to HTML.

[1]  Rudolf Wille,et al.  Conceptual Structures of Multicontexts , 1996, ICCS.

[2]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[3]  Uta E. Priss.  Classification of Meronymy by Methods of Relational Concept Analysis , 1996 .

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

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

[6]  Jean Bézivin,et al.  Model Transformations in Practice Workshop , 2005, MoDELS.

[7]  Clémentine Nebut,et al.  Metamodel Matching for Automatic Model Transformation Generation , 2008, MoDELS.

[8]  Bernhard Ganter,et al.  Pattern Structures and Their Projections , 2001, ICCS.

[9]  MOF Query / Views / Transformations , 2002 .

[10]  Olivier Ridoux,et al.  Arbitrary Relations in Formal Concept Analysis and Logical Information Systems , 2005, ICCS.

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

[12]  Stephan Roser,et al.  An Approach to Automatically Generated Model Transformation Using Ontology Engineering Space , 2006 .

[13]  Erhard Rahm,et al.  Similarity flooding: a versatile graph matching algorithm and its application to schema matching , 2002, Proceedings 18th International Conference on Data Engineering.

[14]  Richard Mark Soley.  Model Driven Architecture: Next Steps , 2005, ICEIS.

[15]  Jérôme Euzenat,et al.  A Survey of Schema-Based Matching Approaches , 2005, J. Data Semant..

[16]  Gerti Kappel,et al.  Lifting metamodels to ontologies: a step to the semantic integration of modeling languages , 2006, MoDELS'06.

[17]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[18]  Slimane Hammoudi,et al.  Schema Matching in the Context of Model Driven Engineering: From Theory to Practice , 2006 .

[19]  Rudolf Wille,et al.  The Lattice of Concept Graphs of a Relationally Scaled Context , 1999, ICCS.

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

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

[22]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

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

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

[25]  Henry Lieberman,et al.  Watch what I do: programming by demonstration , 1993 .