Zusammenfassung
Die abstrakt definierten Primitiveprozeduren und Protokollabläufe des vorangegangenen Kapitels über das OSI-RM müssen für konkrete Realisierungen mit Leben erfüllt werden. Dazu dient die ITU-T-Spezifikationssprache Specification and Description Language (SDL). Ihr Zweck ist es, eine eindeutige Spezifikation und Beschreibung des Verhaltens von Telekommunikationssystemen zu erlauben [BE, BR1, BR3, ET2, GE, HO1, IT, SA, YE, be, te].
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
Abel D (1990) Petri Netze für Ingenieure. Springer, Berlin Heidelberg New York
Beiina et al (1988) Modelling OSI in SDL in turner formal description techniques. North Holland, Amsterdam
Beiina et al (1991) SDL with applications from Protocol Specification. Prentice Hall, N Y.
Brak R, Haugen Û (1993) Engineering real time systems — An object-oriented methodology using SDL. Prentice Hall, London
Brömstrup L, Hogrefe D (1989) TESDL: A tool for generating test cases from SDL specification. Bericht des Fachbereichs Informatik der Universität Hamburg
Broy M (1989) Towards a formal foundation of the specification and description language SDL. Fakultät für Mathematik und Informatik der Universität Passau
CCITT Manual (1988): Guidelines for the application of Estelle, LOTOS and SDL
ETSI ETR60 (09.95) Signalling Protocols and Switching (SPS); Guidelines for using Abstract Syntax Notation One (ASN.l) in telecommunication application protocols
ETSI ETR298 (09.96) Methods for Testing and Specification (MTS); Specification of protocols and services; Handbook for SDL, ASN. 1 and MSC development
Fischer J (1994) Contributions for the formal specification for the ODP trader using SDL’ 92 and ASN.1. Informatikberichte des Instituts für Informatik der Humboldt-Universität, Berlin
Fischer K P, Hesse S (1985) Formale Spezifikationsmethoden für die Definition von Protokollen und Diensten. Studie Fa. Telenet, Darmstadt
Gerdsen P, Kröger P (1994) Kommunikationssysteme 1: Theorie, Entwurf, Meßtechnik. Kommunikationssysteme 2: Anleitung zum praktischen Entwurf. Springer, Berlin Heidelberg
Hogrefe D (1988) Protocol and Service Specification with SDL. Bericht des Fachbereichs Informatik der Universität Hamburg
Hogrefe D (1989) Estelle, LOTOS und SDL — Standard-Spezifikationssprachen für verteilte Systeme. Springer, Berlin Heidelberg New York
ITU-T (1985) Course on SDL — Tutorial des CCITT, Genf
Jensen K (1995/6/7) Coloured Petri Nets — Basic Concepts, Analysis Methods, Practical Use. Springer, Berlin
Lenzer J (1987) Eine Einführung in die Programmiersprache CHILL. Hüthig, Heidelberg
Rinderspacher M (1994) A verification concept for SDL Systems and its application to the abracadabra protocol. Interner Bericht der Fakultät für Informatik der Universität Karlsruhe
Rosenstengel B, Winand U (1991) Petri-Netze, eine anwendungsorientierte Einführung. Vieweg, Braunschweig
Saracco R (1989) Telecommunications system engineering using SDL. North-Holland, Amsterd.
Starke P H (1990) Analyse von Petri-Netz-Modellen. B. G. Teubner, Stuttgart
Steedman D (1998) ASN. 1 — The Tutorial and Reference. Techapps
Turner K J (Hrsg.) (1993) Using formal description techniques — An introduction to Estelle, LOTOS and SDL. J. Wiley & Sons, New York
Ye J (1995) SDL specification and simulation of TDM/CDMA VSAT integrated service satellite communication network. Informatikberichte des Instituts für Informatik der Humboldt-Universität, Berlin
Belinea F (Editor): SDL Newsletter. Fa. Telelogic, Malmö, Schweden
Mitra N (5/6.94) Efficient encoding rules for ASN.l-based protocols — AT&T Technical Journal — Vol.73 — No.3
Neufeld G, Vuang S (23.92) An overview of ASN.1. Computers and ISDN Systems
Rockstrom A (1985): An introduction to the CCITT SDL, Fa. Telelogic, Malmö, Schweden
Stiegler L (01.99) Einführung in die ASN.l-Kommunikationsplattform. Deutsche Telekom Unterrichtsblätter 52:32–48
sdl-forum.org: Belinea F, Hogrefe D: Introduction to SDL 88
www.webproforum.com/telelogicl/full.html: Specification and Description Language Tutorial
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Georg, O. (2000). Die ITU-T-Spezifikationssprache SDL und die ISO-Netzprogrammiersprache ASN.1. In: Telekommunikationstechnik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56985-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-56985-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-63105-4
Online ISBN: 978-3-642-56985-2
eBook Packages: Springer Book Archive