Bidirectional Transformations

Bidirectional transformations (BX) are means of maintaining consistency betweenmultiple information sources: when one source is edited, the others mayneed updating to restore consistency. BX have applications in databases, userinterface design, model-driven development, and many other domains. This volume represents the lecture notes from the Summer School on Bidirectional Transformations, held in Oxford, UK, inJuly 2016. The school was one of the final activities on the project "A Theoryof Least Change for Bidirectional Transformations", running at the Universityof Oxford and the University of Edinburgh from 2013 to 2017 and funded bythe UK Engineering and Physical Sciences Research Council.The five chapters included in this volume are a record of most of the material presented at the summer school. After a comprehensive introduction to bidirectional transformations, they deal with triple graph grammars, modular edit lenses, putback-based bidirectional programming, and engineering of bidirectional transformations.