Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/24673
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Macedo, Nuno | - |
dc.contributor.author | Cunha, Alcino | - |
dc.date.accessioned | 2013-07-12T17:20:11Z | - |
dc.date.available | 2013-07-12T17:20:11Z | - |
dc.date.issued | 2013 | - |
dc.identifier.isbn | 978-3-642-37056-4 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | https://hdl.handle.net/1822/24673 | - |
dc.description.abstract | 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 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. | por |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.rights | openAccess | por |
dc.title | Implementing QVT-R bidirectional model transformations using alloy | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007%2F978-3-642-37057-1_22 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 297 | por |
oaire.citationEndPage | 311 | por |
oaire.citationTitle | 16th International Conference on Fundamental Approaches to Software Engineering | por |
oaire.citationVolume | 7793 | por |
dc.identifier.doi | 10.1007/978-3-642-37057-1_22 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science | por |
sdum.conferencePublication | FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013 | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
fase13-1.pdf | 354,73 kB | Adobe PDF | Ver/Abrir |