‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France

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

  • Paper submission: Jan. 19th, 2018 (AoE)
  • Author notification: Feb. 17th, 2018
  • Camera ready: TBA (around Mar 1st, 2018)
  • Workshop: Apr. 10th, 2018

Please refer to the CFP page for details.

Previous Bx Workshops

  • Bx 2017 collocated with ETAPS’17
  • Bx 2016 collocated with ETAPS’16
  • Bx 2015 collocated with STAF’15
  • Bx 2014 collocated with IDBT/ICDT’14
  • Bx 2013 collocated with ETAPS’13
  • Bx 2012 collocated with ETAPS’12
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 10 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 10:30
Model TransformationBx at Baie des Anges B
Chair(s): Jens Weber University of Victoria
08:50
10m
Day opening
Opening
Bx

09:00
30m
Full-paper
Confidentiality in the process of (model-driven) software development
Bx
Michael Johnson Macquarie University, Australia, Perdita Stevens University of Edinburgh
File Attached
09:30
30m
Full-paper
Multimodel Correspondence through Inter-Model Constraints
Bx
File Attached
10:00
30m
Short-paper
On the Development of Consistent User Interfaces
Bx
Anthony Anjorin , Enes Yigitbas University of Paderborn, Germany, Hermann Kaindl , Roman Popp TU Wien, Vienna, Austria
11:00 - 12:30
Mathematical FoundationsBx at Baie des Anges B
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
11:00
30m
Full-paper
Cospans and Symmetric Lenses
Bx
Michael Johnson Macquarie University, Australia, Robert Rosebrugh
11:30
30m
Short-paper
Understanding Profunctor Optics: a representation theorem
Bx
12:00
30m
Talk
Bimorphic lenses in compositional game theory
Bx
Jules Hedges University of Oxford
14:30 - 16:00
Tools and SystemsBx at Baie des Anges B
Chair(s): Perdita Stevens University of Edinburgh
14:30
30m
Short-paper
Towards a Visual Editor for Lens Combinators
Bx
Anthony Anjorin , Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Japan
Pre-print
15:00
30m
Full-paper
Enhancing the JTL Tool for Bidirectional Transformations
Bx
15:30
30m
Full-paper
Lightweight Data Sharing System based on Bidirectional Transformations
Bx
Adrien Duchêne , Hugues Marchal , Zhenjiang Hu National Institute of Informatics, Pierre Yves Schobbens University of Namur
16:30 - 18:10
Programming and ApplicationsBx at Baie des Anges B
Chair(s): Kazutaka Matsuda Tohoku University
16:30
30m
Talk
An Axiomatic Basis for Bidirectional Programming
Bx
Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Japan, Zhenjiang Hu National Institute of Informatics
Link to publication DOI
17:00
30m
Talk
Profunctor Optics and the Yoneda Lemma
Bx
Jeremy Gibbons Department of Computer Science, University of Oxford, Guillaume Boisseau
17:30
30m
Talk
Towards sound, flexible and optimal build for megamodels
Bx
Perdita Stevens University of Edinburgh
18:00
10m
Day closing
Closing
Bx

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:

  • bidirectional programming languages and frameworks
  • data and model synchronization
  • view updating
  • inter-model consistency analysis and repair
  • data/schema (or model/metamodel) co-evolution
  • coupled software/model transformations
  • inversion of transformations and data exchange mappings
  • domain-specific languages for bx
  • analysis and classification of requirements for bx
  • bridging the gap between formal concepts and application scenarios
  • analysis of efficiency of transformation algorithms and benchmarks
  • survey and comparison of bx technologies
  • case studies and tool support

Paper Categories

The BX 2018 program committee considers five categories of submissions:

  • Full Research Papers (up to 10 pages)
    • in-depth presentations of novel concepts and results
    • applications of bx to new domains
    • survey papers providing novel comparisons between existing bx technologies and approaches case studies
  • Tool Papers (up to 6 pages)
    • guideline papers presenting best practices for employing a specific bx approach (with a specific tool)
    • presentation of new tools or substantial improvements to existing ones
    • qualitative and/or quantitative comparisons of applying different bx approaches and tools
  • Experience Report (up to 4 pages)
    • sharing experiences and lessons learned with bx tools/frameworks/languages
    • how bx is used in (research/industrial/educational) projects
  • Extended Abstracts (up to 3 pages)
    • work in progress
    • small focused contributions
    • position papers and research perspectives
    • critical questions and challenges for bx
  • Talk Proposals (up to 2 pages)
    • proposed lectures about topics of interest for bx
    • existing work representing relevant contributions for bx
    • promising contributions that are not mature enough to be proposed as papers of the other categories

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

  • Paper submission: Jan. 19th, 2018 (AoE)
  • Author notification: Feb. 17th, 2018
  • Camera ready: Mar. 1st, 2018
  • Workshop: Apr. 10th, 2018

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 <Programming> 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
---------------

 - Paper submission:    Jan. 19, 2018
 - Author notification: Feb. 17, 2018
 - Camera ready:        Mar.  1, 2018
 - Workshop:            Apr. 10, 2018

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:

 - bidirectional programming languages and frameworks
 - data and model synchronization
 - view updating
 - inter-model consistency analysis and repair
 - data/schema (or model/metamodel) co-evolution
 - coupled software/model transformations
 - inversion of transformations and data exchange mappings
 - domain-specific languages for bx
 - analysis and classification of requirements for bx
 - bridging the gap between formal concepts and application scenarios
 - analysis of efficiency of transformation algorithms and benchmarks
 - survey and comparison of bx technologies
 - case studies and tool support

PAPER CATEGORIES
----------------

The BX 2018 program committee considers five categories of
submissions:

 - Full Research Papers (up to 10 pages)
   * in-depth presentations of novel concepts and results
   * applications of bx to new domains
   * survey papers providing novel comparisons between existing bx
     technologies and approaches case studies

 - Tool Papers (up to 6 pages)
   * guideline papers presenting best practices for employing a
     specific bx approach (with a specific tool)
   * presentation of new tools or substantial improvements to existing ones
   * qualitative and/or quantitative comparisons of applying different
     bx approaches and tools

 - Experience Report (up to 4 pages)
   * sharing experiences and lessons learned with bx
     tools/frameworks/languages
   * how bx is used in (research/industrial/educational) projects

 - Extended Abstracts (up to 3 pages)
   * work in progress
   * small focused contributions
   * position papers and research perspectives
   * critical questions and challenges for bx
    
 - Talk Proposals (up to 2 pages)
   * proposed lectures about topics of interest for bx
   * existing work representing relevant contributions for bx
   * promising contributions that are not mature enough to be proposed
     as papers of the other categories

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)