Towards co-evolution in model-driven development via bidirectional higher-order transformation

In model-Driven development (MDD), metamodels, models, and model transformations are interdependent. A change in one artifact must be reflected in all other related artifacts. Regardless of their dependencies, (meta)models and transformations can evolve autonomously rendering referenced artifacts invalid. Coupling the evolution of models to their corresponding metamodels tries to prevent such mismatches, but is currently limited to one-way adaptations and does not take model transformations into account. To eliminate these short-comings, we combine first-class transformation models with bidirectional transformations (BX). Our generic approach integrates BX into well-established Eclipse-based MDD tools, thereby neither being restricted to a specific modeling nor model transformation language.

[1]  Soichiro Hidaka,et al.  Towards a compositional approach to model transformation for software development , 2009, SAC '09.

[2]  Yijun Yu,et al.  Maintaining invariant traceability through bidirectional transformations , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[3]  M. Wimmer,et al.  On using Inplace Transformations for Model Co-evolution , 2010 .

[4]  Ludovico Iovino,et al.  What is needed for managing co-evolution in MDE? , 2011, IWMCP '11.

[5]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[6]  Davide Di Ruscio,et al.  Coupled Evolution in Model-Driven Engineering , 2012, IEEE Software.

[7]  Ralf Lämmel,et al.  Bidirectional Transformations: A Cross-Discipline Perspective , 2009, ICMT@TOOLS.

[8]  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).

[9]  Perdita Stevens,et al.  Bidirectional model transformations in QVT: semantic issues and open questions , 2007, MODELS'07.

[10]  Zhenjiang Hu,et al.  GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations , 2011 .

[11]  Guido Wachsmuth,et al.  Metamodel Adaptation and Model Co-adaptation , 2007, ECOOP.

[12]  Holger Giese,et al.  From model transformation to incremental bidirectional model synchronization , 2009, Software & Systems Modeling.

[13]  Elmar Jürgens,et al.  COPE - Automating Coupled Evolution of Metamodels and Models , 2009, ECOOP.

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

[15]  Soichiro Hidaka,et al.  Toward Bidirectionalization of ATL with GRoundTram , 2011, ICMT@TOOLS.

[16]  Bart Meyers,et al.  A framework for evolution of modelling languages , 2011, Sci. Comput. Program..

[17]  Jean Bézivin,et al.  On the Use of Higher-Order Model Transformations , 2009, ECMDA-FA.

[18]  Andy Schürr,et al.  Dagstuhl seminar on bidirectional transformations (BX) , 2011, SGMD.

[19]  Bernhard Hoisl,et al.  Requirements-Driven Testing of Domain-Specific Core Language Models Using Scenarios , 2013, 2013 13th International Conference on Quality Software.

[20]  Bernhard Hoisl,et al.  Higher-order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages , 2013, MODELSWARD.