Skip to main content
SpringerLink
Log in

Analyse und Optimierung von Protokoll-Spezifikationen

  • Conference paper
Book cover Kommunikation in verteilten Systemen

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

Kurzfassung

Bei der Verwendung erweiterter endlicher Automaten zur Spezifikation verteilter DV-Systeme gibt es mehrere Möglichkeiten, Zustandsinformation auf Zustände und Variable zu verteilen. Dabei besteht die Gefahr, daß die Spezifikation durch eine ungeschickte Wahl unübersichtlich wird, was eine erhöhte Fehlerrate beim Entwurf und bei der Implementierung zur Folge haben kann. Außerdem soll die Spezifikation in einer Form vorliegen, die für die Anwendung weiterer Werkzeuge, wie z. B. zur Verifikation, am besten geeignet ist. In diesem Beitrag werden daher formale Kriterien vorgestellt, um zu Spezifikationen zu gelangen, bei denen das Verhältnis zwischen Zuständen und Variablen konsistent ist.

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.

Literaturverzeichnis

  1. M. A. Arbib, Theories of Abstract Automata, Prentice-Hall, Englewood Cliffs, 1969.

    MATH  Google Scholar 

  2. T. P. Blumer, D. P. Sidhu, Mechanical Verification and Automatic Implementation of Communication Protocols, IEEE Transactions on Software Engineering, Vol. SE-12, No. 8, August 1986, S. 827–843.

    Google Scholar 

  3. G. v. Bochmann, A Hybrid Model and the Representation of Communication Services, in [13], S. 625–644.

    Google Scholar 

  4. T. Bolognesi and E. Brinksma, Introduction to the ISO Specification Language LOTOS, in [8], S. 25–59.

    Google Scholar 

  5. W. Brauer, Automatentheorie, B. G. Teubner Stuttgart, 1984.

    MATH  Google Scholar 

  6. S. Budkowski, P. Dembinski, An Introduction to Estelle: A Specification Language for Distributed Systems, in [8], S. 3–23.

    Google Scholar 

  7. W. Y. L. Chan, S. T. Vuong and M. R. Ito, An Improved Protocol Test Generation Procedure Based On UIOs, ACM SIGCOMM ‘89 Symposium, Sept. 1989.

    Google Scholar 

  8. Special Issue: Protocol Specification and Testing, Computer Networks and ISDN Systems, Vol. 14, No. 1, 1987.

    Google Scholar 

  9. A. A. S. Danthine, Protocol Representation with Finite State Models, in [13], S. 579 –606.

    Google Scholar 

  10. A. Fleischmann, PASS - A Technique for Specifying Communication Protocols, in [18], S. 61–76.

    Google Scholar 

  11. A. Fleischmann, M. Bever, S. Pappe, K. Urbschat, T. Kunz, Development of Communication Software using the PASS Technique, in Computer Communication Technologies for the 90’s, J. Raviv (Hrsg.), Proc. ICCC 88, Elsevier Science Publishers, 1988, S. 26–32.

    Google Scholar 

  12. A. Fleischmann, S. T. Chin, W. Effelsberg, Specification and implementation of an ISO session layer, IBM Systems Journal, Vol. 26, No. 3, 1987.

    Google Scholar 

  13. P. E. Green, Computer Network Architectures and Protocols, Plenum Press New York, 1983.

    Google Scholar 

  14. B. Hofmann, Analyse und Optimierung von PASS-Spezifikationen, Diplomarbeit, Universität Karlsruhe, 1988.

    Google Scholar 

  15. D. Hogrefe, Estelle, LOTOS und SDL, Springer-Verlag Berlin Heidelberg, 1989.

    Book  Google Scholar 

  16. S. S. Lam, A. U. Shankar, Protocol Verification via Projections, IEEE Transactions on Software Engineering, Volume SE-10, No. 4, Juli 1984, S. 325–342.

    Google Scholar 

  17. G. J. Leduc, The Intertwining of Data Types and Processes in LOTOS, in [18], S. 123–136.

    Google Scholar 

  18. H. Rudin. H. West (Hrsg.), Protocol Specification, Testing and Verification, VII, North Holland, Amsterdam, 1987.

    Google Scholar 

  19. A. Salomaa, Theorie of Automata, Pergamon Press Oxford, 1969.

    Google Scholar 

  20. B. Sarikaya, G. v. Bochmann and E. Cerny, A Test Design Methodology for Protocol Testing, IEEE Transactions on Software Engineering, Vol. SE-13, No. 5, Mai 1987, S. 518–531.

    Google Scholar 

  21. D. Sidhu and T. Leung, Experience with test generation for Real Protocols, Stanford, CA., Aug. 1988, S.257–261.

    Google Scholar 

  22. P. Zafiropulo, C. H. West, H. Rudin, D. D. Cowan and D. Brand, Protocol Analysis and Synthesis Using a State Transition Model, in [13], S. 645–669.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl für Praktische Informatik IV, Universität Mannheim, Germany

    Bernd Hofmann

Authors
  1. Bernd Hofmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Lehrstuhl für Praktische Informatik IV, Universität Mannheim, W-6800, Mannheim, Germany

    Wolfgang Effelsberg

  2. Rechenzentrum, Universität Mannheim, W-6800, Mannheim, Germany

    Hans W. Meuer

  3. Institut für Informatik und Gesellschaft, Universität Freiburg, W-7800, Freiburg, Germany

    Günter Müller

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heilderberg

About this paper

Cite this paper

Hofmann, B. (1991). Analyse und Optimierung von Protokoll-Spezifikationen. In: Effelsberg, W., Meuer, H.W., Müller, G. (eds) Kommunikation in verteilten Systemen. Informatik-Fachberichte, vol 267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76462-2_40

Download citation

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

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53721-2

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation