Program
09h00 - 09h10 Welcome
Session 1: Unifying/Bridging Bx Approaches (Chair: Jeremy Gibbons)
09h10 - 09h40 Michael Johnson and Robert Rosebrugh:
Unifying set-based, delta-based and edit-based lenses
09h40 - 10h00 James McKinna:
Complements Witness Consistency
10h00 - 11h00 Coffee
Session 2: Addressing Practical Bx Challenges (Chair: Michael Johnson)
11h00 - 11h30 Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki:
Introducing Delta-Lenses with Uncertainty
11h30 - 11h50 James McKinna, Perdita Stevens:
How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper)
Session 3: Leveraging Graph Transformation for Bx (Chair: Perdita Stevens)
11h50 - 12h10 Erhan Leblebici:
Towards a graph grammar-based approach to inter-model consistency checks with traceability support
12h10 - 12h30 Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró:
Change Propagation of View Models by Logic Synthesis using SAT solvers
12h30 - 14h00 Lunch
14h00 - 14h30 Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann, Thomas Engel:
Towards the Propagation of Model Updates along different Views in Multi-View Models
Session 4: Towards Reusable Libraries for Bx (Chair: Romina Eramo)
14h30 - 15h00 Max E. Kramer, Kirill Rakhman:
Automated Inversion of Attribute Mappings in Bidirectional Model Transformations
15h00 - 15h30 Coffee
15h30 - 16h00 Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu:
Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views
Session 5: Future Vision(s) for Bx (Chair: Jeremy Gibbons)
16h00 - 16h20 James McKinna:
Bidirectional transformations with deltas: a dependently typed approach
16h20 - 17h30 Panel Discussion and Wrap Up:
Five years later: Where should Bx be?
Results of the panel are summarised by this mind map.
Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.