Model Transformations

  title={Model Transformations},
  author={Davide Di Ruscio and Romina Eramo and Alfonso Pierantonio},
In recent years, Model-Driven Engineering has taken a leading role in advancing a new paradigm shift in software development. Leveraging models to a first-class status is at the core of this methodology. Shifting the focus of software development from coding to modeling permits programs to transform models in order to generate other models which are amenable for a wide range of purposes, including code generation. This paper introduces a classification of model transformation approaches and… 

Constraint-driven modeling through transformation

Constraint-driven modeling is proposed where transformation is used to generate constraints on the target model rather than the target models itself, suggesting that constraint-driven transformation is an efficient and scalable alternative and/or complement to traditional transformation.

Towards a Language for Graph-Based Model Transformation Design Patterns

DelTa is a language for expressing design patterns for model transformations that is more abstract than and independent from any existing model transformation language, yet it is expressive enough to define design patterns as guidelines transformation developers can follow.

Grammar-based model transformations

This paper proposes a new approach to model transformation development which allows to simplify and improve the quality of the developed transformations via the exploitation of the languages' structures, and shows that such transformations exhibit three important characteristics: they are sound, complete and deterministic.

A novel approach to mutation operator design for MDE languages

The results show that the generic operators generated from the approach are instantiatable over ATL and EOL metamodels and have produced low proportions of invalid and equivalent mutants that can impact negatively on any mutation testing process.

Formal Specification and Testing of Model Transformations

This paper introduces the concept of Tract, a generalization of model transformation contracts, and shows how Tracts can be used for model transformation specification and black-box testing, and the kinds of analyses they allow.

Reuse and Customization for Code Generators: Synergy by Transformations and Templates

This paper presents a meta-modelling framework for model-driven development (MDD) that automates the very labor-intensive and therefore time-heavy and expensive process of generating source code from abstract models.

Multi-Model Evolution through Model Repair

This paper presents a comprehensive feature model providing an overview of the current state of the art of model management, and identifies the central role of model repair as an implementation pattern for (multi-)model evolution.

On the Automated Derivation of Domain-Specific UML Profiles

Meetamodels are the central artefacts, defining the syntax and semantics of DSLs, and can serve as input for an automated derivation of a profile for the Unified Modeling Language (UML).



A Landscape of Bidirectional Model Transformations

This survey paper discusses the various notions of bidirectional transformation, and their motivation from the needs of software engineering, and points out some areas which are so far relatively under-researched, and propose research topics for the future.

The design of a language for model transformations

A language that was designed to support implementing highly efficient transformation programs that perform model- to-model or model-to-code translations, and is supported by a suite of tools that allow the rapid prototyping and realization of transformation tools.

Model transformations and tool integration

  • L. Tratt
  • Computer Science
    Software & Systems Modeling
  • 2004
The need for dedicated approaches to model transformations, particularly for the data involved in tool integration, is motivated, the challenges involved are outlined, and a number of technologies and techniques are presented which allow the construction of flexible, powerful and practical model transformations.

Generic and Meta-transformations for Model Transformation Engineering

It is argued in the paper that model transformations should also be regarded as models (i.e., as data) and how meta-transformations can be designed that yield efficient transformations as their output model.

Meta-model Differences for Supporting Model Co-evolution

This work proposes an approach to raise the level of abstraction of meta- model adaptations by representing them as difference models conforming to a difference meta-model, so that manipulations can be clearly distinguished from unchanged parts and semi-automated countermeasures can be taken in order to co-adapt the corresponding models.

Model Migration with Epsilon Flock

Epsilon Flock is described, a model-to-model transformation language tailored for model migration that contributes a novel algorithm for relating source and target model elements and is compared to other approaches.


This work presents EMF Compare, an approach to model difference calculation and representation for the Eclipse modeling framework that leveraging the rank of model differences to that of first-class artifacts according to the “everything is a model” principle.

Model Synchronisation: Definitions for Round-Trip Engineering

This paper presents a formal definition of round-trip engineering and the semantics of target changes in the context of partial and non-injective transformations.

Generic Model Transformations: Write Once, Reuse Everywhere

This paper defines model transformation templates, which are defined over metamodel concepts which later can be bound to specific meta-models which can be applied to any model transformation language.

Feature-based survey of model transformation approaches

A framework for the classification of several existing and proposed model transformation approaches is proposed, given as a feature model that makes explicit the different design choices for model transformations.