Reviving QVT relations: Model-based debugging using Colored Petri nets

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

Research output: Chapter in Book/Report/Conference proceedingsConference contributionpeer-review

14 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationModel Driven Engineering Languages and Systems - 12th International Conference, MODELS 2009, Proceedings
Pages727-732
Number of pages6
DOIs
Publication statusPublished - 2009
Event12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009 - Denver, CO, United States
Duration: 4 Oct 20099 Oct 2009

Publication series

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

Conference

Conference12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009
Country/TerritoryUnited States
CityDenver, CO
Period04.10.200909.10.2009

Keywords

  • CPN
  • Debugging
  • Model Transformations
  • QVT Relations

Fingerprint

Dive into the research topics of 'Reviving QVT relations: Model-based debugging using Colored Petri nets'. Together they form a unique fingerprint.

Cite this