1989 | OriginalPaper | Chapter
Konstruktive Qualitätssicherungsmaßnahmen für Dienst- und Protokollspezifikationen
Author : Dieter Hogrefe
Published in: Kommunikation in verteilten Systemen
Publisher: Springer Berlin Heidelberg
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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/.