MeTAGeM-Trace: Improving trace generation in model transformation by leveraging the role of transformation models

In the context of Model-Driven Engineering (MDE), generation of traces can be automated using the implicit traceability relationships contained in any model transformation. Besides, if transformations are developed adopting a Model-Driven Engineering (MDE) approach, i.e. promoting the role of models and the level of automation, model transformation will benefit from the promised advantages of MDE in terms of less costly software development while reducing the inherent complexity of coding model transformations. To put these ideas into practice, this work introduces MeTAGeM-Trace, the first prototype of an EMF-based toolkit for the MDD of model-to-model transformations which supports trace generation, i.e. it allows developing model transformations that produce not only the corresponding target models, but also a trace model between the elements of the source and target models involved in the transformation.

[1]  Henry Muccini,et al.  A model-driven approach to automate the propagation of changes among Architecture Description Languages , 2010, Software & Systems Modeling.

[2]  Juan de Lara,et al.  Inter-modelling: from theory to practice , 2010, MODELS'10.

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

[4]  Mark van den Brand,et al.  Using Metrics for Assessing the Quality of ASF+SDF Model Transformations , 2009, ICMT@TOOLS.

[5]  Jesús Sánchez Cuadrado,et al.  RubyTL: A Practical, Extensible Transformation Language , 2006, ECMDA-FA.

[6]  Antonio Cicchetti,et al.  JTL: A Bidirectional and Change Propagating Transformation Language , 2010, SLE.

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

[8]  Pierre Boulet,et al.  Traceability and Interoperability at Different Levels of Abstraction in Model-Driven Engineering , 2006 .

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

[10]  Esperanza Marcos,et al.  Model-Driven Engineering as a new landscape for traceability management: A systematic literature review , 2012, Inf. Softw. Technol..

[11]  Frédéric Jouault,et al.  On the interoperability of model-to-model transformation languages , 2007, Sci. Comput. Program..

[12]  Jean Bézivin,et al.  In Search of a Basic Principle for Model Driven Engineering , 2004 .

[13]  Ivan Kurtev,et al.  State of the Art of QVT: A Model Transformation Language Standard , 2008, AGTIVE.

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

[15]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[16]  Martin Gogolla,et al.  Model transformations? transformation models! , 2006, MoDELS'06.

[17]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[18]  Richard C. Gronback.  Eclipse Modeling Project: A Domain-Specific Language Toolkit , 2009 .

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

[20]  Edward D. Willink,et al.  Yet Another Three QVT Languages , 2013, ICMT.

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

[22]  Esperanza Marcos,et al.  A framework for model-driven development of information systems: Technical decisions and lessons learned , 2012, J. Syst. Softw..

[23]  Artur Boronat,et al.  Automatic Support for Traceability in a Generic Model Management Framework , 2005, ECMDA-FA.

[24]  Mark van den Brand,et al.  Using Metrics for Assessing the Quality of ATL Model Transformations , 2011, MtATL@TOOLS.

[25]  Frédéric Jouault,et al.  Adapting transformations to metamodel changes via external transformation composition , 2012, Software & Systems Modeling.

[26]  Hui Song,et al.  Supporting Parallel Updates with Bidirectional Model Transformations , 2009, ICMT@TOOLS.

[27]  Andrés Vignaga.  A Methodological Approach to Developing Model Transformations , 2007, MoDELS.

[28]  Krzysztof Czarnecki,et al.  Bidirectional Transformations: A Cross-Discipline Perspective GRACE Meeting Notes, State of the Art, and Outlook , 2009 .

[29]  M. Volter.  From Programming to Modeling - and Back Again , 2011 .

[30]  Perdita Stevens,et al.  A Landscape of Bidirectional Model Transformations , 2007, GTTSE.

[31]  Jim Davies,et al.  Model-driven engineering of information systems: 10 years and 1000 versions , 2014, Sci. Comput. Program..

[32]  Richard F. Paige,et al.  The Epsilon Transformation Language , 2008, ICMT@TOOLS.

[33]  Philip A. Bernstein,et al.  Model-independent schema translation , 2008, The VLDB Journal.

[34]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[35]  Philip A. Bernstein,et al.  Model management 2.0: manipulating richer mappings , 2007, SIGMOD '07.

[36]  Esperanza Marcos,et al.  Applying MDE to the (semi-)automatic development of model transformations , 2013, Inf. Softw. Technol..

[37]  Mario Piattini,et al.  Business process archeology using MARBLE , 2011, Inf. Softw. Technol..

[38]  Ilka Philippow,et al.  Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations , 2009, ECMDA-FA.

[39]  Patrick Valduriez,et al.  Towards the efficient development of model transformations using model weaving and matching transformations , 2009, Software & Systems Modeling.

[40]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[41]  Gerti Kappel,et al.  Model Transformation By-Example: A Survey of the First Wave , 2012, Conceptual Modelling and Its Theoretical Foundations.

[42]  Bran Selic,et al.  What will it take? A view on adoption of model-based methods in practice , 2012, Software & Systems Modeling.

[43]  Esperanza Marcos,et al.  Towards the Effective Use of Traceability in Model-Driven Engineering Projects , 2013, ER.

[44]  Antje von Knethen,et al.  QuaTrace: a tool environment for (semi-) automatic impact analysis based on traces , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

[45]  Bernhard Rumpe,et al.  The 2015 “State of the Journal” report , 2016, Software & Systems Modeling.

[46]  Jean-Luc Dekeyser,et al.  Using Trace to Situate Errors in Model Transformations , 2009, ICSOFT.

[47]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[48]  Gabor Karsai,et al.  A transformation instance-based approach to traceability , 2010, ECMFA-TW '10.

[49]  Juan de Lara,et al.  Engineering model transformations with transML , 2011, Software & Systems Modeling.

[50]  Jim Steel,et al.  MOF QVT final adopted specification: meta object facility (MOF) 2.0 query/view/transformation specification. , 2005 .

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

[52]  Ludovico Iovino,et al.  On the Impact Significance of Metamodel Evolution in MDE , 2012, J. Object Technol..

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

[54]  Birgit Grammel,et al.  Model matching for trace link generation in model-driven software development , 2012, MODELS'12.