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]  Hannes Schwarz,et al.  Model-Driven Software Development , 2013 .

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

[3]  A. Vallecillo,et al.  Orchestrating ATL Model Transformations , 2009 .

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

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

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

[7]  Mirko Seifert,et al.  Derivation and Refinement of Textual Syntax for Models , 2009, ECMDA-FA.

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

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

[10]  Uwe Aßmann,et al.  Safe Composition of Transformations , 2010, ICMT@TOOLS.

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

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

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

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

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

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

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

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