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|