Spezifikation und Prototyping graphbasierter Systeme

Zusammenfassung.

Zum systematischen Entwurf und zur Realisierung von Graphstrukturen und ihrer Zugriffsoperationen wurde die Spezifikationssprache PROGRES entwickelt. Sie unterstützt das Modellieren komplex strukturierter Sachverhalte, wie sie beim Bau interaktiver Systeme auftreten. Sie erlaubt die gemischt regelorientierte bzw. imperative Formulierung entsprechender Zugriffsoperationen mit Hilfe PROgrammierter GRaph-Ersetzungs-Systeme, besitzt ein statisches Typsystem, eine vollständige formale Definition ihrer statischen und dynamischen Semantik und ist sowohl interpretativ als auch kompilativ ausführbar. Hier soll die Eignung der Sprache PROGRES und ihrer Entwicklungsumgebung zur operationalen Spezifikation entsprechender Systeme und zur Generierung von Prototypen gezeigt werden. Dabei legen wir ein besonderes Gewicht auf die Unterstützung durch die enge Integration ihrer Werkzeuge, die das verschränkte Editieren, Analysieren und Ausführen gestatten. Bei den generierten Prototypen stehen leichte Erweiterbarkeit, Persistenz der Daten, Recovery und Mehrbenutzerfähigkeit im Vordergrund.

Abstract.

The specification language PROGRES has been developed for the systematic design and realization of graph structures and operations on them. It is statically typed, its static and dynamic semantics is formally defined. It offers both, rule based and imperative language constructs and supports modeling of complex structures in interactive systems and by the means of PROgrammed Graph REwriting Systems. We want to show the suitability of the PROGRES language and environment for the operational specification and generation of prototypes for this kind of systems. We focus on the tightly integrated tools, which allow editing, analyzing, and executing specifications in an intertwined way. Features of the generated prototypes are extendibility, data persistence, recovery, and multi user support.