Vol-1570⫷ Vol-1571 ⫸Vol-1572
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 |