Software & Systems Modeling

, 9:7

Bidirectional model transformations in QVT: semantic issues and open questions

Special Section Paper

DOI: 10.1007/s10270-008-0109-9

Cite this article as:
Stevens, P. Softw Syst Model (2010) 9: 7. doi:10.1007/s10270-008-0109-9


We consider the OMG’s queries, views and transformations standard as applied to the specification of bidirectional transformations between models. We discuss what is meant by bidirectional transformations, and the model-driven development scenarios in which they are needed. We analyse the fundamental requirements on tools which support such transformations, and discuss some semantic issues which arise. In particular, we show that any transformation language sufficient to the needs of model-driven development would have to be able to express non-bijective transformations. We argue that a considerable amount of basic research is needed before suitable tools will be fully realisable, and suggest directions for this future research.


Bidirectional model transformationQVTModel-driven developmentSemantics

Copyright information

© Springer-Verlag 2008

Authors and Affiliations

  1. 1.School of InformaticsUniversity of EdinburghEdinburghUK