DocumentCode :
1852373
Title :
A Petri Net Based Debugging Environment for QVT Relations
Author :
Wimmer, Manuel ; Kappel, Gerti ; Schoenboeck, Johannes ; Kusel, Angelika ; Retschitzegger, Werner ; Schwinger, Wieland
Author_Institution :
Bus. Inf. Group, Vienna Univ. of Technol., Vienna, Austria
fYear :
2009
fDate :
16-20 Nov. 2009
Firstpage :
3
Lastpage :
14
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.
Keywords :
Petri nets; data flow analysis; formal specification; program debugging; programming environments; software architecture; Colored Petri Nets; Object Constraint Language; Petri net; QVT code; Query/View/Transformation standard; debugging environment; high-level declarative QVT Relations language; metamodels; model transformation language; model transformations; model-based debugger; model-driven architecture; operational semantics; runtime model; transformation engines; Bioinformatics; Debugging; Engines; Informatics; Knowledge engineering; Logic; Petri nets; Runtime; Scattering; Software engineering; Debugging; Model Transformations; QVT Relations;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Automated Software Engineering, 2009. ASE '09. 24th IEEE/ACM International Conference on
Conference_Location :
Auckland
ISSN :
1938-4300
Print_ISBN :
978-1-4244-5259-0
Electronic_ISBN :
1938-4300
Type :
conf
DOI :
10.1109/ASE.2009.99
Filename :
5431786
Link To Document :
بازگشت