Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization

A three-dimensional taxonomy for bidirectional model synchronization

“…In particular, we precisely specified duality and almost concrete types. The third one is a detailed description of the formal semantics against a brief two-page sketch in Diskin et al (2014). Finally, we add a detailed discussion of possible practical applications of the taxonomy.…”

Coupling solvers with model transformations to generate explorable model sets

“…Firstly, let us recall the definition of model space presented in [14]. A model space is a directed graph M = (M • , M ∆ ) where M • is a set of nodes called models and M ∆ is a set of arcs, called deltas or updates, between models.…”

“…It includes the same from (l. Listing 1: Example ATL rule containing constraints modified (l. 5-7). Even our constraint target element uses the classical ATL syntax (l. [8][9][10][11][12][13][14]. For instance, the solver property of ExpressionGroup is set to choco (l. 9).…”

Feature-based classification of bidirectional transformation approaches

“…An overview over bidirectional problems is given in [11], which summarizes the discussion in the GRACE workshop on bidirectional model transformations, and later in [31,32], which summarizes the discussion in the Dagstuhl seminar on bidirectional transformations (BX). Recently, a broad classification of bidirectional transformations in purely semantic terms appeared in [16]. With respect to these works, our paper provides a structured view as a feature model and a complete characterization of the design space.…”