Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/4253
Full metadata record
DC FieldValueLanguage
dc.contributor.authorNuno Moreira Macedoen
dc.contributor.authorAlcino Cunhaen
dc.date.accessioned2017-12-18T19:03:46Z-
dc.date.available2017-12-18T19:03:46Z-
dc.date.issued2016en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/4253-
dc.identifier.urihttp://dx.doi.org/10.1007/s10270-014-0437-xen
dc.description.abstractQVT 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 have been slow. Recently, the checking semantics of QVT-R has been clarified and formalized. In this article, we propose a QVT-R tool that complies to such semantics. Unlike any other existing tool, it also supports meta-models enriched with OCL constraints (thus avoiding returning ill-formed models) and proposes an alternative enforcement semantics that works according to the simple and predictable "principle of least change." The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model finding via SAT solving. We also show how this technique can be applied to bidirectionalize ATL, a popular (but unidirectional) model transformation language.en
dc.languageengen
dc.relation5625en
dc.relation5612en
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.titleLeast-change bidirectional model transformation with QVT-R and ATLen
dc.typearticleen
dc.typePublicationen
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00A-8V2.pdf874.16 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.