Consistency management, the ability to detect, diagnose and handle inconsistencies, is
crucial during the development process in Model-driven Engineering (MDE). As the …

Abstract QVT Relations (QVT-R) is the standard language proposed by the OMG to specify
bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions …

Abstract Model transformation design patterns have been proposed by a number of
researchers, but their usage appears to be sporadic and sometimes patterns are applied …

Bidirectional model transformation is useful for maintaining consistency between two
models, and has many potential applications in software development including model …

Context: Model transformation, as one of the cornerstones of Model-Driven Engineering
(MDE) paradigm, produces target models from source models. In most of the practical cases …

Bidirectional transformation has played important roles in broad areas, database
management, programming language, and model-driven development after Foster et al …

Model-driven software engineering is supported with the help of model transformations. At
present, the technology for defining and executing uni-directional batch transformations …

Buneman et al. proposed a graph algebra called UnCAL (Unstructured CALculus) for
compositional graph transformations based on structural recursion, and we have recently …

In model-driven software engineering, model transformation plays a key role for
automatically generating and updating models. Transformation rules define how source …

The advent of bidirectional programming, in recent years, has led to the development of a
vast number of approaches from various computer science disciplines. These are often …