Abstract Model transformation lies at the very core of model-driven engineering, and a large
number of model transformation languages and tools have been proposed over the last few …

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 …

Abstract Model-driven engineering (MDE) is a software engineering approach based on
model transformations at different abstraction levels. It prescribes the development of …

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 …

In Model-Driven Engineering bidirectionality in transformations is regarded as a key
mechanism. Recent approaches to non-deterministic transformations have been proposed …

Models are paramount in model-driven engineering. In a software project many models may
coexist, capturing different views of the system or different levels of abstraction. A key and …

An important task in Model-Driven Engineering (MDE) is to check consistency between two
concurrently developed yet related models. Practical approaches to consistency checking …

An impressive number of model transformation languages and associated tools have been
developed over the last few years. These tools can be used to develop, transform, merge …

When complex IT systems are being developed, the usage of several programming and
modelling languages can lead to inconsistencies that yield faulty designs and …

Engineering cyber-physical systems inhabiting contemporary urban spatial environments
demands software engineering facilities to support design and operation. Tools and …