PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation

Abstract

Noch immer fehlen Mittel und Methoden, die es dem Software-Entwickler ermöglichen, ein Programmsystem so zu planen, zu spezifizieren und zu entwerfen, daß seine Annahmen, Folgerungen und Entscheidungen ihm selbst und anderen verständlich und prüfbar sind. Da von solchen Mitteln und Methoden, die nachfolgend einheitlich als "Spezifikationssysteme" bezeichnet werden, eine wesentliche Verbesserung der Software-Qualität zu erwarten ist, wurde im lDT etwa seit 1976 auf diesem Gebiet gearbeitet. Aus dem PSL/PSA-System vom ISDOS-Project an der University of Michigan wurde PCSL entwickelt (Process Control Software Specification Language), eine Variante von PSL, die auf die Entwicklung von Prozeßrechner-Software zugeschnitten ist. Schließlich wurden die Konzepte von PCSL, die teilweise mit den durch die ISDOS-Software vorgegebenen Randbedingungen kollidierten, in ein völlig neues System eingebracht, das den Namen ESPRESO (System zur Erstellung der Spezifikation von Prozeßrechner-Software) erhielt.