Case Studies for Bidirectional Transformations in QVT Relations

Abstract

QVT Relations (QVT-R), a standard issued by the Object Management Group (OMG), is a language for the declarative specification of model transformations. In particular, QVT-R supports the specification of bidirectional transformations: Rather than writing two unidirectional transfor- mations separately, a transformation developer may provide a single relational specification which may be executed in both directions (from source to target and vice versa). In this contribution, which is based on [We16], we summarize the main results from a series of case studies which shed a light on both potentials and limitations of QVT-R as a bidirectional transformation language.