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