Why no one uses functional languages
ACM SIGPLAN Notices
A Simple Game-Theoretic Approach to Checkonly QVT Relations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
TROPIC: a framework for model transformations on petri nets in color
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Formal verification of QVT transformations for code generation
Proceedings of the 14th international conference on Model driven engineering languages and systems
Plug & play model transformations: a DSL for resolving structural metamodel heterogeneities
Proceedings of the 10th Workshop on Domain-Specific Modeling
A simple game-theoretic approach to checkonly QVT Relations
Software and Systems Modeling (SoSyM)
Enforcing QVT-R with mu-calculus and games
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
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.