A Simple Game-Theoretic Approach to Checkonly QVT Relations

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationTheory and Practice of Model Transformations
Subtitle of host publicationSecond International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
EditorsRichard Paige
PublisherSpringer-Verlag GmbH
Number of pages16
ISBN (Print)978-3-642-02407-8
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'A Simple Game-Theoretic Approach to Checkonly QVT Relations'. Together they form a unique fingerprint.

Cite this