Publicação
Towards a framework for multi-directional model transformations
| Resumo: | The Query/View/Transformation Relations (QVT-R) standard for bidirectional model transformation is notorious for its underspecified semantics. When restricted to transformations between pairs of models, most of the ambiguities and omissions have been addressed in recent work. Nevertheless, the application of the QVT-R language is not restricted to that scenario, and similar issues remain unexplored for the multidirectional case (maintaining consistency between more than two models), that has been overlooked so far. In this paper we first discuss ambiguities and omissions in the QVT-R standard concerning the mutidirectional transformation scenario, and then propose a simple extension and formalization of the checking and enforcement semantics that clarifies some of them. We also discuss how such proposal could be implemented in our Echo bidirectional model transformation tool. Ours is just a small step towards making QVT-R a viable language for bidirectional transformation in realistic applications, and a considerable amount of basic research is still needed to fully accomplish that goal. |
|---|---|
| Autores principais: | Macedo, Nuno |
| Outros Autores: | Cunha, Alcino; Pacheco, Hugo |
| Assunto: | Model transformation Model repair Bidirectional transformation |
| Ano: | 2014 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| _version_ | 1866875522226585600 |
|---|---|
| author | Macedo, Nuno |
| author2 | Cunha, Alcino Pacheco, Hugo |
| author2_role | author author |
| author_facet | Macedo, Nuno Cunha, Alcino Pacheco, Hugo |
| author_role | author |
| contributor_name_str_mv | Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Macedo, Nuno\"},{\"Person.name\":\"Cunha, Alcino\"},{\"Person.name\":\"Pacheco, Hugo\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Macedo, Nuno Cunha, Alcino Pacheco, Hugo |
| datacite.date.Accepted.fl_str_mv | 2014-01-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2015-10-22T13:48:00Z |
| datacite.date.embargoed.fl_str_mv | 2015-10-22T13:48:00Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.fl_str_mv | Model transformation Model repair Bidirectional transformation |
| datacite.titles.title.fl_str_mv | Towards a framework for multi-directional model transformations |
| dc.contributor.none.fl_str_mv | Universidade do Minho |
| dc.creator.none.fl_str_mv | Macedo, Nuno Cunha, Alcino Pacheco, Hugo |
| dc.date.Accepted.fl_str_mv | 2014-01-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2015-10-22T13:48:00Z |
| dc.date.embargoed.fl_str_mv | 2015-10-22T13:48:00Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/37713 |
| dc.language.none.fl_str_mv | eng |
| dc.publisher.none.fl_str_mv | CEUR-Ws |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.subject.none.fl_str_mv | Model transformation Model repair Bidirectional transformation |
| dc.title.fl_str_mv | Towards a framework for multi-directional model transformations |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_5794 |
| description | The Query/View/Transformation Relations (QVT-R) standard for bidirectional model transformation is notorious for its underspecified semantics. When restricted to transformations between pairs of models, most of the ambiguities and omissions have been addressed in recent work. Nevertheless, the application of the QVT-R language is not restricted to that scenario, and similar issues remain unexplored for the multidirectional case (maintaining consistency between more than two models), that has been overlooked so far. In this paper we first discuss ambiguities and omissions in the QVT-R standard concerning the mutidirectional transformation scenario, and then propose a simple extension and formalization of the checking and enforcement semantics that clarifies some of them. We also discuss how such proposal could be implemented in our Echo bidirectional model transformation tool. Ours is just a small step towards making QVT-R a viable language for bidirectional transformation in realistic applications, and a considerable amount of basic research is still needed to fully accomplish that goal. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | conferencePaper |
| fulltext.url.fl_str_mv | https://prod-dspace.uminho.pt/bitstreams/7f0864a0-8e40-48e8-ad41-82e930730923/download |
| id | rum_320da53cdb3614bcb1b2c5c06e94a1cc |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/37713 |
| instacron_str | repositorium |
| institution | Universidade do Minho |
| instname_str | Universidade do Minho |
| language | eng |
| network_acronym_str | rum |
| network_name_str | RepositóriUM - Universidade do Minho |
| oai_identifier_str | oai:repositorium.uminho.pt:1822/37713 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Macedo, Nuno Cunha, Alcino Pacheco, Hugo |
| publishDate | 2014 |
| publisher.none.fl_str_mv | CEUR-Ws |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engCEUR-WsporThe Query/View/Transformation Relations (QVT-R) standard for bidirectional model transformation is notorious for its underspecified semantics. When restricted to transformations between pairs of models, most of the ambiguities and omissions have been addressed in recent work. Nevertheless, the application of the QVT-R language is not restricted to that scenario, and similar issues remain unexplored for the multidirectional case (maintaining consistency between more than two models), that has been overlooked so far. In this paper we first discuss ambiguities and omissions in the QVT-R standard concerning the mutidirectional transformation scenario, and then propose a simple extension and formalization of the checking and enforcement semantics that clarifies some of them. We also discuss how such proposal could be implemented in our Echo bidirectional model transformation tool. Ours is just a small step towards making QVT-R a viable language for bidirectional transformation in realistic applications, and a considerable amount of basic research is still needed to fully accomplish that goal.application/pdfporTowards a framework for multi-directional model transformationsMacedo, NunoCunha, AlcinoPacheco, HugoHostingInstitutionOrganizationalUniversidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.ptISSNIsPartOf1613-00732015-10-22T13:48:00Z20142014-01-01T00:00:00ZHandlehttps://hdl.handle.net/1822/37713http://purl.org/coar/access_right/c_abf2open accessModel transformationModel repairBidirectional transformation260767 bytesother research producthttp://purl.org/coar/resource_type/c_5794conference paperhttp://purl.org/coar/access_right/c_abf2application/pdffulltexthttps://prod-dspace.uminho.pt/bitstreams/7f0864a0-8e40-48e8-ad41-82e930730923/download |
| spellingShingle | Towards a framework for multi-directional model transformations Macedo, Nuno Model transformation Model repair Bidirectional transformation |
| status | SINGLETON |
| subject.fl_str_mv | Model transformation Model repair Bidirectional transformation |
| title | Towards a framework for multi-directional model transformations |
| title_full | Towards a framework for multi-directional model transformations |
| title_fullStr | Towards a framework for multi-directional model transformations |
| title_full_unstemmed | Towards a framework for multi-directional model transformations |
| title_short | Towards a framework for multi-directional model transformations |
| title_sort | Towards a framework for multi-directional model transformations |
| topic | Model transformation Model repair Bidirectional transformation |
| topic_facet | Model transformation Model repair Bidirectional transformation |
| url | https://hdl.handle.net/1822/37713 |
| visible | 1 |