Recovering model transformation traces using multi-objective optimization

Model Driven Engineering (MDE) is based on a large set of models that are used and manipulated throughout the development cycle. These models are manually or automatically produced and/or exploited using model transformations. To allow engineers to maintain the models and track their changes, recovering transformation traces is essential. In this paper, we propose an automated approach, based on multi-objective optimization, to recover transformation traces between models. Our approach takes as input a source model in the form of a set of fragments (fragments are defined using the source meta-model cardinalities and OCL constraints), and a target model. The recovered transformation traces take the form of many-to-many mappings between the constructs of the two models.

[1]  Yuanyuan Zhang,et al.  Search-based software engineering: Trends, techniques and applications , 2012, CSUR.

[2]  Kalyanmoy Deb,et al.  A fast and elitist multiobjective genetic algorithm: NSGA-II , 2002, IEEE Trans. Evol. Comput..

[3]  Marco Laumanns,et al.  Combining Convergence and Diversity in Evolutionary Multiobjective Optimization , 2002, Evolutionary Computation.

[4]  Richard F. Paige,et al.  Rigorous identification and encoding of trace-links in model-driven engineering , 2010, Software & Systems Modeling.

[5]  Clémentine Nebut,et al.  Generation of operational transformation rules from examples of model transformations , 2012, MODELS'12.

[6]  Hong-Viet Luong,et al.  Implementation of the Conformance Relation for Incremental Development of Behavioural Models , 2008, MoDELS.

[7]  Ivan Kurtev,et al.  Traceability-based change management in operational mappings , 2007 .

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

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

[10]  Andrea Zisman,et al.  A Traceability Approach for i* and UML Models , 2003 .

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

[12]  Clémentine Nebut,et al.  Using Aspect-Oriented Programming to Trace Imperative Transformations , 2010, 2010 14th IEEE International Enterprise Distributed Object Computing Conference.

[13]  Alexander Serebrenik,et al.  Traceability Visualization in Model Transformations with TraceVis , 2012, ICMT@TOOLS.

[14]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .