• Publications
  • Influence
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach
TLDR
The algebraic approaches to graph transformation are based on the concept of gluing of graphs, modelled by pushouts in suitable categories of graphs and graph morphisms. Expand
  • 560
  • 24
  • PDF
Graph Grammars with Negative Application Conditions
TLDR
In each graph-grammar approach it is defined how and under which conditions graph productions can be applied to a given graph in order to obtain a derived graph. Expand
  • 366
  • 14
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach
  • 313
  • 14
Modeling and validation of service-oriented architectures: application vs. style
TLDR
We propose UML models of both the architectural style of the platform and the application scenario to validate the consistency between platform and application. Expand
  • 160
  • 13
  • PDF
Graph Transformation in a Nutshell
  • R. Heckel
  • Computer Science
  • Electron. Notes Theor. Comput. Sci.
  • 1 February 2006
TLDR
A non-technical introduction to the basic concepts of typed graph transformation systems, completed by a survey of more advanced concepts, and explain some of its history and motivations. Expand
  • 178
  • 12
  • PDF
A methodology for specifying and analyzing consistency of object-oriented behavioral models
TLDR
In this paper, we discuss the issue of consistency of behavioral models in the UML and present a general methodology how consistency problems can be dealt with. Expand
  • 175
  • 10
Ensuring consistency of conditional graph rewriting - a constructive approach
TLDR
A graph grammar is consistent if the start graph satisfies the consistency condition and the rules preserve this property. Expand
  • 149
  • 10
Confluence of Typed Attributed Graph Transformation Systems
TLDR
We introduce typed, vertex-attributed graph transformation systems and show that local confluence can be shown for term rewriting and graph rewriting using the concept of critical pairs. Expand
  • 263
  • 9
  • PDF
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
TLDR
We give an introduction to graph transformation, not only for researchers in software engineering, but based on applications of graph transformation in this domain. Expand
  • 138
  • 9
Style-based modeling and refinement of service-oriented architectures
TLDR
We address the modeling of such architectures by refining business-oriented architectures, which abstract from technology aspects, into service-oriented ones, focusing on the ability of dynamic reconfiguration (binding to new services at run time) typical for SOA. Expand
  • 107
  • 8
  • PDF