Towards Model Transformation Generation By-Example

With the advent of model-driven engineering (MDE) several model transformation approaches and languages have been developed in the previous 5 years. Most of these existing approaches are metamodel-based with metamodels representing both an abstract syntax of the corresponding modeling language and also a data structure for storing models. However, this implementation specific focus makes it difficult for modelers to develop model transformations, because metamodels do not necessarily define all language concepts explicitly which are available for notation purposes. Therefore, we propose a by-example approach for defining inter-model mappings representing semantic correspondences between concrete domain models, which is more user-friendly, then directly specifying model transformation rules or mappings based on the abstract syntax. The inter-model mappings between domain models can be used to generate model transformation rules, by-example, taking into account the already defined mapping between abstract and concrete syntax elements. With this approach the user's knowledge about the notation of the modeling language is sufficient for the definition of model transformations regarding semantic correspondences. Hence, no detailed knowledge about the metamodel and the model transformation language is required

[1]  Manfred Nagl,et al.  Applications of Graph Transformations with Industrial Relevance , 2004, Lecture Notes in Computer Science.

[2]  Henry Lieberman,et al.  Programming by example: visual generalization in programming by example , 2000, CACM.

[3]  Jean Bézivin,et al.  AMW: a generic model weaver , 2005 .

[4]  Michael Schrefl,et al.  Defining Web Schema Transformers by Example , 2003, DEXA.

[5]  Jean Bézivin,et al.  Technological Spaces: An Initial Appraisal , 2002 .

[6]  Albert Zündorf,et al.  Testing and Simulating Production Control Systems Using the Fujaba Environment , 1999, AGTIVE.

[7]  Jonathan Edwards,et al.  Example centric programming , 2004, SIGP.

[8]  Manuel Wimmer,et al.  Bridging existing Web modeling languages to model-driven engineering: a metamodel for WebML , 2006, ICWE '06.

[9]  Gerti Kappel,et al.  On Models and Ontologies - A Semantic Infrastructure Supporting Model Integration , 2006, Modellierung.

[10]  T. Reiter,et al.  Towards a semantic infrastructure supporting model-based tool integration , 2006, GaMMa '06.

[11]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[12]  John Mylopoulos,et al.  Data Semantics Revisited , 2004, SWDB.

[13]  Albert Zündorf,et al.  Using FUJABA for the Development of Production Control Systems , 1999, AGTIVE.

[14]  Stefano Ceri,et al.  Designing Data-Intensive Web Applications , 2002 .

[15]  Peter Braun,et al.  Transforming Object Oriented Models with BOTL , 2003, GT-VMT@ICGT.

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

[17]  Manfred Nagl,et al.  Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers , 2008, Applications of Graph Transformations with Industrial Relevance.

[18]  Frédéric Jouault.  Loosely Coupled Traceability for ATL , 2005 .

[19]  Jean-Michel Bruel.  Satellite Events at the MoDELS 2005 Conference : MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers , 2006 .

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

[21]  Alexander Repenning,et al.  Programming by example: programming by analogous examples , 2000, CACM.

[22]  Frédéric Jouault,et al.  On the architectural alignment of ATL and QVT , 2006, SAC '06.

[23]  Dániel Varró,et al.  Generic and Meta-transformations for Model Transformation Engineering , 2004, UML.

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

[25]  Kouichi Ono,et al.  XSLT stylesheet generation by example with WYSIWYG editing , 2002, Proceedings 2002 Symposium on Applications and the Internet (SAINT 2002).

[26]  Stuart Kent,et al.  The MMF approach to engineering object-oriented design languages. , 2001 .

[27]  Manuel Wimmer,et al.  Bridging Grammarware and Modelware , 2005, MoDELS Satellite Events.

[28]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

[29]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[30]  Moshé M. Zloof.  Query-by-example: the invocation and definition of tables and forms , 1975, VLDB '75.

[31]  Gabriele Taentzer.  AGG: A Tool Environment for Algebraic Graph Transformation , 1999, AGTIVE.