GUIDE: Games with UML for interactive design exploration
Knowledge-Based Systems
Translation of QVT Relations into QVT Operational Mappings
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Towards an Algebraic Theory of Bidirectional Transformations
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Landscape of Bidirectional Model Transformations
Generative and Transformational Techniques in Software Engineering II
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
An Algebraic Semantics for QVT-Relations Check-only Transformations
Fundamenta Informaticae
A simple game-theoretic approach to checkonly QVT Relations
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models must be kept consistent in the face of changes to either. A QVT-R transformation can be used either in checkonly mode, to determine whether a target model is consistent with a given source model, or in enforce mode, to change the target model. Although the most obvious semantic issues in the QVT standard concern the restoration of consistency, in fact even checkonly mode is not completely straightforward; this mode is the focus of this paper. We need to consider the overall structure of the transformation as given by when and where clauses, and the role of trace classes. In the standard, the semantics of QVT-R are given both directly, and by means of a translation to QVT Core, a language which is intended to be simpler. In this paper, we argue that there are irreconcilable differences between the intended semantics of QVT-R and those of QVT Core, so that the translation cannot be helpful. Treating QVT-R directly, we propose a simple game-theoretic semantics. We demonstrate that consistent models may not possess a single trace model whose objects can be read as traceability links in either direction. We briefly discuss the effect of variations in the rules of the game, to elucidate some design choices available to the designers of the QVT-R language.