Skip to main content

Simulation von OSI-Diensten

  • Conference paper
  • 45 Accesses

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 130))

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Bauerfeld, W.L., “Zur Spezifikation von Protokollen und Diensten”, in /DFN83/.

    Google Scholar 

  2. Bochmann, G.v., “Example of ESTELLE-Transport Service Specification” in DFN83/.

    Google Scholar 

  3. Bochmann, G.v., “Concepts for Distributed Systems Design”, Springer-Verlag, Berlin, Heidelberg, New York (1983).

    Book  MATH  Google Scholar 

  4. Bochmann, G.v., u.a., “Use of Formal Specifications for Protcol Design, Implementation and Testing”, in /Yem85/.

    Google Scholar 

  5. Burkhardt, H.J., Schindler, S., “Structuring Principles of the Communication Architecture of Open Systems — A Systematic Approach”, Computer Networks 5/81, 157–166.

    Google Scholar 

  6. Tagungsband zum Arbeitstreffen “Spezifikationstechniken im DFN”, Darmstadt, 28–30. Nov. 1983.

    Google Scholar 

  7. Drobnik, O., “Software-Technologie für Kommunikationstechnik”, Zeitschrift ‘Informationstechnik’, 28 Jahrgang, Heft 1/86, S. 44..52.

    Google Scholar 

  8. Yemini, Y., Strom, R., Yemini, S., “Protocol Specification, Testing and Verification IV”, North-Holland (1985).

    Google Scholar 

  9. Sajkowski, M., “Protocol Verification Techniques: Status Quo and Perspectives”, in /Yem85/.

    Google Scholar 

  10. Schindler, S., “The Distributed Abstract Machine, A Model for Service Specifications in Distributed Systems”, Computer communications, Vol. 3, No. 5, 208–220, (1980).

    Article  Google Scholar 

  11. 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.

    Google Scholar 

  12. Swoboda, J., “Rechnernetze: Stand und Entwicklung von Rechnernetzen”, VDE Kongreß ’86, 13.-15. Okt. 1986 in Nürnberg.

    Google Scholar 

  13. 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).

    Google Scholar 

  14. 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).

    Google Scholar 

  15. Wirth, N., “Programmieren in MODULA-2”, Springer-Verlag, Wien, New York (1985).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics