Catch me if you can - Debugging support for model transformations

Johannes Schoenboeck, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger, Manuel Wimmer

Publikation: Beitrag in Buch/Bericht/TagungsbandKonferenzbeitragBegutachtung

12 Zitate (Scopus)


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.

TitelModels in Software Engineering - Workshops and Symposia at MODELS 2009, Reports and Revised Selected Papers
PublikationsstatusVeröffentlicht - 2010
VeranstaltungWorkshops and Symposia on Models in Software Engineering, MODELS 2009 - Denver, CO, USA/Vereinigte Staaten
Dauer: 4 Okt. 20099 Okt. 2009


NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band6002 LNCS
ISSN (Print)0302-9743
ISSN (elektronisch)1611-3349


KonferenzWorkshops and Symposia on Models in Software Engineering, MODELS 2009
Land/GebietUSA/Vereinigte Staaten
OrtDenver, CO


Untersuchen Sie die Forschungsthemen von „Catch me if you can - Debugging support for model transformations“. Zusammen bilden sie einen einzigartigen Fingerprint.