Encontrados 2 documentos, a visualizar página 1 de 1
Implementing QVT-R bidirectional model transformations using alloy
Macedo, Nuno; Cunha, AlcinoQVT 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. ...
Relations as executable specifications : taming partiality and non-determinism ...
Macedo, Nuno; Pacheco, Hugo; Cunha, AlcinoComunicação publicada em "Lecture Notes in Computer Science", vol. 7560 (2012), pag. 146-161 ; The calculus of relations has been widely used in program specification and reasoning. It is very tempting to use such specifications as running prototypes of the desired program, but, even considering finite domains, the inherent partiality and non-determinism of relations makes this impractical and highly ineffici...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||