Entwurf und Implementation einer Bibliothek graphischer Dialoge zur Ein- und Ausgabe von ProSet-Werten

Abstract

Die Prototypingsprache ProSet besitzt lediglich Ein- und Ausgabeoperationen, welche die von Unix vorgegebenen Standardkanäle ( stdin, stdout und stderr) nutzen. Um eine graphische Ein- und Ausgabe von ProSet-Werten zu ermöglichen, wird eine ProSet-Bibliothek mit graphischen Ein- und Ausgabeoperationen konstruiert. Der Aufruf dieser Operationen basiert auf dem Konzept der internen Kontrolle. Die formale Spezifikation der graphischen Dialoge erfolgt mit Hilfe von Zustandsübergangsdiagrammen, die um eine ADA-basierte Notation ergänzt sind. Des weiteren werden ProSet-Konzepte wie Persistenz und Ausnahmebehandlung integriert. Mit der Realisierung einer interreferentiellen Ein- und Ausgabe werden zudem software-ergonomische Aspekte berücksichtigt.