Studienarbeit (abgeschlossen)

Implementierung und Erweiterung des Graphersetzers GrGen in C#

GrGen.NET ist ein Graphersetzungssystem auf Basis des Single-PushOut-Ansatzes (SPO), das, um Muster möglichst schnell zu finden, seine Suchstrategien zur Laufzeit an den Arbeitsgraph und die einzelnen Graphersetzungsregeln anpassen kann. Mit dem schrittweisen Ausführen von Regeln und der visuellen Darstellung der Änderungen mittels des Graphanzeigesystems yComp bietet GrGen.NET eine große Hilfe bei der Entwicklung von komplexen Regeln und bei der Suche nach Fehlern. Wie Messungen zeigen, wurde der Ressourcenverbrauch (Rechenzeit und Speicher) im Vergleich zum Vorgänger GrGen – für größere Probleme – signifikant verringert.

Betreuer

Alumni Dr. Rubino Geiß

Partner Tom Gelhausen

Bearbeiter

Ex-Studenten Moritz Kroll