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 …

Assessment of the correctness of software models is a key issue to ensure the quality of the
final application. To this end, this paper presents an automatic method for the verification of …

Improved usability of tools is a fundamental prerequisite for a more widespread industrial
adoption of Model-Driven Engineering. We present the current state of Henshin, a model …

As with other software development artifacts, model transformations are not bug-free and so
must be systematically verified. Their nature, however, means that transformations require …

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 …

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 …

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 …

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 …

This paper defines a catalogue of patterns for the specification and design of model
transformations, and provides a systematic scheme and classification of these patterns …

In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …