An Algebraic Semantics for QVT-Relations Check-only Transformations

作者：Guerra Esther^*; de lara Juan

来源：Fundamenta Informaticae, 2012, 114(1): 73-101.

DOI：10.3233/FI-2011-618

• Model-Driven Engineering
• Model Transformation
• QVT-Relations
• Category Theory

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. %26lt;br%26gt;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.

• 出版日期2012