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

Model transformation programs are iteratively refined, restructured, and evolved due to
many reasons such as fixing bugs and adapting existing transformation rules to new …

In model-driven engineering, models constitute pivotal elements of the software to be built. If
models are specified well, transformations can be employed for different purposes, eg, to …

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

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

In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …

The verification of model transformations is important for realizing robust model-driven
engineering technologies and quality-assured automation. Many approaches for checking …

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 …

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 …

Modelling and analysis are key to managing the increasing complexity and heterogeneity of
today's software-intensive systems. Historically, different research communities have studied …