Universität Karlsruhe
Projekt Graph Rewriting

Werkzeuge, Anwendungen und Methoden für die Graphersetzung

Graph Rewriting in a Nutshell

A Graph rewrite rule is a pair of graphs (L, R), where L is called the pattern graph and R the replacement graph. The actual transformation is done by applying the rule (L, R) to a given host graph H. First of all such an application requires to find an occurrence of the pattern graph L in the host graph H, a task which is often referred to as subgraph matching. Having found an occurrence (or match) of L, it is replaced by a copy of R. This yields a transformed host graph H’.

Principle Setting of Graph Rewriting

Tools

GrGen is a Graph Rewrite GENerator.
yComp is a graph viewer supporting vcg-files and can be seen as a supersede of the xvcg tool.

Projektbeteiligte

Alumni
Prof. Sebastian Hack
Dr. Rubino Geiß
Partner
Oliver Denninger
Bugra Derre
Tom Gelhausen
Ex-Studenten
Gernot Veit Batz
Jakob Blomer
Sebastian Buchwald
Daniel Grund
Jörn Heusipp
Enno Hofmann
Edgar Jakumeit
Moritz Kroll
Christoph Mallon
Jens Müller
Andreas Schösser
Adam M. Szalkowski

Software in diesem Projekt

GrGen
Das Graphersetzungs-Werkzeug. GrGen ist SPO basiert, schnell und einfach benutzbar.
yComp
Das Anzeigesystem für Programmgraphen in VCG-Format

Publikationen zum Projekt

2010
Jakumeit, Buchwald, Kroll, GrGen.NET
 
2008
Jakumeit, Mit GrGen.NET zu den Sternen -- Erweiterung der Regelsprache eines Graphersetzungswerkzeugs um rekursive Regeln mittels Sterngraphgrammatiken und Paargraphgrammatiken
Hoffmann, Jakumeit, Geiß, Graph Rewrite Rules with Structural Recursion
Buchwald, Erweiterung von GrGen.NET um DPO-Semantik und ungerichtete Kanten
Gelhausen, Derre, Geiß, Customizing GrGen.NET for Model Transformation
Geiß, Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools
Geiß, Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
Geiß, Kroll, GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool
Denninger, Gelhausen, Geiß, Applications and Rewriting of Omnigraphs -- Exemplified in the Domain of MDD
Batz, Kroll, Geiß, A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
Schösser, Geiß, Graph Rewriting for Hardware Dependent Program Optimizations
 
2007
Schösser, Graphersetzungsregelgewinnung aus Hochsprachen und deren Anwendung
Jakumeit, Vorarbeiten für die Erweiterung des Graphersetzungssystems GrGen um dynamisch zusammengesetzte Muster
Müller, Erweiterung des Graphersetzungswerkzeugs GrGen.NET um dynamische und kontextsensitive Beschleunigungstechniken
Kroll, Geiß, Developing Graph Transformations with GrGen.NET
Müller, Geiß, Speeding up Graph Transformation through Automatic Concatenation of Rewrite Rules
Geiß, Kroll, On Improvements of the Varro Benchmark for Graph Transformation Tools
Kroll, GrGen.NET: Portierung und Erweiterung des Graphersetzungssystems GrGen
Blomer, Geiß, The GrGen.NET User Manual
 
2006
Geiß, Batz, Grund, Hack, Szalkowski, GrGen: A Fast SPO-Based Graph Rewriting Tool
Batz, An Optimization Technique for Subgraph Matching Strategies
 
2005
Batz, Graphersetzung für eine Zwischendarstellung im Übersetzerbau
Szalkowski, Negative Anwendungsbedingungen für das suchprogrammbasierte Backend von GrGen
Batz, Generierung von Graphersetzungen mit programmierbarem Suchalgorithmus
 
2004
Grund, Negative Anwendungsbedingungen für den Graphersetzer GrGen
 
2003
Hack, Graphersetzung für Optimierungen in der Codeerzeugung
Login
Links