Towards a framework for multidirectional model transformations

• Type: Article in International Conference Proceedings Book
• Date: 2014

Authors

Macedo, N (Author) Other; Cunha, A (Author) Other; Pacheco, H (Author) Other

Conference proceedings International

Title: CEUR Workshop Proceedings

Pages: 71-74

International Workshop on Meta-Learning and Algorithm Selection, MetaSel 2014 - Co-located with 21st European Conference on Artificial Intelligence, ECAI 2014

19 August 2014

Indexing

Scopus - 14 Citations

Other information

Authenticus ID: P-00A-8V3

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific