kirancodes.me
To Proof Maintenance & Beyond!
ASE 2009

A Petri Net Based Debugging Environment for QVT Relations

Manuel Wimmer, Gerti Kappel, Johannes Schönböck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger

DOI 10.1109/ase.2009.99dblp

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.

BibTeX
@inproceedings{Wimmer-al:ASE09,
  author    = {Manuel Wimmer and
               Gerti Kappel and
               Johannes Sch{\"{o}}nb{\"{o}}ck and
               Angelika Kusel and
               Werner Retschitzegger and
               Wieland Schwinger},
  title     = {A Petri Net Based Debugging Environment for {QVT} Relations},
  booktitle = {ASE},
  pages     = {3--14},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
}

Related papers