Skip to main content
SpringerLink
Log in

Zielorientierter Entwurf korrekter Kommunikationssoftware

  • Conference paper
Kommunikation in verteilten Systemen

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

Kurzfassung

Ausgehend von einer formalen Spezifikations- und Transformationstechnik, die es erlaubt, mittels schrittweiser Verfeinerung aus abstrakten Protokollspezifikationen korrekte, implementierungsnahe Programmspezifikationen zu erstellen, wurde ein Entwurfswerkzeug entwickelt, das den Transformationsvorgang steuert und den Programmierer aktiv dabei unterstützt, sein Implementierungsziel zu erreichen.

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. F. L. Bauer, H. Wössner; “Algorithmische Sprache und Programmentwicklung”, Springer, Heidelberg, 1984.

    Google Scholar 

  2. G. v. Bochmann, G. Geber.; “Semiautomatic implementaion of communication protocols”, IEEE Transactions on Software Engineering, 13, 9 (1987), S. 989–1000.

    Article  Google Scholar 

  3. CCITT SG X; “Rec. Z. 100: Specification and Description Language SDL”, Blue Book, 1988.

    Google Scholar 

  4. L. Cimineral, C. Demartini.; “A Practical Study of Semi-Automatic OSI Protocol Implementation”, Software: Practice and Experience, 18, 3 (1988), S. 255–277.

    Article  Google Scholar 

  5. David D.Clark; “The Structuring of Systems Using Upcalls”, Proc. of 10th ACM SIGOPS Symposium on Operating Systems Principles, Orcas Island, Washington, Dezember 1985, S. 171–180.

    Chapter  Google Scholar 

  6. R. Dupont; “Ein Werkzeug zur automatischen Implementierung von ESTELLE-Spezifikationen auf VAX/VMS”, Diplomarbeit, Universität Karlsruhe, 1986.

    Google Scholar 

  7. J. Freudenmann; “Development of Communication Software by Stepwise Refinement”, in Protocol Specification, Testing and Verification VII, North Holland, Amsterdam, 1987, S. 391–404.

    Google Scholar 

  8. J. Freudenmann; “Transformation von Protokollspezifikationen in Kommunikationssoftware”, Dissertation, Universität Karlsruhe, 1990.

    Google Scholar 

  9. B. Herrn; “Entwicklung eines Programmentwurfswerkzeugs für Kommunikationssoftware auf der Basis der Programmtransformation”, Diplomarbeit, Universität Karlsruhe, 1987.

    Google Scholar 

  10. ISO; “LOTOS: Language for the temporal ordering specification”, International Standard ISO/IS 8807, 1987.

    Google Scholar 

  11. ISO; “Protocol for Providing the Connectionless-mode Network Service”, Draft International Standard ISO/DIS 8473, 1985.

    Google Scholar 

  12. ISO; “Estelle: A formal description technique based on an extended state transition model”, International Standard ISO/IS 9074, 1987.

    Google Scholar 

  13. E. Krämer; “Automatische Generierung von CIL-Programmodulen aus detaillierten CSM-Protokollspezifikationen”, Diplomarbeit, Universität Karlsruhe, 1986.

    Google Scholar 

  14. H. Krumm, P. Beyer; “Architektur von Kommunikationssoftware”, internes Arbeitspapier, 1989.

    Google Scholar 

  15. H. Krumm, O. Drobnik; “CIL - Eine Sprache zur Implementierung von Kommunikationsdiensten”, in Kommunikation in Verteilten Systemen ‘83, S. Schindler, O. Spaniol (Hrsg), Informatik- Fachberichte 60, Springer-Verlag, Berlin, 1983.

    Google Scholar 

  16. V. Lasker, M. Lien, E. Benhamou; “An Architecture for High Performance Protocol Implementations”, Proc. IEEE INFOCOM 84, San Francisco, Calif., April 1984, S. 156–164.

    Google Scholar 

  17. H. Lang; “Entwurf eines 3c-Protokolls nach dem CSM-Verfahren - Vergleich mit herkömmlichem Entwurf’, Diplomarbeit, Universität Karlsruhe, 1990.

    Google Scholar 

  18. B. Meister, P. Janson, L. Svobodova; “Connection-Oriented Versus Connectionless Protocols: A Performance Study”, IEEE Transactions on Computers, 34, 12 (1985), S. 1164–1173.

    Google Scholar 

  19. D. P. Sidhu, T. P. Blumer; “Semi-automatic Implementation of OSI Protocols”, Computer Networks and ISDN Systems, 18,(1989/90), S. 221–238.

    Article  Google Scholar 

  20. F. Smith, C. West; “Technologies for Network Architecture and Implementation”, IBM J. Res. Develop., 27, 1 (1983), S. 68–78.

    Google Scholar 

  21. L. Svobodova; “Communication Support for Distributed Processing: Design and Implementation Issues”, Symposium Networking in Open Systems, Oberlech Österreich, August 1986, Müller, Blanc.

    Google Scholar 

  22. K. Takahashi, N. Shiratori, S. Noguchi; “An Intelligent Support System for Protocol and Communication Software Development”, IEEE Journal on Selected Areas in Communications, 6, 5 (1988), S. 842–849.

    Article  Google Scholar 

  23. R.W. Watson, S. Mamrak; “Special or General Purpose End-to-End Transport Mechanisms in Distributed Systems: One View”, Proc. 4th International Conference on Distributed Computer Systems, San Francisco, Calif., Mai 1984, S. 154–165.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Telematik, Universität Karlsruhe, Zirkel 2, 7500, Karlsruhe 1, Germany

    Peter Beyer

Authors
  1. Peter Beyer
    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

Beyer, P. (1991). Zielorientierter Entwurf korrekter Kommunikationssoftware. 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_36

Download citation

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

  • 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