TY  - JOUR
A1  - Buchwald, Sebastian
A1  - Wagelaar, Dennis
A1  - Dan, Li
A1  - Hegedues, Abel
A1  - Herrmannsdoerfer, Markus
A1  - Horn, Tassilo
A1  - Kalnina, Elina
A1  - Krause, Christian
A1  - Lano, Kevin
A1  - Lepper, Markus
A1  - Rensink, Arend
A1  - Rose, Louis
A1  - Waetzoldt, Sebastian
A1  - Mazanek, Steffen
T1  - A survey and comparison of transformation tools based on the transformation tool contest
JF  - Science of computer programming
N2  - Model transformation is one of the key tasks in model-driven engineering and relies on the efficient matching and modification of graph-based data structures; its sibling graph rewriting has been used to successfully model problems in a variety of domains. Over the last years, a wide range of graph and model transformation tools have been developed all of them with their own particular strengths and typical application domains. In this paper, we give a survey and a comparison of the model and graph transformation tools that participated at the Transformation Tool Contest 2011. The reader gains an overview of the field and its tools, based on the illustrative solutions submitted to a Hello World task, and a comparison alongside a detailed taxonomy. The article is of interest to researchers in the field of model and graph transformation, as well as to software engineers with a transformation task at hand who have to choose a tool fitting to their needs. All solutions referenced in this article provide a SHARE demo. It supported the peer-review process for the contest, and now allows the reader to test the tools online.
KW  - Graph rewriting
KW  - Model transformation
KW  - Tool survey
KW  - Transformation tool contest
Y1  - 2014
U6  - https://doi.org/10.1016/j.scico.2013.10.009
SN  - 0167-6423
SN  - 1872-7964
VL  - 85
SP  - 41
EP  - 99
PB  - Elsevier
CY  - Amsterdam
ER  - 
TY  - JOUR
A1  - Lucio, Levi
A1  - Amrani, Moussa
A1  - Dingel, Juergen
A1  - Lambers, Leen
A1  - Salay, Rick
A1  - Selim, Gehan M. K.
A1  - Syriani, Eugene
A1  - Wimmer, Manuel
T1  - Model transformation intents and their properties
JF  - Software and systems modeling
N2  - The notion of model transformation intent is proposed to capture the purpose of a transformation. In this paper, a framework for the description of model transformation intents is defined, which includes, for instance, a description of properties a model transformation has to satisfy to qualify as a suitable realization of an intent. Several common model transformation intents are identified, and the framework is used to describe six of them in detail. A case study from the automotive industry is used to demonstrate the usefulness of the proposed framework for identifying crucial properties of model transformations with different intents and to illustrate the wide variety of model transformation intents that an industrial model-driven software development process typically encompasses.
KW  - Model transformation
KW  - Intent
KW  - Property
KW  - Verification
KW  - Description framework
Y1  - 2016
U6  - https://doi.org/10.1007/s10270-014-0429-x
SN  - 1619-1366
SN  - 1619-1374
VL  - 15
SP  - 647
EP  - 684
PB  - Springer
CY  - Heidelberg
ER  -