Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions

We consider the OMG's Queries, Views and Transformations (QVT) 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. 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.

[1]  Perdita Stevens,et al.  A Landscape of Bidirectional Model Transformations , 2007, GTTSE.

[2]  Shin-Cheng Mu,et al.  An Algebraic Approach to Bi-directional Updating , 2004, APLAS.

[3]  Hartmut Ehrig,et al.  Information Preserving Bidirectional Model Transformations , 2007, FASE.

[4]  S-C. Mu,et al.  An algebraic approach to bidirectional updating , 2004 .

[5]  Benjamin C. Pierce,et al.  Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.

[6]  Alexander Knapp,et al.  Enhancing UML state machines with aspects , 2007, MODELS'07.

[7]  Andy Schürr,et al.  Tool Integration with Triple Graph Grammars - A Survey , 2006, FoVMT.

[8]  Shin-Cheng Mu,et al.  An Injective Language for Reversible Computation , 2004, MPC.

[9]  Ekkart Kindler,et al.  A Study of Model Transformation Technologies: Reconciling TGGs with QVT , 2006 .

[10]  Perdita Stevens,et al.  Bidirectional model transformations in QVT: semantic issues and open questions , 2007, MODELS'07.

[11]  Alexander Königs,et al.  Model transformation with triple graph grammars , 2005 .

[12]  Ekkart Kindler,et al.  Reconciling TGGs with QVT , 2007, MODELS'07.

[13]  Shinya Kawanaka,et al.  biXid: a bidirectional transformation language for XML , 2006, ICFP '06.

[14]  Benjamin C. Pierce,et al.  Relational lenses: a language for updatable views , 2006, PODS '06.

[15]  Shin-Cheng Mu,et al.  A programmable editor for developing structured documents based on bidirectional transformations , 2004, PEPM '04.