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. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Wimmer, M., Kusel, A., Schoenboeck, J., Kappel, G., Retschitzegger, W., & Schwinger, W. (2009). Reviving QVT relations: Model-based debugging using Colored Petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5795 LNCS, pp. 727–732). https://doi.org/10.1007/978-3-642-04425-0_59
Mendeley helps you to discover research relevant for your work.