Model matching for trace link generation in model-driven software development

With the advent of Model-driven Software Engineering, the advantage of generating trace links between source and target model elements automatically, eases the problem of creating and maintaining traceability data. Yet, an existing transformation engine as in the above case is not always given in model-based development, (i.e. when transformations are implemented manually) and can not be leveraged for the sake of trace link generation through the transformation mapping. We tackle this problem by using model matching techniques to generate trace links for arbitrary source and target models. Thereby, our approach is based on a novel, language-agnostic concept defining three similarity measures for matching. To achieve this, we exploit metamodel matching techniques for graph-based model matching. Furthermore, we evaluate our approach according to large-scale SAP business transformations and the ATL Zoo.

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

[2]  Richard F. Paige,et al.  Model comparison: a foundation for model composition and model transformation testing , 2006, GaMMa '06.

[3]  Jon Oldevik,et al.  Scenarios of Traceability in Model to Text Transformations , 2007, ECMDA-FA.

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

[5]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

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

[7]  Hyoil Han,et al.  A survey on ontology mapping , 2006, SGMD.

[8]  Andreas Rummler,et al.  MatchBox: combined meta-model matching for semi-automatic mapping generation , 2010, SAC '10.

[9]  Hannes Schwarz,et al.  Model-Driven Software Development , 2013 .

[10]  Maik Schmidt,et al.  Constructing difference tools for models using the SiDiff framework , 2008, ICSE Companion '08.

[11]  Matthias Jarke,et al.  Toward Reference Models of Requirements Traceability , 2001, IEEE Trans. Software Eng..

[12]  Arend Rensink Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[13]  Harry R. Lewis,et al.  Data Structures and Their Algorithms , 1991 .

[14]  Stefano Spaccapietra Journal on Data Semantics IV , 2005, Journal on Data Semantics IV.

[15]  Jeffrey G. Gray,et al.  DSMDiff: a differentiation tool for domain-specific models , 2007 .

[16]  Konrad Voigt Semi-automatic Matching of Heterogeneous Model-based Specifications , 2010, Software Engineering.

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

[18]  Thomas S. Heinze,et al.  Metamodel Matching Based on Planar Graph Edit Distance , 2010, ICMT@TOOLS.

[19]  Erhard Rahm,et al.  Frameworks for entity matching: A comparison , 2010, Data Knowl. Eng..

[20]  Wouter Joosen,et al.  Traceability as input for model transformations , 2007 .

[21]  Birgit Grammel,et al.  A generic traceability framework for facet-based traceability data extraction in model-driven software development , 2010, ECMFA-TW '10.

[22]  Richard F. Paige,et al.  Different models for model matching: An analysis of approaches to support model differencing , 2009, 2009 ICSE Workshop on Comparison and Versioning of Software Models.

[23]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[24]  Ivan Porres,et al.  Difference and Union of Models , 2003, UML.

[25]  Perdita Stevens A Simple Game-Theoretic Approach to Checkonly QVT Relations , 2009, ICMT@TOOLS.