Skip to main content
SpringerLink
Log in
Book cover

Kommunikation in Verteilten Systemen — Anwendungen und Betrieb pp 301–315Cite as

CIL — Eine Sprache zur Implementierung von Kommunikationsdiensten

  • Chapter

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

Kurzfassung

Die Programmiersprache CIL wurde speziell für die Implementierung von Kommunikationsdiensten konzipiert. Sie bildet einen wesentlichen Bestandteil eines Kommunikationsdienst-Entwicklungssystems, das alle Phasen einer Dienstentwicklung mit rechnergestützten Werkzeugen begleitet. Insbesondere soll hiermit die rechnergestützte logische Verifikation effizient ablauffähiger Kommunikationsdienstimplementierungen ermöglicht werden. Verifikation und Spezifikation von Diensten, Protokollen und Dienstimplementierungen werden auf der Basis eines ereignisorientierten Bearbeitungsmodells und eines klassischen Prädikatenkalküls erster Stufe vorgenommen. Modell und Kalkül stellen eine einheitliche, in allen Phasen einer Dienstentwicklung anwendbare Theorie zur Verfügung. Die spezielle Auslegung des Kalküls und die im Sprachentwurf berücksichtigten Prinzipien erschließen dem CIL-Konzept ein breites Anwendungsgebiet bezüglich zu realisierender Dienste und Protokolle und bezüglich der Gestalt zugrundeliegender verteilter DV-Systeme.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturangaben

  1. H. Krumm, O. Drobnik CIL - Eine Sprache zur Implementierung von Kommunikations-diensten für verteilte Datenverarbeitungssysteme Interner Bericht Nr.18/82, Fakultät für Informatik Universität Karlsruhe (1982)

    Google Scholar 

  2. CCITT: Programming Languages for Stored-Programme Control Exchanges CCITT Orange Book, Vol VI.4,ITU,Genf(1977)

    Google Scholar 

  3. K. Colstad A High-Level Language for Easy X25-Updates Data Communications 9(1981)65–77

    Google Scholar 

  4. N. Eisinger, J. Siekmann, E. Unverricht The Markgraf Karl Refutation Procedure Interner Bericht 1979, Institut für Informatik I Universität Karlsruhe (1979)

    Google Scholar 

  5. D.I. Good, R.M. Cohen, J. Keeton-Williams Principles of Proving Concurrent Programs in Gypsy Proc.6.Symp.on Principles of Prog.Lang. San Antonio (1979)42–52

    Google Scholar 

  6. B.T. Hailpern Specifying and Verifying Protocols Represented as Abstract Programs IBM Res.Report RC 8674(37908) Feb.(1981)

    Google Scholar 

  7. P.B. Hansen The Programming Language Concurrent Pascal IEEE Trans. Soft. Eng. SE-1,2(1975)199–207

    Google Scholar 

  8. C.A.R. Hoare An Axiomatic Basis for Computer Programming CACM 12,10(1969)576–556

    Google Scholar 

  9. Data Processing — Open Systems Interconnection — Basic Reference Model IS0/TC97/SC16, Computer Networks 5(1981)81–118

    Google Scholar 

  10. L. Lamport “Sometimes” is Sometimes not “Never” On the Temporal Logic of Programs Proc. 7.Symp.on Principles of Prog.Lang. Las Vegas (1980)174–185

    Google Scholar 

  11. B. Liskov, S. Zilles Specification Techniques for Data Abstractions IEEE Trans. Soft. Eng. SE-1,1(1975)7–19

    Google Scholar 

  12. B. Liskov, A. Snyder, R. Atkinson, C. Schaffert Abstraction Mechanisms in CLU CACM 20,8(1977)564–576

    Google Scholar 

  13. J. Nehmer, W. Racke, D. Rombach, R. Massar Ein System- und Entwurfskonzept für verteilte Betriebssysteme, Interner Bericht Nr.23/80 Fachbereich Informatik, Universität Kaiserslautern (1980)

    Google Scholar 

  14. S. Owicki, D. Gries Verifying Properties of Parallel Programs: An Axiomatic Approach CACM 19,5(1976)279–285

    Google Scholar 

  15. D.L. Parnas A Technique for Software Module Specification with Examples CACM 15,5(1972)330–336

    Google Scholar 

  16. W. Quine Grundzüge der Logik Suhrkamp, Frankfurt (1969)

    Google Scholar 

  17. H. Rudin Validation of a Token-Ring Protocol Proc.Int.Symp.on Local Comp.Networks Florenz, 4(1982)

    Google Scholar 

  18. S. Schindler Distributed Abstract Machine Computer Communications 3,5(1980)208–220

    Google Scholar 

  19. D. Schwabe Formal Techniques for the Specification and Verification of Protocols Dissertation, Comp.Science Dep., Univ.of California Los Angeles (1981)

    Google Scholar 

  20. S. Schindler, U. Flasche, J. Schulze, D. Altenkrüger Das OSA-Projekt: Formales Spezifizieren von Diensten und Protokollen in RSPL Proc. Hardware für Software, Teubner, Stuttgart (1980)29–55

    Google Scholar 

  21. D.P. Sidhu Towards Constructing Verifiable Communication Protocols Proc. INWG/NPL Workshop “Protocol Testing — Towards Proof?”, Nat.Phys.Lab.,Teddington May(1981)75–175

    Google Scholar 

  22. G.D. Schultz, D.B. Rose, C.H. West, J.P. Gray Executable Description and Validation of SNA IEEE Trans. Comm. C0M-28,4(1980)661–676

    Google Scholar 

  23. C.A. Sunshine Formal Modeling of Communiaction Protocols Proc. INWG/NPL Workshop “Protocol Testing–Towards Proof?”, Nat.Phys.Lab.,Teddington May(1981)29–58

    Google Scholar 

  24. F.H. Vogt Entwurf eines ereignisorientierten Modells zur Spezifikation von verteilten Systemen mittels temporaler Logik Hahn-Meitner-Institut, Berlin (1982)

    Google Scholar 

  25. W.A. Wulf, R.L. London, M. Shaw An Introduction to the Construction and Verification of Alphard Programs IEEE Trans.Soft.Eng. SE-2,4(1976)253–264

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik III, Universität Karlsruhe, Kaiserstraße 12, D-7500, Karlsruhe, Germany

    O. Drobnik & H. Krumm

Authors
  1. O. Drobnik
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. Krumm
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. FB Informatik (20) der TU Berlin, Franklinstr. 28/29, Sekr. 6-3, 1000, Berlin 10, Germany

    Sigram Schindler

  2. FB 20 (Informatik) Universität Frankfurt, Senckenberganlage 31, 6000, Frankfurt, Germany

    Otto Spaniol

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Drobnik, O., Krumm, H. (1983). CIL — Eine Sprache zur Implementierung von Kommunikationsdiensten. In: Schindler, S., Spaniol, O. (eds) Kommunikation in Verteilten Systemen — Anwendungen und Betrieb. Informatik-Fachberichte, vol 60. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68829-4_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-68829-4_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11982-1

  • Online ISBN: 978-3-642-68829-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation