Konstruktive Qualitätssicherungsmaßnahmen für Dienst- und Protokollspezifikationen

Seit einigen Jahren werden formale Beschreibungssprachen für die Protokollspezifikation in Normungsgremien und anderen Institutionen eingesetzt. Eine solche Sprache ist SDL. Jedoch hat es sich gezeigt, daß es außerordentlich schwierig ist, korrekte Spezifikationen herzustellen insbesondere dann, wenn es sich um komplexe Systeme handelt. Einer nachträgliche Überprüfung einer Spezifikation mit Hilfe von formalen Verifikationsmethoden sind aufgrund der Komplexität Grenzen gesetzt, und sie ist daher in den meisten realistischen Fällen nicht durchführbar. In dieser Arbeit werden einige Maßnahmen vorgestellt, wie die Qualität einer SDL-Spezifikation mit konstruktiven Mitteln erhöht werden kann. Die Maßnahmen ergeben sich aus Erfahrungen bei der Spezifikation sehr komplexer Systeme mit SDL, z.B. /5/, /4/ und /10/.