Zusammenfassung
Die Spezifikation und Simulation von Diensten ist ein wichtiges Mittel, wenn die funktionalen und leistungsmäßigen Eigenschaften von Kommunikationsprotokollen und -systemen beschrieben und beurteilt werden sollen. Dienst-, Protokoll- und Implementierungsspezifikationen beschreiben Systeme auf unterschiedlichem Abstraktionsniveau. Die beiden ersten, höheren Abstraktionen sind geeignet, um bei der Entwicklung und Normung von Protokollen von implementierungsabhängigen Details abstrahieren und die Komplexität des Entwurfs reduzieren zu können. In diesem Beitrag wird ein Konzept vorgestellt, das es ermöglicht, den von einer Protokollschicht bereitgestellten Dienst zu spezifizieren und diesen mit seinen funktionellen und qualitativen Eigenschaften simulativ auszuführen. Protokolle, die auf die Dienste darunterliegender Kommunikationsschichten aufbauen, können dann in der Entwicklungsphase unter realistischen Randbedingungen ausgetestet und beurteilt werden, ohne die den benutzten Dienst bereitstellenden Systeme im Detail modellieren zu müssen.
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
Bauerfeld, W.L., “Zur Spezifikation von Protokollen und Diensten”, in /DFN83/.
Bochmann, G.v., “Example of ESTELLE-Transport Service Specification” in DFN83/.
Bochmann, G.v., “Concepts for Distributed Systems Design”, Springer-Verlag, Berlin, Heidelberg, New York (1983).
Bochmann, G.v., u.a., “Use of Formal Specifications for Protcol Design, Implementation and Testing”, in /Yem85/.
Burkhardt, H.J., Schindler, S., “Structuring Principles of the Communication Architecture of Open Systems — A Systematic Approach”, Computer Networks 5/81, 157–166.
Tagungsband zum Arbeitstreffen “Spezifikationstechniken im DFN”, Darmstadt, 28–30. Nov. 1983.
Drobnik, O., “Software-Technologie für Kommunikationstechnik”, Zeitschrift ‘Informationstechnik’, 28 Jahrgang, Heft 1/86, S. 44..52.
Yemini, Y., Strom, R., Yemini, S., “Protocol Specification, Testing and Verification IV”, North-Holland (1985).
Sajkowski, M., “Protocol Verification Techniques: Status Quo and Perspectives”, in /Yem85/.
Schindler, S., “The Distributed Abstract Machine, A Model for Service Specifications in Distributed Systems”, Computer communications, Vol. 3, No. 5, 208–220, (1980).
Swoboda, J., Köhler, B., Bächle, A., “A tool for specification and simulation and its application to ISDN D-channel protocol”, Int. Conf. on Computer Communication, ICCC ’86, München, C3–3.
Swoboda, J., “Rechnernetze: Stand und Entwicklung von Rechnernetzen”, VDE Kongreß ’86, 13.-15. Okt. 1986 in Nürnberg.
Venkatraman, R.C., Piatkowski, T.F., “A Formal Comparsion of Formal Protocol Specification Techniques”, Fifth Int. Workshop on Protocol Specification, Verification and Testing, Toulouse (1985).
Vissers, C.Â., Logrippo, L., “The importance of the service concept in the design of data communications protocols”., Fifth Int. Worksh. on Protocol Specification Verification and Testing, Toulouse 1985 (Addendum zum Tagungsband).
Wirth, N., “Programmieren in MODULA-2”, Springer-Verlag, Wien, New York (1985).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Köhler, B. (1987). Simulation von OSI-Diensten. In: Gerner, N., Spaniol, O. (eds) Kommunikation in Verteilten Systemen. Informatik-Fachberichte, vol 130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71655-3_48
Download citation
DOI: https://doi.org/10.1007/978-3-642-71655-3_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17213-0
Online ISBN: 978-3-642-71655-3
eBook Packages: Springer Book Archive