Enforcing QVT-R with mu-calculus and games

J. Bradfield; P. Stevens

doi:10.1007/978-3-642-37057-1_21

Enforcing QVT-R with mu-calculus and games

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

QVT-R is the standard Object Management Group bidirectional transformation language. In previous work, we gave a precise game-theoretic semantics for the checkonly semantics of QVT-R transformations, including the recursive invocation of relations which is allowed and used, but not defined, by the QVT standard. In this paper, we take up the problem of enforce semantics, where the standard attempts formality, but at crucial points lapses into English. We show that our previous semantics can be extended to enforce mode, giving a precise semantics taking the standard into account.

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering
Subtitle of host publication	16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Editors	Vittorio Cortellessa, Dániel Varró
Publisher	Springer
Pages	282-296
Number of pages	15
Volume	7793
ISBN (Electronic)	978-3-642-37057-1
ISBN (Print)	978-3-642-37056-4
DOIs	https://doi.org/10.1007/978-3-642-37057-1_21
Publication status	Published - 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	7793
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-642-37057-1_21

2013 Enforcing QVT-R with Mu-calculus and GamesAccepted author manuscript, 351 KB

http://link.springer.com/chapter/10.1007%2F978-3-642-37057-1_21

Solving Parity Games and Mu-Calculi
Bradfield, J. (Principal Investigator)
EPSRC
1/01/09 → 31/12/12
Project: Research

Cite this

Bradfield, J., & Stevens, P. (2013). Enforcing QVT-R with mu-calculus and games. In V. Cortellessa, & D. Varró (Eds.), Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings (Vol. 7793, pp. 282-296). (Lecture Notes in Computer Science; Vol. 7793). Springer. https://doi.org/10.1007/978-3-642-37057-1_21

Bradfield, J. ; Stevens, P. / Enforcing QVT-R with mu-calculus and games. Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. editor / Vittorio Cortellessa ; Dániel Varró. Vol. 7793 Springer, 2013. pp. 282-296 (Lecture Notes in Computer Science).

@inproceedings{f7d65cf174934223b6d84b1dfa9b3679,

title = "Enforcing QVT-R with mu-calculus and games",

abstract = "QVT-R is the standard Object Management Group bidirectional transformation language. In previous work, we gave a precise game-theoretic semantics for the checkonly semantics of QVT-R transformations, including the recursive invocation of relations which is allowed and used, but not defined, by the QVT standard. In this paper, we take up the problem of enforce semantics, where the standard attempts formality, but at crucial points lapses into English. We show that our previous semantics can be extended to enforce mode, giving a precise semantics taking the standard into account.",

author = "J. Bradfield and P. Stevens",

year = "2013",

doi = "10.1007/978-3-642-37057-1_21",

language = "English",

isbn = "978-3-642-37056-4",

volume = "7793",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "282--296",

editor = "Vittorio Cortellessa and D{\'a}niel Varr{\'o}",

booktitle = "Fundamental Approaches to Software Engineering",

address = "United Kingdom",

}

Bradfield, J & Stevens, P 2013, Enforcing QVT-R with mu-calculus and games. in V Cortellessa & D Varró (eds), Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. vol. 7793, Lecture Notes in Computer Science, vol. 7793, Springer, pp. 282-296. https://doi.org/10.1007/978-3-642-37057-1_21

Enforcing QVT-R with mu-calculus and games. / Bradfield, J.; Stevens, P.
Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. ed. / Vittorio Cortellessa; Dániel Varró. Vol. 7793 Springer, 2013. p. 282-296 (Lecture Notes in Computer Science; Vol. 7793).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Enforcing QVT-R with mu-calculus and games

AU - Bradfield, J.

AU - Stevens, P.

PY - 2013

Y1 - 2013

N2 - QVT-R is the standard Object Management Group bidirectional transformation language. In previous work, we gave a precise game-theoretic semantics for the checkonly semantics of QVT-R transformations, including the recursive invocation of relations which is allowed and used, but not defined, by the QVT standard. In this paper, we take up the problem of enforce semantics, where the standard attempts formality, but at crucial points lapses into English. We show that our previous semantics can be extended to enforce mode, giving a precise semantics taking the standard into account.

AB - QVT-R is the standard Object Management Group bidirectional transformation language. In previous work, we gave a precise game-theoretic semantics for the checkonly semantics of QVT-R transformations, including the recursive invocation of relations which is allowed and used, but not defined, by the QVT standard. In this paper, we take up the problem of enforce semantics, where the standard attempts formality, but at crucial points lapses into English. We show that our previous semantics can be extended to enforce mode, giving a precise semantics taking the standard into account.

U2 - 10.1007/978-3-642-37057-1_21

DO - 10.1007/978-3-642-37057-1_21

M3 - Conference contribution

AN - SCOPUS:84874346427

SN - 978-3-642-37056-4

VL - 7793

T3 - Lecture Notes in Computer Science

SP - 282

EP - 296

BT - Fundamental Approaches to Software Engineering

A2 - Cortellessa, Vittorio

A2 - Varró, Dániel

PB - Springer

ER -

Bradfield J , Stevens P. Enforcing QVT-R with mu-calculus and games. In Cortellessa V, Varró D, editors, Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Vol. 7793. Springer. 2013. p. 282-296. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-37057-1_21

Enforcing QVT-R with mu-calculus and games

Abstract

Publication series

Access to Document

Fingerprint

Projects

Solving Parity Games and Mu-Calculi

Cite this