An Algebraic Semantics for QVT-Relations Check-only Transformations

@article{Guerra2012AnAS,
  title={An Algebraic Semantics for QVT-Relations Check-only Transformations},
  author={Esther Guerra and Juan de Lara},
  journal={Fundam. Inform.},
  year={2012},
  volume={114},
  pages={73-101}
}
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

References

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…