Graph grammars and graph rewrite systems improved a lot towards practical usability during
the last years. Nevertheless, there are still major problems to overcome in order to attract a …

The framework of graph transformation combines the potentials and advantages of both,
graphs and rules, to a single computational paradigm. In this paper we present some recent …

CONTEXT: The Business Process Model and Notation (BPMN) standard informally defines a
precise execution semantics. It defines how process instances should be updated in a …

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

UML state machines are quite popular and useful to specify dynamic components of
software systems. They have a formal static semantics but their execution semantics is …

Current rule-based model transformation approaches as the Query/View/Transformation
(QVT) standard or Triple Graph Grammars (TGGs) disregard means for structuring model …

The aim of the paper is to introduce the notion of a transformation unit together with its
interleaving semantics and to study it as a means of constructing large graph transformation …

The aim of this chapter is to introduce the notions of transformation units and transformation
modules as means of constructing large graph transformation systems from small ones in a …

In this chapter we use a three-level approach for analyzing module concepts for graph
transformation systems. Based on the observation that module architectures consist of basic …

In this paper we introduce a new hierarchical graph model to structure large graphs into
small components by distributing the nodes (and, likewise, edges) into a hierarchy of …