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.
This work has been partly funded by the Austrian Science Fund (FWF) under grant P21374-N13.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Object Management Group: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification (2007), http://www.omg.org/docs/ptc/07-07-07.pdf
Wadler, P.: Why no one uses functional languages. SIGPLAN Not. 33(8), 23–27 (1998)
Kurtev, I.: State of the Art of QVT: A Model Transformation Language Standard. In: Int. Workshop on Applications of Graph Transformation with Industrial Relevance (2007)
Kusel, A., Schwinger, W., Wimmer, M., Retschitzegger, W.: Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy. In: Int. Workshop on UML and AADL @ ICECCS 2009 (2009)
Reiter, T., Wimmer, M., Kargl, H.: Towards a runtime model based on colored Petri nets for the execution of model transformations. In: 3rd Workshop on Models and Aspects @ ECOOP 2007, Berlin (2007)
Wimmer, M., Kusel, A., Reiter, T., Retschitzegger, W., Schwinger, W., Kappel, G.: Lost in Translation? Transformation Nets to the Rescue!. In: 8th Int. Conf. on Information Systems Technology and its Applications (UNISCON 2009), Sydney (2009)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modeling and Validation of Concurrent Systems. Springer, Heidelberg (2009)
Wimmer, M., Kusel, A., Schoenboeck, J., Reiter, T., Retschitzegger, W., Schwinger, W.: Let’s Play the Token Game – Model Transformations Powered by Transformation Nets. In: Proc. of Int. Workshop on Petri Nets and Software Engineering, Paris (2009)
Wimmer, M., Kusel, A., Schoenboeck, J., Kappel, G., Retschitzegger, W., Schwinger, W.: A Petri Net based Debugging Environment for QVT Relations. Technical report, Vienna University of Technology (2009)
Stevens, P.: A simple game-theoretic approach to checkonly QVT Relations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 165–180. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wimmer, M., Kusel, A., Schoenboeck, J., Kappel, G., Retschitzegger, W., Schwinger, W. (2009). Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets. In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_59
Download citation
DOI: https://doi.org/10.1007/978-3-642-04425-0_59
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04424-3
Online ISBN: 978-3-642-04425-0
eBook Packages: Computer ScienceComputer Science (R0)