Model transformation is one of the key concepts in modeldriven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EMF model transformation approaches have been developed, focusing on different transformation aspects. This paper proposes parallel graph transformation introduced by Ehrig and Kreowski t...

Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EMF model transformation approaches have been developed, focusing on different transformation aspects. To validate model transformations wrt. functional behavior and correctness, a for...

The correctness of model transformation is an import research field in model-driven architecture. Syntactic correctness and semantic consistency are hot topics in the field of model transformation. Syntactic correctness has many mature solutions. However the validation of semantic consistency has some problems. Therefore, how to validate semantic consistency of model transformation is a major p...

As one of the MDA’s main principles, model transformation has led to the specification of QVT and a large number of model transformation tools. TXL is a generic source transformation tool that also possesses some very important model transformation properties, such as scalability and efficiency. In this paper, we consider TXL as a model transformation tool, especially, for model-to-model transf...

Model-to-model transformations between visual languages are often defined by typed, attributed graph transformation systems. Here, the source and target languages of the model transformation are given by type graphs (or meta models), and the relation between source and target model elements is captured by graph transformation rules. On the other hand, refactoring is a technique to improve the s...

Model-driven engineering and model transformation have gained significant importance in recent years. However, most model transformation developments are handled without quality in mind. This paper presents a new model transformation design pattern which improves quality in model transformation. We discovered the pattern after solving a specific problem with two alternative model transformation...

In this paper we introduce and explore an extension to the existing paradigm of model transformation. Specifically, we extend existing model transformation approaches by considering reference models and human input as important sources for and during model transformation. To cater for this new type of model transformation, we develop an approach grounded on a common generic model and a series o...

Model transformation is at the heart of current model-driven engineering research. Today’s research in model transformation focuses on the scalability of the approaches to solve industrial problems. The current state-of-the-art in model transformation includes a plethora of techniques and tools. Nevertheless, industrial adoption of model transformation requires a diversity of model transformati...

In this paper we identify some basic requirements for model transformations for the Model Driven Architecture (MDA) approach and for a model transformation language that is used to specify these transformations. Basically such a language must be precise, allow reasoning about the applicability of specifications, and allow to verify that only valid models are created. Therefore we introduce the ...

As the complexity of model transformation (MT) grows, the need to rely on formal semantics of MT languages becomes a critical issue. Formal semantics provide precise specifications of the expected behavior of transformations, allowing users to understand them and to use them properly, and MT tool builders to develop correct MT engines, compilers, etc. In addition, formal semantics allow modeler...