Thu 8 Nov 2018 11:15 - 11:37 at Horizons 10-11 - Models Chair(s): Maurício Aniche

Bidirectional model transformation (BX) plays a vital role in Model-Driven Engineering.
A major challenge in conventional \emph{relational} and \emph{bidirectionalization}-based BX approaches is the ambiguity issue, i.e., the backward transformation may not be uniquely determined by the consistency relation or the forward transformation.
A promising solution to the ambiguity issue is to adopt \emph{putback}-based bidirectional programming, which realizes a BX by specifying the backward transformation.
However, existing \emph{putback}-based approaches do not support multiple conversions of the same node (namely a shared node).
Since a model is a graph, shared nodes are very common and inevitable.
Consequently, existing \emph{putback}-based approaches cannot be directly applied to bidirectional model transformation.
This paper proposes a novel approach to BX.
We define a new model-merging-based BX combinator, which can combine two BXs owning shared nodes into a well behaved composite BX.
Afterwards, we propose a \emph{putback}-based BX language XMU to address the ambiguity issue, which is built on the model-merging-based BX combinator.
We present the formal semantics of XMU which can be proven well behaved.
Finally, a tool support is also introduced to illustrate the usefulness of our approach.

Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
ModelsResearch Papers / Journal-First at Horizons 10-11
Chair(s): Maurício Aniche Delft University of Technology, Netherlands
The modular and feature toggle architectures of Google Chrome
Applications of Psychological Science for Actionable Analytics
Research Papers
Di Chen North Carolina State University, USA, Wei Fu , Rahul Krishna NC State University, Tim Menzies North Carolina State University
Putback-Based Bidirectional Model Transformations
Research Papers
Xiao He University of Science and Technology Beijing, China, Zhenjiang Hu National Institute of Informatics
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
Research Papers
Regina Hebig Chalmers University of Technology & University of Gothenburg, Christoph Seidl Technische Universität Braunschweig, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, John Kook Pedersen IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark