Theory and Practice of Model Transformations

Volume 7909 of the series Lecture Notes in Computer Science pp 58-59

Yet Another Three QVT Languages

  • Edward WillinkAffiliated withWillink Transformations Ltd.
  • , Horacio HoyosAffiliated withThe University of York
  • , Dimitris KolovosAffiliated withThe University of York

* Final gross prices may vary according to local VAT.

Get Access


The early enthusiasm, in 2002, for model to model transformation languages led to eight submissions for an OMG standard[1] comprising three languages, yet no commercial products. The QVT Core language was intended as the foundation for QVT Relations but the available implementations have ignored the core language. Rather than ignoring the core language, we take the opposite approach and introduce three more core languages. Progressive program-to-program transformation through these core languages terminates in an easily implemented imperative language that supports declarative transformations.

There are currently only two freely available but discouragingly stable implementations of QVTr. There are no implementations for QVTc. The Eclipse QVT Declarative project provides only models, editors and parsers for both QVTr and QVTc. We outline progress to remedy the execution deficiency.