Studienarbeit (abgeschlossen)
Design und Impelementierung eines effizienten Graphmatches für GRS
Das GRGEN System (GRS) ist ein allgemeines Rahmenwerk zur Generierung
von Graph Transformationen aus Graph-Rewrite-Regeln.
Die Transformationen werden dabei von einem Backend ausgeführt, das
die konkrete Implementierung des Graphmodels realisiert und damit
sowohl für die Speicherung und den Zugriff auf den Graphen als auch
für das Finden von isomorphen Subgraphen und die Transformation der
Graphen zuständig ist.
Das GRS beeinhaltet bis jetzt ein Backend, das auf der
PostgreSQL Datenbank aufbaut.
Im Rahmen dieser Studienarbeit soll ein Backend entstehen, das den
Graphen im Speicher hält und den UBS Mechanismus nach Dörr
verwendet, um das Auffinden von isomorphen Subgraphen mit möglichst
geringer Komplexität zu ermöglichen.
Die Studienarbeit gliedert sich in drei Teile:
- Implementierung des Graph-Modells
- Implementierung der virtuellen Machine nach Dörr zum
Auffinden von isomorphen Subgraphen
- Implementierung des Transformationsgenerations für das
GRS, der aus Graph-Rewrite-Regeln "Programme"
für die virtuelle Machine und Ersetzungssequenzen für
das Graph-Modell generiert
Ein besonderes Augenmerk liegt auf der Implementierung der
virtuellen Machine und der Art ihrer Eingabe, da davon die
Effizienz des GRS abhängt.
Betreuer
Bearbeiter
| 
