Zusammenfassung
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/.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
Belina, F., Hogrefe, D., Trigila, S.: Modelling OSI in SDL, (in Turner K.: Formal Derscription Techniques ), North Holland, 1988.
Brauer, W.: Automatentheorie, B.G. Teubner, Stuttgart, 1984.
CCITT SG X: Recommendation Z.100: Specification and Description Language SDL, Contribution Com X-R15-E, 1987.
CCITT SG XI: Recommendation Q.701–795: Specification of Signalling System No. 7, Red Book, 1985.
CCITT SG XI: Recommendation Q.931: ISDN user-network interface layer 3 specification, Red Book, 1985.
CCITT SG VII: Recommendation X.25: Data Communication Networks Interfaces, Red Book, 1985.
CCITT SG VII: Recommendation X.25 Layer 3, Contribution Com VII-144-E, 1987.
Hogrefe, D.: OSI Service Specification with CCITT-SDL, ACM Comp. Comm. Review, no. 1, 1988.
Hogrefe, D.: Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte Systeme, Springer, 1988.
Hogrefe, D.: Protocol and Service Specification with SDL: the X.25 case study, report no. FBI-HH-B-134/88, University of Hamburg, 1988.
Holzmann, G. J.: On Limits and Possibilities of Automated Protocol Analysis, Proc. 7-th IFIP Workshop on Protocol Specification, Verification and Testing, Zurich, May 1987.
ISO: Basic Reference Model, International Standard, ISO/IS 7498, 1984.
ISO TC97/SC21: OSI Service Conventions, Technical report ISO/TR 8509, 1987.
ISO TC97/SC21: LOTOS: Language for the temporal ordering specification of observational behaviour, Draft International Standard ISO/DIS 8807, 1987.
ISO TC97/SC21: ESTELLE: A formal description technique based on an extended state transition model, Draft International Standard ISO/DIS 9074, 1987.
ISO TC97/SC21: Guidelines for the application of ESTELLE, LOTOS, and SDL, Document SC21/WG1/N451, June 1987.
Tomas, J.G., et al.: OSI service specification: SAP and CEP modelling, ACM Computer Comm. Review, vol.17, no. 1 /2, April 1987, pp. 48–70.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hogrefe, D. (1989). Konstruktive Qualitätssicherungsmaßnahmen für Dienst- und Protokollspezifikationen. In: Kühn, P.J. (eds) Kommunikation in verteilten Systemen. Informatik-Fachberichte, vol 205. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74570-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-74570-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50893-9
Online ISBN: 978-3-642-74570-6
eBook Packages: Springer Book Archive