Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …

The notion of model transformation intent is proposed to capture the purpose of a
transformation. In this paper, a framework for the description of model transformation intents …

Model transformations are central to Model-Driven Engineering (MDE), where they are used
to transform models between different languages; to refactor and simulate models; or to …

Many testing and benchmarking scenarios in software and systems engineering depend on
the systematic generation of graph models. For instance, tool qualification necessitated by …

Abstract Model transformations play a cornerstone role in Model-Driven Engineering (MDE)
as they provide the essential mechanisms for manipulating and transforming models …

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 …

Automated model generation can be highly beneficial for various application scenarios
including software tool certification, validation of cyber-physical systems or benchmarking …

MDE is a software development process where models constitute pivotal elements of the
software to be built. If models are well-specified, transformations can be employed for …

Despite the wide range of existing tool support, constructing a design environment for a
complex domain-specific language (DSL) is still a tedious task as the large number of …