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 …

Abstract The Eclipse Modeling Framework (EMF) provides modeling and code generation
facilities for Java applications based on structured data models. Henshin is a new language …

The digital transformation of society affects all aspects of human life, offering new
opportunities but also creating challenges and risks. More tasks will be automated using …

Abstract Model transformation is one of the key activities in model-driven software
development. An increasingly popular technology to define modeling languages is provided …

In the context of MDE (Model-Driven Engineering), our objective is to define the semantics
for a given DSL (Domain Specific Language) either to simulate its models or to check …

With model transformations becoming more widely used, there is an increasing need for
approaches focussing on a systematic development of model transformations. Although a …

This paper studies the semantics of a central part of the Unified Modeling Language UML. It
discusses UML class, object and state diagrams and presents a new integrated semantics …

Graph Transformation Units – An Overview* Page 1 Graph Transformation Units – An
Overview* Hans-Jörg Kreowski1, Sabine Kuske1, and Grzegorz Rozenberg2 1 University of …

In this paper we describe techniques for the specification and verification of model
transformations using a combination of UML and formal methods. The use of UML 2 …

This chapter introduces rule-based graph transformation, which constitutes a well-studied
research area in computer science. The chapter presents the most fundamental definitions …