• Aucun résultat trouvé

Preface

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Preface"

Copied!
2
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Preface

This volume is the proceedings of the 6th International Workshop on Bidirectional Transformations (BX 2017).

Bidirectional transformations (BX) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. BX are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. BX 2017 was organized as a dedicated venue for BX in all relevant fields, as part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. In 2017, BX will be co-located with ETAPS in Uppsala, Sweden; it was previously held at the following locations:

1. BX 2012: Tallinn, Estonia, co-located with ETAPS 2. BX 2013: Rome, Italy, co-located with ETAPS

3. BX 2014: Athens, Greece, co-located with EDBT/ICDT 4. BX 2015: L'Aquila, Italy, co-located with STAF

5. BX 2016: Eindhoven, The Netherlands, co-located with ETAPS

The call for papers attracted 10 complete submissions plus 2 talk proposals, from which the programme committee, after a careful reviewing and discussion process, selected for presentation at the workshop 9 papers (5 regular, 1 tool and 2 short) and 2 talk proposals:

• Milica Stojkovic, Sven Laux and Anthony Anjorin. Existing and New Ideas on Least Change Triple Graph Grammars

• Stephan Seifermann and Jörg Henß. Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models

• Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici and Bernhard Westfechtel.

BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations

• Daisuke Kinoshita and Keisuke Nakano. Bidirectional Certified Programming

• Michael Johnson and Robert Rosebrugh. Universal Updates for Symmetric Lenses

• Perdita Stevens and Jeremy Gibbons. On Ontologology

• Danel Ahman and Tarmo Uustalu. Taking Updates Seriously

• Zinovy Diskin. Compositionality of Update Propagation: Lax PutPut

• Jeremy Gibbons. Profunctor Optics: Modular Data Accessors (Talk Proposal)

• Perdita Stevens. Bx in the Large (Talk Proposal)

In addition to these presentations, the programme of BX 2017 will include a panel for discussion. We hope that this discussion will lead to interesting submissions to next year’s BX workshop, which will take place at a venue yet to be arranged.

We would like to thank the Programme Committee and the external reviewers for their detailed reviews and careful

consideration, and for the overall efficiency that enabled the tight schedule for reviewing. We would also like to thank all the authors and participants for helping us make BX 2017 a success.

April 2017

Romina Eramo and Michael Johnson

(2)

Programme Committee

Co-chairs

Romina Eramo, University of L'Aquila, Italy Michael Johnson, Macquarie University, Australia Members

Anthony Anjorin, University of Paderborn, Germany Soichiro Hidaka, Hosei University, Japan

Max E. Kramer, Karlsruhe Institute of Technology, Germany James McKinna, University of Edinburgh, UK

Hugo Pacheco, University of Minho, Portugal Alfonso Pierantonio, University of L'Aquila, Italy

Andy Schürr, Technical University of Darmstadt, Germany Daniel Strüber, Universität Koblenz-Landau, Germany James Terwilliger, Microsoft, USA

Meng Wang, University of Kent, UK

Bernhard Westfechtel, Universität Bayreuth, Germany Manuel Wimmer, Vienna University of Technology, Austria

BX Steering Committee

Anthony Anjorin, University of Paderborn, Germany Alcino Cunha, University of Minho, Portugal Romina Eramo, University of Paderborn, Germany Jeremy Gibbons, University of Oxford, UK

Soichiro Hidaka, National Institute of Informatics, Japan Michael Johnson, University of Paderborn, Germany Ekkart Kindler, Technical University of Denmark, Denmark Perdita Stevens, University of Edinburgh, UK

James Terwilliger, Microsoft, USA

Références

Télécharger maintenant ( PDF - 2 Page - 56.50 KB )

Documents relatifs

UNIVERSITY OF

The main objective of this thesis is to enhance the reliability of decisions made using results obtained from quantitative analytical methods during different steps of their

university of

The purpose of this study. 1s to determine whether principals, department chairper-sons and teachers feel the supervisory functions, genezoally associated with the.

Preface

Anthony Anjorin (chair) Paderborn University, Germany James Cheney University of Edinburgh, UK Romina Eramo University of L’Aquila, Italy Jeremy Gibbons University of Oxford, UK

Preface

Anthony Anjorin University of Paderborn Romina Eramo University of L’Aquila Jeremy Gibbons University of Oxford Martin Gogolla University of Bremen. Ulrike Golas Konrad-Zuse-Zentrum

University of of of of of

as sinapic acid equivalents on formation of TBARS in a cooked comminuted pork model system stored at 4 G C 336 Table A.7 Effects of evening primrose additives at a concentration of.

of UNIVERSITY

They are involved in monotone dynamical systems, uniform persistence and coexistence states, basic reproduction ratios for compartmental epidemic models in periodic

University of Cambridge

Heleen Plaisier of Leiden University, the Netherlands, offers an introduction to the literature and orthography of Lepcha, a Tibeto-Burman language spoken in Sikkim

Cathy Cantwell and Rob Mayer, University of Oxford

myths have succeeded in: (i) introducing into the heart of an ostensibly Indic (Nālandā) tantric system an important set of goddesses from nearby Nepal, a place close