Bidirectional model transformations in QVT: semantic issues and open questions

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
Pages (from-to)7-20
Number of pages14
JournalSoftware and Systems Modeling
Issue number1
Publication statusPublished - 2010


  • Model-driven development
  • Semantics
  • QVT
  • Bidirectional model transformation


Dive into the research topics of 'Bidirectional model transformations in QVT: semantic issues and open questions'. Together they form a unique fingerprint.

Cite this