Formale Spezifikationsmethoden auf dem Prüfstand:Erfahrungen bei der Implementation komplexer Middleware

摘要

Die korrekte Implementation von komplexen Protokollen ist eine aufwendige Aufgabe. In dem Projekt „Estelle für Hochgeschwindigkeitsnetze" wurde der Möglichkeit untersucht, ausführbare Protokollsoftware direkt aus einer formalen Spezifikation zu generieren. Um die erwarteten Effizienznachteile gegenüber handcodierter Software verringern zu können, wurde der Aspekt der parallelen Ausführung einbezogen. Die Ergebnisse, die wir mit dem äußerst komplexen OSl-Protokoll für verteilte Transaktionsverarbeitung (OSI-TP) erzielten zeigen, daß dieser Weg durchaus gangbar ist.