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.

Dr. Albert Zündorf studierte Informatik an der RWTH Aachen. Er war dort wissenschaftlicher Mitarbeiter am Lehrstuhl für Informatik III, Prof. Nagl und ist seit 1995 wissenschaftlicher Mitarbeiter in der AG Softwaretechnik, Prof. Schäfer, an der Universität - GH - Paderborn.