This article proposes a taxonomy of model transformation, based on the discussions of a
working group on model transformation of the Dagstuhl seminar on Language Engineering …

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

Graph transformation or graph rewriting has been developed for nearly 50 years and has
become a mature and manifold formal technique. Basically, rewrite rules are used to …

The current release of VIATRA provides open-source tool support for an event-driven,
reactive model transformation engine built on top of highly scalable incremental graph …

At the dawn of the 21st century and the information age, communication and c-puting power
are becoming ever increasingly available, virtually pervading almost every aspect of modern …

Software product lines (SPL) are an established technology for develo** families of
systems. In particular, they focus on modeling commonality and variability, that is, they are …

As UML 2.0 is evolving into a family of languages with individually specified semantics, there
is an increasing need for automated and provenly correct model transformations that (i) …

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

Abstract Model-driven development of software systems envisions transformations applied
in various stages of the development process. Similarly, the use of domain-specific …

Abstract Model-driven software engineering promotes the use of models and
transformations as primary artifacts. Several formalisms can be used for the specification of …