Abstract:Bidirectional transformations (BXs), programs with a forward transformation and a backward transformation that maintain consistency between input and output, are routinely written in ways that do not let programmers specify their behavior completely. Several bidirectional programming languages exist to aid programmers in writing BXs with increased maintainability but decreased expressiveness. Such languages allow programmers to write BXs as one program for both directions, which is easier to maintain than separate programs for each direction. However, the maintainability provided by existing bidirectional languages comes at the cost of expressiveness because the ambiguity of synchronization is solved by default strategies which are hidden from programmers. The programmers’ inability to influence synchronization strategies has led to the proposal of a vast number of approaches that consider tailor-made synchronization strategies for particular applications. In this paper, we argue that such ambiguity is essential for BX and advocate that the synchronization strategy should not be hidden from programmers but considered from the start. We propose a novel approach to specifying so-called well-behaved bidirectional programs by their backward transformations, capable of expressing all aspects of a BX while retaining maintainability. Soundness of our approach results from a systematic analysis, based on existing mathematical concepts, of the instrumental laws of well-behaved BXs. We show that well-behaved BXs are uniquely determined by their backward transformations and corresponding forward transformations can be obtained for free.

A Theoretic Framework of Bidirectional Transformation Between Systems and Models

KBX: Verified Model Synchronization via Formal Bidirectional Transformation

Putback-based Bidirectional Model Transformations

From Bidirectional Model Transformation to Model Synchronization

Synchronizing Concurrent Model Updates Based on Bidirectional Transformation

The essence of bidirectional programming

Global synchronization of networked systems with bidirectional connections

An Algebraic Approach to Bidirectional Model Transformation

An Internal Model Approach for Synchronization of Linear Multi-Agent Systems Using Relative Outputs

Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution

Writing Bidirectional Model Transformations As Intentional Updates

Towards Variability Management in Bidirectional Model Transformation

A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming

A Compositional Approach to Bidirectional Model Transformation

From State- to Delta-Based Bidirectional Model Transformations

Supporting Parallel Updates with Bidirectional Model Transformations

A Generic Scheme and Properties of Bidirectional Transformations

A three-dimensional taxonomy for bidirectional model synchronization

Generating synchronization engines between running systems and their model-based views

Structure Preserving Transformations for Practical Model-based Systems Engineering

S<sub>YNTH</sub>BX: an Example-guided Synthesizer for Bidirectional Programs on Relations