Bx 2018 - Seventh International Workshop on Bidirectional Transformations - ‹Programming› 2018 (original) (raw)

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 2018 is a dedicated venue for bx in all relevant fields, and is 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.

Important Dates

Please refer to the CFP page for details.

Previous Bx Workshops

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

-

You're viewing the program in a time zone which is different from your device's time zone change time zone

08:50 - 10:30 Model TransformationBx at Baie des Anges B Chair(s): Jens Weber University of Victoria
08:5010mDay opening **Opening**Bx
09:0030mFull-paper **Confidentiality in the process of (model-driven) software development**BxMichael Johnson Macquarie University, Australia, Perdita Stevens University of Edinburgh File Attached
09:3030mFull-paper **Multimodel Correspondence through Inter-Model Constraints**BxPatrick Stünkel , Harald König , Yngve Lamo , Adrian Rutle File Attached
10:0030mShort-paper **On the Development of Consistent User Interfaces **BxAnthony Anjorin , Enes Yigitbas University of Paderborn, Germany, Hermann Kaindl , Roman Popp TU Wien, Vienna, Austria

Accepted Papers & Talks

Title
An Axiomatic Basis for Bidirectional ProgrammingBxHsiang-Shang ‘Josh’ Ko, Zhenjiang Hu Link to publication DOI
Bimorphic lenses in compositional game theoryBxJules Hedges
Confidentiality in the process of (model-driven) software developmentBxMichael Johnson, Perdita Stevens File Attached
Cospans and Symmetric LensesBxMichael Johnson, Robert Rosebrugh
Enhancing the JTL Tool for Bidirectional TransformationsBxRomina Eramo, Alfonso Pierantonio, Michele Tucci
Lightweight Data Sharing System based on Bidirectional TransformationsBxAdrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre Yves Schobbens
Multimodel Correspondence through Inter-Model ConstraintsBxPatrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle File Attached
On the Development of Consistent User Interfaces BxAnthony Anjorin, Enes Yigitbas, Hermann Kaindl, Roman Popp
Profunctor Optics and the Yoneda LemmaBxJeremy Gibbons, Guillaume Boisseau
Towards a Visual Editor for Lens CombinatorsBxAnthony Anjorin, Hsiang-Shang ‘Josh’ Ko Pre-print
Towards sound, flexible and optimal build for megamodelsBxPerdita Stevens
Understanding Profunctor Optics: a representation theoremBxGuillaume Boisseau

Call for Papers

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 2018 is a dedicated venue for bx in all relevant fields, and is 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.

Aim & Topics

The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to:

Paper Categories

The BX 2018 program committee considers five categories of submissions:

All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers. Talk proposals are expected to present works of particular interest for the community and that are worth a talk slot at the workshop.

We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g. via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access.

All papers will be peer-reviewed by at least three members of the program committee.

Proceedings

The workshop proceedings, including all accepted papers (except talk proposals), will be published as International Conference Proceedings Series in the ACM Digital Library before the workshop.

Important Dates

Submission Guideline

Submission site: https://easychair.org/conferences/?conf=bx2018

Format

Submissions should use the ACM Conference acmart Format with the ‘sigconf’ option with a font size of 10 point and the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM acmart templates. Otherwise, please follow the ACM author instructions.

If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size.

Please include page numbers in your submission for review using the LaTeX command \settopmatter{printfolios=true} (see examples in template).

Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. If a paper is accepted, at least one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event.

CALL FOR PAPERS

Bx 2018: 7th International Workshop on Bidirectional Transformations

Nice, France (co-located with 2018) https://2018.programming-conference.org/track/bx-2018-papers

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 2018 is a dedicated venue for bx in all relevant fields, and is 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.

IMPORTANT DATES

AIM & TOPICS

The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to:

PAPER CATEGORIES

The BX 2018 program committee considers five categories of submissions:

All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers. Talk proposals are expected to present works of particular interest for the community and that are worth a talk slot at the workshop.

We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g. via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access.

All papers will be peer-reviewed by at least three members of the program committee.

PROCEEDINGS

The workshop proceedings, including all accepted papers (except talk proposals), will be published as International Conference Proceedings Series in the ACM Digital Library before the workshop.

SUBMISSION GUIDELINE

Submission site: https://easychair.org/conferences/?conf=bx2018

Submissions should use the ACM Conference acmart Format with the ‘sigconf’ option (http://www.acm.org/publications/proceedings-template) with a font size of 10 point and the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM acmart templates. Otherwise, please follow the ACM author instructions.

If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size.

Please include page numbers in your submission for review using the LaTeX command \settopmatter{printfolios=true} (see examples in template).

Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. If a paper is accepted, at least one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event.

PROGRAM COMMITTEE MEMBERS

Jens Weber (University of Victoria, co-chair) Kazutaka Matsuda (Tohoku Universiy, co-chair) Anthony Anjorin (Paderborn University) James Cheney (University of Edinburgh) Anthony Cleve (University of Namur) Alcino Cunha (University of Minho and INESC TEC) Zinovy Diskin (McMaster University) Romina Eramo (University of L’Aquila) Jeremy Gibbons (University of Oxford) Holger Giese (Potsdam University) Boris Glavic (Illinois Institute of Technology) Martin Gogolla (University of Bremen) Soichiro Hidaka (Hosei University) Zhenjiang Hu (National Institute of Informatics) Michael Johnson (Macquarie University) Ekkart Kindler (Technical University of Denmark) Erhan Leblebici (TU Darmstadt) Fernando Orejas (Universitat Politècnica de Catalunya) Hugo Pacheco (University of Minho) Richard Paige (University of York) Arend Rensink (University of Twente) Andy Schürr (TU Darmstadt) Perdita Stevens (University of Edinburgh) James Terwilliger Janis Voigtländer (University of Duisburg-Essen) Meng Wang (University of Bristol) Bernhard Westfechtel (University of Bayreuth)

x_Fri 10 Apr 20:32_