This volume is the proceedings of the 5th International Workshop on Bidirectional Transformations (Bx 2016). Bidirectional transformations (Bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several di↵erent fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2016 was organized as a dedicated venue for Bx in all relevant fields, as part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in di↵erent fields. In 2016, Bx will be co-located with ETAPS in Eindhoven, The Netherlands; it was previously held at the following locations: The call for papers attracted 11 complete submissions plus 1 talk proposal, from which the programme committee, after a careful reviewing and discussion process, selected for presentation at the workshop 9 papers (5 regular and 4 short) and the talk proposal: - Michael Johnson and Robert Rosebrugh: Unifying Set-Based, Delta-Based and Edit-Based Lenses - James McKinna: Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal) - Zinovy Diskin, Romina Eramo, Alfonso Pierantonio and Krzysztof Czarnecki: Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization - James McKinna and Perdita Stevens: How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper) - Erhan Leblebici: Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support - Oszkr Semerth, Csaba Debreceni, kos Horvth and Dniel Varr: Change Propagation of View Models by Logic Synthesis using SAT solvers - Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann and Thomas Engel: Towards the Propagation of Model Updates along di↵erent Views in Multi-View Models - Max E. Kramer and Kirill Rakhman: Automated Inversion of Attribute Mappings in Bidirectional Model Transformations - Tao Zan, Li Liu, Hsiang-Shang Ko and Zhenjiang Hu: Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views - James McKinna: Complements Witness Consistency In addition to these presentations, the programme of Bx 2016 will include a 'fishbowl' panel for discussion. We hope that this discussion will lead to interesting submissions to next year's Bx workshop, which will take place at a venue yet to be arranged. We would like to thank the Programme Committee and the external reviewers for their detailed reviews and careful consideration, and for the overall eciency that enabled the tight schedule for reviewing. We would also like to thank all the authors and participants for helping us make Bx 2016 a success.
Romina Eramo Jeremy Gibbons Martin Gogolla Ulrike Golas Martin Hofmann Zhenjiang Hu Michael Johnson Richard Paige Alexandra Poulovassilis James Terwilliger Jens Weber Yingfei Xiong Vadim Zaytsev External Reviewers Bx Steering Committee
Alcino Cunha Jeremy Gibbons Soichiro Hidaka Ekkart Kindler Perdita Stevens James Terwilliger Perdita Stevens University of Paderborn University of L’Aquila University of Oxford University of Bremen Konrad-Zuse-Zentrum fu¨r Informationstechnik, Berlin Ludwig-Maximilians-Universit¨at Mu¨nchen National Institute of Informatics, Tokyo Macquarie University University of York Birkbeck College, University of London Microsoft Research University of Victoria Peking University Universiteit van Amsterdam