ESPRESO - ein System zur Erstellung der Spezifikation von Prozeßrechner-Software

Abstract

Etwa 1978/79 wurde im lDT die Sprache PCSL entwickelt und ein System zu ihrer Verarbeitung bereitgestellt. PCSL ist durch drei Merkmale gekennzeichnet: 1. Der vorgesehene Anwendungsbereich ist die Erstellung der Spezifikation für Prozeßrechner-Software. 2. Die zugrundeliegenden Konzepte sind anwendungsorientiert, aber restriktiv zugunsten einfacher, klarer Strukturen, wodurch letztlich die Zuverlässigkeit der Programme verbessert wird. 3. Die Spezifikationssprache ist abgestimmt auf den sogenannten Generalized Analyzer, der vom ISDOS-Project, University of Michigan, zur Verfügung gestellt worden war. Mit seiner Hilfe können Spezifikationen geprüft, gespeichert und dokumentiert werden. Bei der Definition von PCSL und ersten Anwendungsversuchen entstand der Wunsch, die Ideen von PCSL in ein völlig neu zu entwickelndes System einzubringen, das von der ISDOS-Software unabhängig ist und dadurch wesentlich mehr Freiheit bietet, die eigenen Vorstellungen zu realisieren. So entstand ESPRESO.