PROgrammierte GRaphErsetzungsSysteme

1 Einleitung.- 1.1 Hintergrund der Arbeit.- 1.2 Motivation: Der neue Graphentechnikansatz.- 1.3 Problemstellungen und Lösungsansätze.- 1.4 Gliederung der Arbeit.- 2 Anwendung der Sprache PROGRES.- 2.1 Modellierung eines medizinischen Diagnosesystems.- 2.2 Das Graphschema.- 2.3 Attributausdrücke.- 2.4 Pfadausdrücke und Restriktionen.- 2.5 Produktionen und Tests.- 2.6 Transaktionen und Queries.- 2.7 Von der Spezifikation zur Implementierung.- 2.8 Zusammenfassung und Vergleich.- 3 GraLa Bootstrap-Spezifikation.- 3.1 Vorbereitende Schritte.- 3.2 Spezifikation des GraLa-Editors.- 3.3 Spezifikation des inkrementellen GraLa-Analysewerkzeugs.- 3.4 Spezifikation des GraLa-Compilers und -Interpreters.- 3.5 Zusammenfassung und Vergleich.- 4 Effiziente Teilgraphensuche.- 4.1 Einleitung und Motivation.- 4.2 Spezifikation der Teilgraphensuche.- 4.3 Zusammenfassung und Vergleich.- 5 Behandlung des Nichtdeterminismus.- 5.1 Nichtdeterminismus in Pfad- und Attributausdrücken.- 5.2 Nichtdeterministische Produktionen und Kontrollstrukturen.- 5.3 Anmerkungen zur vorgestellten Lösung.- 5.4 Zusammenfassung.- 6 Die PROGRES-Entwicklungsumgebung.- 6.1 Editor und Analysator.- 6.2 Der PROGRES-Aus führer.- 6.3 Generierung von Prototypen.- 6.4 Generierung von integrierten Entwicklungsumgebungen.- 6.5 Zusammenfassung und Vergleich.- 7 Zusammenfassung und Ausblick.- Literatur.