TY - GEN
T1 - A comparison of rule inheritance in model-to-model transformation languages
AU - Wimmer, Manuel
AU - Kappel, Gerti
AU - Kusel, Angelika
AU - Retschitzegger, Werner
AU - Schönböck, Johannes
AU - Schwinger, Wieland
AU - Kolovos, Dimitris
AU - Paige, Richard
AU - Lauder, Marius
AU - Schürr, Andy
AU - Wagelaar, Dennis
N1 - Copyright:
Copyright 2011 Elsevier B.V., All rights reserved.
PY - 2011
Y1 - 2011
N2 - Although model transformations presumably play a major role in Model-Driven Engineering, reuse mechanisms such as inheritance have received little attention so far. In this paper, we propose a comparison framework for rule inheritance in declarative model-to-model transformation languages, and provide an in-depth evaluation of three prominent representatives thereof, namely ATL, ETL (declarative subsets thereof), and TGGs. The framework provides criteria for comparison along orthogonal dimensions, covering static aspects, which indicate whether a set of inheriting transformation rules is well-formed at compile-time, and dynamic aspects, which describe how inheriting rules behave at run-time. The application of this framework to dedicated transformation languages shows that, while providing similar syntactical inheritance concepts, they exhibit different dynamic inheritance semantics and offer basic support for checking static inheritance semantics, only.
AB - Although model transformations presumably play a major role in Model-Driven Engineering, reuse mechanisms such as inheritance have received little attention so far. In this paper, we propose a comparison framework for rule inheritance in declarative model-to-model transformation languages, and provide an in-depth evaluation of three prominent representatives thereof, namely ATL, ETL (declarative subsets thereof), and TGGs. The framework provides criteria for comparison along orthogonal dimensions, covering static aspects, which indicate whether a set of inheriting transformation rules is well-formed at compile-time, and dynamic aspects, which describe how inheriting rules behave at run-time. The application of this framework to dedicated transformation languages shows that, while providing similar syntactical inheritance concepts, they exhibit different dynamic inheritance semantics and offer basic support for checking static inheritance semantics, only.
KW - Comparison
KW - Model Transformations
KW - Rule Inheritance
UR - http://www.scopus.com/inward/record.url?scp=79960274547&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-21732-6_3
DO - 10.1007/978-3-642-21732-6_3
M3 - Conference contribution
AN - SCOPUS:79960274547
SN - 9783642217319
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 31
EP - 46
BT - Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings
T2 - 4th International Conference on Theory and Practice of Model Transformations, ICMT 2011
Y2 - 27 June 2011 through 28 June 2011
ER -