A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Implementing QVT-R Bidirectional Model Transformations Using Alloy
[chapter]
2013
Lecture Notes in Computer Science
QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions in the original semantics, acceptance and development of effective tool support has been slow. Recently, the checking semantics of QVT-R has been clarified and formalized. In this paper we propose a QVT-R tool that complies to such semantics. Unlike any other existing tool, it also supports meta-models enriched with OCL
doi:10.1007/978-3-642-37057-1_22
fatcat:5kz36orjzrhbblowr4ntcatmem