Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33887
Título: | Least - change bidirectional model transformation With QVT- R and ATL |
Autor(es): | Macedo, Nuno Filipe Moreira Cunha, Alcino |
Palavras-chave: | Model transformation Bidirectional transformation Least-change principle QVT-R ATL Alloy |
Data: | 2016 |
Editora: | Springer |
Revista: | Software and Systems Modeling |
Citação: | Macedo, N., & Cunha, A. (2014, November 22). Least-change bidirectional model transformation with QVT-R and ATL. Software & Systems Modeling. Springer Science and Business Media LLC. http://doi.org/10.1007/s10270-014-0437-x |
Resumo(s): | 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 QVTR 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 metamodels 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. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/33887 |
DOI: | 10.1007/s10270-014-0437-x |
ISSN: | 1619-1366 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |