Zur Erstellung der Spezifikation von Prozeßrechner-Software

Abstract

Gegenstand dieser Arbeit ist ein System zur Entwicklung von Prozeßrechner- Software, das den Übergang von einer informalen Aufgabenstellung auf eine formale Spezifikation und die damit verbundene Strukturierung der Programme unterstützen und so einen Beitrag zur Zuverlässigkeit der Software leisten soll. Nach einigen Vorüberlegungen (2) werden die Konzepte entwickelt für das Begriffssystem, das den Kern bildet (3 .1), für die Spezifikationssprache (3.2), für das Werkzeug zur Verarbeitung, Speicherung und Auswertung der Spezifikation (3.3) und für das Verfahren, nach dem das System angewendet werden kann (3.4). Die Präzisierung der Sprache und die Implementierung des Werkzeugs werden beschrieben (4). Für den Übergang von der Spezifikation zum Programm wird ein Ansatz dargelegt (5). Es folgt ein größeres Beispiel (6). Die vollständige Grammatik (7), Literaturverzeichnis (8) und eine Liste der Abkürzungen (9) stehen am Schluß.

This is a report on a system far the development of process-control software. The system supports the transition from an informal description of a problem to a formal specification. That includes the structuring process, which has a strong influence on software reliability. Based on some preliminary discussion (2), a basic set of constructs is defined (3.1). The specification language (3.2) and a tool to process, store, and evaluate specifications (3 . 3) are described , and it is shown how to use the system (3.4). The language definition and the implementation of the tool are presented (4). For the transition from specification to actual code, a technique is outlined (5) . Finally, an example is gi ven (6). The complete syntax (7), the references (8) and a list of abbreviations (9) follow.