Skip to main content
SpringerLink
Log in

Formale Beschreibungstechniken für Kommunikationsprotokolle: Probleme ihrer praktischen Anwendung

  • Conference paper
Kommunikation in Verteilten Systemen

Part of the book series: Informatik aktuell ((INFORMAT))

  • 57 Accesses

Zusammenfassung

Formale Beschreibungstechniken für Kommunikationsprotokolle sind ein wichtiges und attraktives Forschungsgebiet im Umfeld der Kommunikationssysteme. In den letzten 10 Jahren sind viele markante Forschungsergebnisse erzielt worden. Die wichtigsten Techniken Estelle, LOTOS und SDL wurden standardisiert. Trotz der unbestrittenen Vorteile formaler Beschreibungstechniken stagniert ihre breite praktische Anwendung. Im vorliegenden Beitrag sollen die Gründe für diese Situation diskutiert und Schlußfolgerungen für eine breite praktische Anwendung gezogen werden. Anhand eines Fallbeispiels — der Formalisierung der deutschen Feldbusnorm PROFIBUS — soll über Erfahrungen bei der Anfertigung formaler Beschreibungen und ihrer Nutzung bei der (semi-) automatischen Implementierung und zum Konformitätstest berichtet werden.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Baretto M.L., Courtiat J.P.; Saqui-Sannes: Experience in Using Estelle for the Specification and Verification of a Fieldbus Protocol: PIP. in Csaba, L. et al. (eds.): Computer Networking. Noth Holland, 1990, pp. 295–304

    Google Scholar 

  2. Bender K.: PROFIBUS. Carl Hanser Verlag, München, 1990

    MATH  Google Scholar 

  3. Bochmann G. v.: Formal methods for describing systems: A discussion of the experience in OSI standardization. Université de Montréal, Départment d’informatique et de recherche opérationelle. Publication #712, Jan. 1990

    Google Scholar 

  4. Bochmann G. v.; Ouimet D.; Neufeld, G.: Implementation supports tools for OSI application layer protocols. Université de Montréal, Départment d’informatique et de recherche opérationelle. Publication # 720, March 1992

    Google Scholar 

  5. Brinksma E.: On the existence of canonical testers. Memorandum Inf-87-5, University of Twente, Jan. 1987

    Google Scholar 

  6. Brinksma E.; Leih G.: Enhancements of LOTOS. Proc. 3. LOTOSPHERE Workshop, Pisa, Sept. 1992

    Google Scholar 

  7. Brückmann Chr.: Implementierung eines Testfolgengenerators fur ESTELLE-Spezifikationen. Diplomarbeit, TU Magdeburg, Fakultät Informatik, 1992

    Google Scholar 

  8. Courtiat J.P.: Estelle*: a powerful dialect of Estelle for OSI protocol description. Proc. IFIP Symposium on Prot. Spec., Verif. and Testing, Atlantic City, 1988

    Google Scholar 

  9. CCITT: Functional Specification and Description Language (SDL). Recommendation Z. 100-Z. 104, Geneva, 1989

    Google Scholar 

  10. PROFIBUS-Norm DIN 19245, Teil 1 und 2, Beuth Verlag, Berlin, 1990

    Google Scholar 

  11. Födisch R., Held Th., König H.: Rechnergestützte Verarbeitung von Protokollspezifikationen — dargestellt an der PROFIBUS-Norm. messen-steuern-regeln (1991) 9, 345–348, enthalten in atp 33 (1991) 9

    Google Scholar 

  12. Födisch R.: Spezifikation der PROFIBUS-FMS-Schicht in Estelle. Forschungsbericht TUMD-IRB/PB-030, TU Magdeburg, Inst, fur Rechnerverbund u. Betriebssysteme, 1992

    Google Scholar 

  13. Foedisch R., Held T., Koenig H.: A Protocol Engineering Environment Based on ESTELLE. Information Network and Data Communication, IV. North Holland, Proceedings of the IFIP TC 6 International Conference INDC ’92, Helsinki, March 1992

    Google Scholar 

  14. Held Th.: Spezifikation der PROFIBUS-FDL-Schicht in Estelle. Forschungsbericht TUMD-IRB/PB-020, TU Magdeburg, Inst, fur Rechnerverbund u. Betriebssysteme, 1992

    Google Scholar 

  15. Henke R.: Spezifikation der MAC-Subschicht des PROFIBUS in Estelle. For schungsbericht TUMD-IRB/PB-010, TU Magdeburg, Institut fur Rechnerverbund und Betriebssysteme, 1992

    Google Scholar 

  16. Henniger O.: Automatisierte Testfolgenableitung fur Konformitätstests. Diplomarbeit, TU Magdeburg, Institut für Automatisierungstechnik, 1991

    Google Scholar 

  17. Henniger O.: Formale Spezifikation des PROFIBUS-LLI. Dokumentation, TU Magdeburg, Institut für Automatisierungstechnik, 1992

    Google Scholar 

  18. Holzmann G.J.: „An Improved Protocol Reachability Analyses Technique“, Software-Practice and Experience, 18 (1988) 2, pp. 137–161

    Article  Google Scholar 

  19. ISO IS 8807: LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1988

    Google Scholar 

  20. ISO, Information Processing Systems — Open Systems Interconnection — Specification of Abstract Syntax Notation One (ASN. l). IS 8824

    Google Scholar 

  21. ISO IS 9074: Estelle — A Formal Description Technique Based on an Extended State Model, 1989, 179 S.

    Google Scholar 

  22. König H.: Kommunikationsprotokolle (224S.). Akademie-Verlag, Berlin, 1990

    MATH  Google Scholar 

  23. König H.: Rechnergestützte Entwicklung von Kommunikationsprotokollen. Online ’91, Hamburg, Congressband III, Löffler, H. (ed.): Kommunikations-Netzwerke und offene Systeme (OSI): Stand und Entwicklungstrends. S. 05.03–05. 17

    Google Scholar 

  24. König H.; Neumann P.: Formale Beschreibung der PROFIBUS-Norm. in Tagungsberichte STAK’92, VDI-Berichte 937, Düsseldorf, 1992, S. 77–91

    Google Scholar 

  25. Kubitschek K.: A LOTOS/ASN. l Based Test Derivation Approach. Diplomarbeit, TU Magdeburg, Fakultät Informatik, 1992

    Google Scholar 

  26. Lindenblatt N: Formale Spezifikation des FMS mit Hilfe der Sprache Estelle. Diplomarbeit, TU Magdeburg, Institut für Automatisierungstechnik, 1992

    Google Scholar 

  27. Loureiro A.A.F., Chanson S.T., Voung S.T.: FDT Tools for Protocol Development. Tutorial Forte ’92, pp. 38–78, Lannion, 1992

    Google Scholar 

  28. Neumann P.; Diedrich Chr.: Profilbildung für offene Kommunikationssysteme, in Tagungsberichte STAK’92, VDI-Berichte 937, Düsseldorf, 1992, S. 65–76

    Google Scholar 

  29. Neumann P.; Diedrich Chr.; Hähniche J.: Rechnergestützte Profilbildung und Implementation von Feldbussen auf formaler Basis. Vortrag iNet’92, Sindelfingen, Juni 1992

    Google Scholar 

  30. User Guide for the NBS Prototype Compiler for Estelle — Final Report. National Institute of Standards and Technologies, Report No. ICST/SNA-87/3, Okt. 87

    Google Scholar 

  31. Sarikaya B.; Bochmann G. v.: Obtaining Normal Form Specifications for Protocols, in Csaba, L.; Taraay, K.; Szentivanyi, T. (eds.): COMPUTER NETWORK USAGE: Recent Experiences. North-Holland, Amsterdam, 1986, pp. 601–612

    Google Scholar 

  32. Schneider J.M.: Protocol Engineering — A Rule-Based Approach. Vieweg, Braunschweig-Wiesbaden, 1992

    Google Scholar 

  33. Ulrich A.; König H.: Beschreibung der Anwendungsdienste im Profibus. messen-steuera-regeln (1991) 9, 338–342, enthalten in atp 33 (1991) 9

    Google Scholar 

  34. Ulrich A.: Spezifikation der PROFIBUS-Schicht 7 in LOTOS. Forschungsbericht TUMD-IRB/PB 040, TU Magdeburg, Institut für Rechnerverbund und Betriebssysteme, 1992

    Google Scholar 

  35. Ulrich A.: Methoden der Testfolgenableitung aus formalen Spezifikationen. Diplomarbeit, TU Magdeburg, Fakultät Informatik, 1992

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Rechnerverbund und Betriebssysteme, TU „Otto von Guericke“ Magdeburg, Postfach 4120, O-3010, Magdeburg, Germany

    Hartmut König

  2. Institut für Automatisierungstechnik, TU „Otto von Guericke“ Magdeburg, Postfach 4120, O-3010, Magdeburg, Germany

    Peter Neumann

Authors
  1. Hartmut König
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Neumann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Siemens-Nixdorf Informationssysteme AG, Otto-Hahn-Ring 6, W-8000, München 83, Germany

    Nina Gerner

  2. Leibniz-Rechenzentrum München, Barerstraße 21, W-8000, München 2, Germany

    Heinz-Gerhard Hegering

  3. Technische Universität München, Arcisstraße 21, W-8000, München 2, Germany

    Joachim Swoboda (Lehrstuhl für Datenverarbeitung) (Lehrstuhl für Datenverarbeitung)

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

König, H., Neumann, P. (1993). Formale Beschreibungstechniken für Kommunikationsprotokolle: Probleme ihrer praktischen Anwendung. In: Gerner, N., Hegering, HG., Swoboda, J. (eds) Kommunikation in Verteilten Systemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78091-2_40

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-78091-2_40

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56482-9

  • Online ISBN: 978-3-642-78091-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation