Mit GrGen zu den Sternen

Edgar Jakumeit, Universität Karlsruhe.

Abstract

GrGen.NET [1] ist ein Mehrzweck-Graphersetzungssystem, das deklarative Graphersetzungsregeln in imperative Programmbibliotheken umsetzt. Im Rahmen der Diplomarbeit "Mit GrGen.NET zu den Sternen" [2] wurde die Regelspezifikationssprache um rekursive Regeln erweitert, die es auf deklarative Weise erlauben, rekursive Strukturen im Graphen zu passen und zu verändern [3].

Im Vortrag werden zu Beginn die Erweiterungen anhand eines Beispiels aus der Biochemie motiviert. Danach wird das Sprachmittel der Teilmuster vorgestellt, zusammen mit dem Konzept der Sterngraphgrammatiken zur Fundierung der Semantik. Damit können rekursive Muster beschrieben werden. Zu rekursiven Regeln gelangt man durch die anschließend vorgestellte Erweiterung der Teilmuster zu Teilregeln, und der Sterngraphgrammatiken zu Paarsterngraphgrammatiken. Des Weiteren erfolgt im Vortrag eine Einführung in die Implementierung der Passungssuche. Er endet schließlich mit einer Demonstration des Systems anhand des Beispiels aus der Motivierung.

Referenzen

Blomer,Geiß;GrGen.NET User Manual Universität Karlsruhe, 2008
Edgar Jakumeit Mit GrGen.NET zu den Sternen - Erweiterung der Regelsprache eines Graphersetzungswerkzeugs um rekursive Regeln mittels Sterngraphgrammatiken und Paargraphgrammatiken. Diplomarbeit, Universität Karlsruhe, 2008
Berthold Hoffmann, Edgar Jakumeit, Rubino Geiß: Graph Rewrite Rules with Structural Recursion. International Workshop on Graph Computation Models, Leicester, September 2008.

Autor: Dr. Berthold Hoffmann

Zuletzt geändert am: 27. Oktober 2008