Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Syntactical colored petri nets reductions
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Algebraic specification of a model transformation engine
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Controlling reuse in pattern-based model-to-model transformations
Graph transformations and model-driven engineering
Formal verification of QVT transformations for code generation
Proceedings of the 14th international conference on Model driven engineering languages and systems
Model transformation languages relying on models as ADTs
SLE'09 Proceedings of the Second international conference on Software Language Engineering
An Algebraic Semantics for QVT-Relations Check-only Transformations
Fundamenta Informaticae
Software and Systems Modeling (SoSyM)
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
Implementing QVT-R bidirectional model transformations using alloy
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
QVT is the OMG standard language for specifying model-to-model transformations in MDA. Even though it plays a crucial role in model driven development, there are scarce tools supporting the execution of its sublanguage QVT-Relations, and none for its analysis or verification. In order to alleviate this situation, this paper provides a formal semantics for QVT-Relations through its compilation into Coloured Petri nets, enabling the execution and validation of QVT specifications. The theory of Petri nets provides useful techniques to analyse transformations (e.g. reachability, model-checking, boundedness and invariants) and to determine their confluence and termination given a starting model. We also report on using CPNTools for the execution, debugging, and analysis of transformations, and on a tool chain to transform QVT-Relations specifications into the input format of CPNTools.