Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In order to automate and reuse patterns of model editing, an editing process can be regarded as an endogenous model transformation and specified as transformation rules. However, the use of traditional model transformat...

The paper offers basic elements of a new graphical model transformation language MOLA. The language combines the traditional structured programming with pattern-based transformation rules, the key element being a natural loop construct. The prime goal of MOLA is to provide a natural and highly readable representation of model transformation algorithms.

It is well known that the sixth Painlevé equation PVI admits a group of Bäcklund transformations which is isomorphic to the affine Weyl group of type D (1) 4 . Although various aspects of this unexpectedly large symmetry have been discussed by many authors, there still remains a basic problem yet to be considered, that is, the problem of characterizing the Bäcklund transformations in terms of R...

With model transformations arising as primary development artifacts in Model-driven Engineering, dedicated tools supporting the development and maintenance of model transformations are strongly required. Calculating differences between versions of transformations is an essential service for effectively managing their evolution. In this tool demonstration paper, we present support for this task ...

Model transformations are one of the core artifacts of a model-driven engineering approach. The relational logic language Alloy has been used in the past to verify properties of model transformations. In this paper we introduce the concept of functional Alloy modules. In essence a functional Alloy module can be viewed as an Alloy module representing a model transformation. We describe a sublang...

In MDE diverse modeling and model transformation languages are applied to describe and derive the envisioned system. Traceability is a prerequisite for maintaining consistency between different development artifacts. Thereby, the usefulness of traceability links increases with their completeness and correctness. In practice, automatic creation and maintenance of traceability links is required t...

In this paper we describe how one can represent a unitary rank structured matrix in an efficient way as a product of unitary or Givens transformations. We provide also some basic operations for manipulating the representation, such as the transition to zerocreating form, the transition to a unitary/Givens-weight representation, as well as an internal pull-through process of the two branches of ...

Practitioners of model-driven engineering usually find that producing model transformations still requires much effort. The Model Transformation By-Example (MTBE) approach softens this problem by means of the automated creation of model transformations from pairs of source and target model examples. However, the current techniques and tools for MTBE are limited in the sense that they can only p...

We provide a geometric interpretation of a new rational Landen transformation and establish the convergence of its iterates.