Reviving QVT Relations: Model-based Debugging using Colored Petri Nets
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA, October 4-9
Original Kurzfassung:
The standardized QVT Relations language, one cornerstone
of Model-Driven Architecture (MDA), has not yet gained widespread
use in practice, 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 traces across different artifacts. We propose a
model-based debugger representing QVT Relations on bases of TROPIC,
a model transformation framework which utilizes a variant of Colored
Petri Nets (CPNs) providing an explicit runtime model and a homogenous view on all artifacts of a transformation.