TY - JOUR
T1 - Surveying rule inheritance in model-to-model transformation languages
AU - Wimmer, M.
AU - Kappel, G.
AU - Kusel, A.
AU - Retschitzegger, W.
AU - Schönböck, J.
AU - Schwinger, W.
AU - Kolovos, D.
AU - Paige, R.
AU - Lauder, M.
AU - Schürr, A.
AU - Wagelaar, D.
PY - 2012
Y1 - 2012
N2 - Model transformations play a significant role in Model-Driven Engineering. However, their reuse mechanisms have yet to receive much attention. In this paper, we propose a comparison framework for rule inheritance in model-to-model transformation languages, and provide an in-depth evaluation of prominent representatives of imperative, declarative and hybrid transformation languages. 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 - Model transformations play a significant role in Model-Driven Engineering. However, their reuse mechanisms have yet to receive much attention. In this paper, we propose a comparison framework for rule inheritance in model-to-model transformation languages, and provide an in-depth evaluation of prominent representatives of imperative, declarative and hybrid transformation languages. 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 transformation
KW - Rule inheritance
UR - http://www.scopus.com/inward/record.url?scp=84880264983&partnerID=8YFLogxK
U2 - 10.5381/jot.2012.11.2.a3
DO - 10.5381/jot.2012.11.2.a3
M3 - Article
AN - SCOPUS:84880264983
SN - 1660-1769
VL - 11
JO - Journal of Object Technology
JF - Journal of Object Technology
IS - 2
M1 - 2
ER -