Output details
11 - Computer Science and Informatics
University of Edinburgh
Article title
A simple game-theoretic approach to checkonly QVT Relations
Type
D - Journal article
Title of journal
Software and Systems Modeling
Article number
-
Volume number
12
Issue number
1
First page of article
175
ISSN of journal
1619-1366
Year of publication
2013
Number of additional authors
0
Additional information
<07> Originality: The first paper to use game theory for model transformation semantics. It was also the first to point out a major flaw in the architecture of the OMG standard.
Significance: The approach introduced here has already led to significant progress, viz. the provision of a semantics to recursive QVT-R.
Rigour: The principal methodology was mathematics; all results were proved. Claims about the interpretation of the standard were validated by comparison with ModelMorf, the most reliable QVT-R tool. Work by other authors had failed to observe the problem with the standard, demonstrating the effectiveness of this rigorous approach.
Interdisciplinary
-
Cross-referral requested
-
Research group
F - Laboratory for Foundations of Computer Science
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
