| Vol-1827 urn:nbn:de:0074-1827-8 Copyright © 2017 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 2017
Bidirectional Transformations

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

### Uppsala, Sweden, April 29, 2017.

Edited by

### Romina Eramo *
Michael Johnson **

* University of L'Aquila, Italy
** Macquarie University, Australia

## Table of Contents

- Preface

- Existing and New Ideas on Least Change Triple Graph Grammars 1-5
  Milica Stojkovic, Sven Laux, Anthony Anjorin
- Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models 6-14
  Stephan Seifermann, Jörg Henß
- BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations 15-30
  Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel
- Bidirectional Certified Programming 31-38
  Daisuke Kinoshita, Keisuke Nakano
- Universal Updates for Symmetric Lenses 39-53
  Michael Johnson, Robert Rosebrugh
- On Ontologology 54-58
  Perdita Stevens, Jeremy Gibbons
- Taking Updates Seriously 59-73
  Danel Ahman, Tarmo Uustalu
- Compositionality of Update Propagation: Lax PutPut 74-89
  Zinovy Diskin

Complete proceedings in one ZIP file

2017-04-27: submitted by Romina Eramo, metadata incl. bibliographic data published under Creative Commons CC0
2017-04-27: published on CEUR-WS.org |valid HTML5|