TY - GEN
T1 - Catch me if you can - Debugging support for model transformations
AU - Schoenboeck, Johannes
AU - Kappel, Gerti
AU - Kusel, Angelika
AU - Retschitzegger, Werner
AU - Schwinger, Wieland
AU - Wimmer, Manuel
N1 - Funding Information:
This work has been funded by the Austrian Science Fund (FWF) under grant P21374-N13.
PY - 2010
Y1 - 2010
N2 - Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although numerous approaches are available, they lack convenient facilities for supporting debugging and understanding of the transformation logic. This is because execution engines operate on a low level of abstraction, hide the operational semantics of a transformation, scatter metamodels, models, transformation logic, and trace information across different artifacts, and provide limited verification support. To tackle these problems, we propose a Domain-Specific Language (DSL) on top of Colored Petri Nets (CPNs)-called Transformation Nets-for the execution and debugging of model transformations on a high level of abstraction. This formalism makes the afore hidden operational semantics explicit by providing a runtime model in terms of places, transitions and tokens, integrating all artifacts involved into a homogenous view. Moreover, the formal underpinnings of CPNs enable comprehensive verification of model transformations.
AB - Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although numerous approaches are available, they lack convenient facilities for supporting debugging and understanding of the transformation logic. This is because execution engines operate on a low level of abstraction, hide the operational semantics of a transformation, scatter metamodels, models, transformation logic, and trace information across different artifacts, and provide limited verification support. To tackle these problems, we propose a Domain-Specific Language (DSL) on top of Colored Petri Nets (CPNs)-called Transformation Nets-for the execution and debugging of model transformations on a high level of abstraction. This formalism makes the afore hidden operational semantics explicit by providing a runtime model in terms of places, transitions and tokens, integrating all artifacts involved into a homogenous view. Moreover, the formal underpinnings of CPNs enable comprehensive verification of model transformations.
KW - CPN
KW - Debugging
KW - Model transformation
KW - Runtime model
UR - http://www.scopus.com/inward/record.url?scp=78650369922&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-12261-3_2
DO - 10.1007/978-3-642-12261-3_2
M3 - Conference contribution
AN - SCOPUS:78650369922
SN - 3642122604
SN - 9783642122606
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 5
EP - 20
BT - Models in Software Engineering - Workshops and Symposia at MODELS 2009, Reports and Revised Selected Papers
T2 - Workshops and Symposia on Models in Software Engineering, MODELS 2009
Y2 - 4 October 2009 through 9 October 2009
ER -