An Algebraic Semantics for QVT-Relations Check-only Transformations

Article type: Research Article

Authors: Guerra, Esther | de Lara, Juan

Affiliations: Computer Science Department, Universidad Autónoma de Madrid, Spain. {Esther.Guerra, Juan.deLara}@uam.es

Note: [] Address for correspondence: Computer Science Department. Universidad Autónoma de Madrid, Spain

Abstract: QVT is the standard for model transformation defined by the OMG in the context of the Model-Driven Architecture. It is made of several transformation languages. Among them, QVT-Relations is the one with the highest level of abstraction, as it permits developing bidirectional transformations in a declarative, relational style. Unfortunately, the standard only provides a semiformal description of its semantics, which hinders analysis and has given rise to ambiguities in existing tool implementations. In order to improve this situation, we propose a formal, algebraic semantics for QVT-Relations check-only transformations, defining a notion of satisfaction of QVT-Relations specifications by models.

Keywords: Model-Driven Engineering, Model Transformation, QVT-Relations, Category Theory

DOI: 10.3233/FI-2011-618

Journal: Fundamenta Informaticae, vol. 114, no. 1, pp. 73-101, 2012