Abstract The GRACE International Meeting on Bidirectional Transformations was held in
December 2008 near Tokyo, Japan. The meeting brought together researchers and …

A bidirectional transformation (BX) keeps a pair of interrelated models synchronized.
Symmetric BXs are those for which neither model in the pair fully determines the other. We …

As Model-Driven Engineering (MDE) is increasingly applied to larger and more complex
systems, the current generation of modelling and model management technologies are …

In this paper we propose a method to derive OCL invariants from declarative model-to-
model transformations in order to enable their verification and analysis. For this purpose we …

Lenses--bidirectional transformations between pairs of connected structures--have been
extensively studied and are beginning to find their way into industrial practice. However …

Model-Driven Engineering (MDE) has become an important development framework for
many large-scale software. Previous research has reported that as in traditional code-based …

This paper surveys three distinct approaches to bidirectional programming. The first
approach, syntactic bidirectionalization, takes a program describing the forward …

Bidirectional model transformation is a key technology in model-driven engineering (MDE),
when two models that can change over time have to be kept constantly consistent with each …

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

Modern development environments often involve models with complex consistency
relations. Some of the relations can be automatically established through" fixing …