Abstract Model-Driven Engineering promotes the use of models to conduct the different
phases of the software development. In this way, models are transformed between different …

As the complexity of model transformations grows, there is an increasing need to count on
methods, mechanisms, and tools for checking their correctness, ie, the alignment between …

Although model transformations are considered to be the heart and soul of Model Driven
Engineering (MDE), there are still several challenges that need to be addressed to unleash …

In this article, we address how the production of model transformations (MT) can be
accelerated by automation of transformation synthesis from requirements, examples, and …

This paper proposes the use of equivalence partitioning techniques for testing models and
model transformations. In particular, we introduce the concept of classifying terms, which are …

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 …

This book describes the concepts and application of model-based development (MBD),
model transformations, and Agile MBD to a wide range of software systems. It covers …

Testing model transformations poses several challenges, among them the automatic
generation of appropriate input test models and the specification of oracle functions. Most …

Model transformation is a key technique to automate software engineering tasks, such as
generating implementations of software systems from higher-level models. To enable this …

CONTEXT: Model transformations play a key role in any software development project
based on Model-Driven Engineering principles. However, despite the inherent complexity of …