Safe Composition of Transformations

Model transformations are at the heart of Model-Driven Software Development (MDSD) and, once composed in transformation chains to MDSD processes, allow for the development of complex systems and their automated derivation. While there already exist various approaches to specify and execute such MDSD processes, only few of them draw focus on ensuring the validity of the transformation chains, and thus, safe composition of transformations. In this paper, we present the TraCo composition system, which overcomes these limitations and evaluate and discuss the approach based on two case studies.

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

[2]  Christian Wende,et al.  FeatureMapper: mapping features to models , 2008, ICSE Companion '08.

[3]  Dániel Varró,et al.  The model transformation language of the VIATRA2 framework , 2007, Sci. Comput. Program..

[4]  Christian Wende,et al.  On Controlled Visualisations in Software Product Line Engineering , 2008, SPLC.

[5]  Wouter Joosen,et al.  UniTI: a unified transformation infrastructure , 2007, MODELS'07.

[6]  Volker Gruhn,et al.  Model-Driven Software Development , 2005 .

[7]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[8]  Uwe Aßmann,et al.  Invasive Software Composition , 2003, Springer Berlin Heidelberg.

[9]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[10]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[11]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[12]  Frédéric Jouault,et al.  Typing in Model Management , 2009, ICMT@TOOLS.

[13]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[14]  Michal Antkiewicz,et al.  Mapping features to models: a template approach based on superimposed variants , 2005, GPCE'05.

[15]  Jean Bézivin,et al.  Global Model Management in Eclipse GMT/AM3 , 2006 .

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

[17]  Anneke Kleppe,et al.  MCC: A Model Transformation Environment , 2006, ECMDA-FA.

[18]  Jean Bézivin,et al.  ATL: a QVT-like transformation language , 2006, OOPSLA '06.