A petri net based debugging environment for QVT relations

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

Publikation: Beitrag in Buch/Bericht/TagungsbandKonferenzbeitragBegutachtung

18 Zitate (Scopus)

Abstract

In the Model-Driven Architecture (MDA) paradigm the Query/View/ Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative QVT Relations language, however, has not yet gained widespread use in practice. This is not least due to missing tool support in general and inadequate debugging support in particular. Transformation engines interpreting QVT Relations operate on a low level of abstraction, hide the operational semantics of a transformation and scatter metamodels, models, QVT code, and trace information across different artifacts. We therefore propose a model-based debugger representing QVT Relations on bases of TROPIC, a model transformation language utilizing a variant of Colored Petri Nets (CPNs). As a prerequisite for convenient debugging, TROPIC provides a homogeneous view on all artifacts of a transformation on basis of a single formalism. Besides that, this formalism also provides a runtime model, thus making the afore hidden operational semantics of the transformation explicit. Using an explicit runtime model allows to employ model-based techniques for debugging, e.g., using the Object Constraint Language (OCL) for simply defining breakpoints and querying the execution state of a transformation.

OriginalspracheEnglisch
TitelASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering
Seiten3-14
Seitenumfang12
DOIs
PublikationsstatusVeröffentlicht - 2009
Veranstaltung24th IEEE/ACM International Conference on Automated Software Engineering, ASE2009 - Auckland, Neuseeland
Dauer: 16 Nov. 200920 Nov. 2009

Publikationsreihe

NameASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Konferenz

Konferenz24th IEEE/ACM International Conference on Automated Software Engineering, ASE2009
Land/GebietNeuseeland
OrtAuckland
Zeitraum16.11.200920.11.2009

Fingerprint

Untersuchen Sie die Forschungsthemen von „A petri net based debugging environment for QVT relations“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren