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
10:30
22m
Talk
The modular and feature toggle architectures of Google Chrome
Journal-First
DOI
10:52
22m
Talk
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
11:15
22m
Talk
Putback-Based Bidirectional Model Transformations
Research Papers
Xiao He University of Science and Technology Beijing, China, Zhenjiang Hu National Institute of Informatics
11:37
22m
Talk
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