Universität Karlsruhe
Mit GrGen.NET zu den Sternen

Diplomarbeit (abgeschlossen)

Erweiterung eines Graphersetzungswerkzeuges um durch Paarsterngraphgrammatiken zusammengesetzte Regeln

Graphen sind ein anschaulicher, mathematisch präziser und ausdrucksstarker Formalismus zur Modellierung von in Beziehung stehenden Entitäten. Veränderungen von Graphen können mit Graphersetzungsregeln – bestehend aus einem zu suchenden Muster und einer durchzuführenden Ersetzung – deklarativ beschrieben werden. Das Graphersetzungswerkzeug GrGen.NET übersetzt Graphersetzungsregeln in imperative Programme, die es dem Nutzer zur Ausführung bereitstellt.

Ziel dieser Arbeit ist die Erweiterung von GrGen.NET um wesentlich ausdrucksstärkere, zusammengesetzte Regeln. In die Regelspezifikationssprache sind hierzu Teilregeln und alternative Regeln aufzunehmen, die zusammengenommen rekursive Graphersetzungsregeln ermöglichen. Die Semantik der Regelzusammensetzung ist durch Graphgrammatiken zu fundieren, vorzugsweise Paargraphgrammatiken und Sterngraphgrammatiken.

Betreuer

Alumni
Dr. Rubino Geiß

Bearbeiter

Ex-Studenten
Edgar Jakumeit
Login
Links