An Algebraic Semantics for QVT-Relations Check-only Transformations

  title={An Algebraic Semantics for QVT-Relations Check-only Transformations},
  author={Esther Guerra and Juan de Lara},
  journal={Fundam. Inform.},
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, QVTRelations 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… CONTINUE READING


Publications referenced by this paper.
Showing 1-2 of 2 references

On the specification and verification of model transformations

  • S. Roser, P. Müllender, B. Bauer
  • Semantics and Algebraic Specification , volume…
  • 2009

Similar Papers

Loading similar papers…