In this paper we present case studies that describe how the graph transformation tool groove
has been used to model problems from a wide variety of domains. These case studies …

Abstract Design space exploration (DSE) aims at searching through various models
representing different design candidates to support activities like configuration design of …

In model-driven development of safety-critical systems (like automotive, avionics or
railways), well-formedness of models is repeatedly validated in order to detect design flaws …

Abstract Model transformation is one of the key tasks in model-driven engineering and relies
on the efficient matching and modification of graph-based data structures; its sibling graph …

The graph programming language GP (Graph Programs) 2 and its implementation is the
subject of this thesis. The language allows programmers to write visual graph programs at a …

We describe the results of the Transformation Tool Contest 2010 workshop, in which nine
graph and model transformation tools were compared for specifying model migration. The …

The null space-based LDA takes full advantage of the null space while the other methods
remove the null space. It proves to be optimal in performance. From the theoretical analysis …

A large number of model transformation languages and tools have emerged since the early
2000s. A transformation engineer is thus left with too many choices for the language he use …

Graph patterns provide a declarative formalism to describe model queries used for several
important engineering tasks, such as well-formedness constraint validation or model …

Context Program queries play an important role in several software evolution tasks like
program comprehension, impact analysis, or the automated identification of anti-patterns for …