| 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
Bearbeiter
| |
