Bidirectional Transformations

  title={Bidirectional Transformations},
  author={J. Gibbons and P. Stevens},
  booktitle={Lecture Notes in Computer Science},
Bidirectional transformations (BX) serve to maintain consistency between different representations of related and often overlapping information, translating changes in one representation to the others. We present a brief introduction to the field, in order to provide some common background to the remainder of this volume, which constitutes the lecture notes from the Summer School on Bidirectional Transformations, held in Oxford in July 2016 as one of the closing activities of the UK EPSRC… Expand
Multi-Model Evolution through Model Repair
Model-driven engineering city spaces via bidirectional model transformations
Model-Driven Design of City Spaces via Bidirectional Transformations
Universal Updates for Symmetric Lenses


Least-change bidirectional model transformation with QVT-R and ATL
15 Years of Triple Graph Grammars
Lenses, fibrations and universal translations†
Monad transformers and modular interpreters
Unifying Set-Based, Delta-Based and Edit-Based Lenses
Monads for Functional Programming
  • P. Wadler
  • Mathematics, Computer Science
  • Advanced Functional Programming
  • 1995
An Order-Based Theory of Updates for Closed Database Views
  • S. Hegner
  • Mathematics, Computer Science
  • Annals of Mathematics and Artificial Intelligence
  • 2004