| Vol-1571 urn:nbn:de:0074-1571-4 Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# Bx 2016
Bidirectional Transformations

### Proceedings of the 5th International Workshop on Bidirectional Transformations
co-located with The European Joint Conferences on Theory and Practice of Software (ETAPS 2016)

### Eindhoven, The Netherlands, April 8, 2016.

Edited by

### Anthony Anjorin *
Jeremy Gibbons **

* University of Paderborn, Germany
** University of Oxford, UK

## Table of Contents

- Preface

- Unifying Set-Based, Delta-Based and Edit-Based Lenses 1-13
  Michael Johnson, Robert Rosebrugh
- Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal) 14
  James McKinna
- Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization 15-31
  Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki
- How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper) 32-34
  James McKinna, Perdita Stevens
- Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support 35-39
  Erhan Leblebici
- Change Propagation of View Models by Logic Synthesis using SAT solvers 40-44
  Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
- Towards the Propagation of Model Updates along different Views in Multi-View Models 45-60
  Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann, Thomas Engel
- Automated Inversion of Attribute Mappings in Bidirectional Model Transformations 61-76
  Max E. Kramer, Kirill Rakhman
- Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views 77-89
  Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu
- Complements Witness Consistency 90-94
  James McKinna

- Complete proceedings in one ZIP file

2016-03-28: submitted by Anthony Anjorin, metadata incl. bibliographic data published under Creative Commons CC0
2016-03-29: published on CEUR-WS.org |valid HTML5|