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 to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literaturangaben
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)
CCITT: Programming Languages for Stored-Programme Control Exchanges CCITT Orange Book, Vol VI.4,ITU,Genf(1977)
K. Colstad A High-Level Language for Easy X25-Updates Data Communications 9(1981)65–77
N. Eisinger, J. Siekmann, E. Unverricht The Markgraf Karl Refutation Procedure Interner Bericht 1979, Institut für Informatik I Universität Karlsruhe (1979)
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
B.T. Hailpern Specifying and Verifying Protocols Represented as Abstract Programs IBM Res.Report RC 8674(37908) Feb.(1981)
P.B. Hansen The Programming Language Concurrent Pascal IEEE Trans. Soft. Eng. SE-1,2(1975)199–207
C.A.R. Hoare An Axiomatic Basis for Computer Programming CACM 12,10(1969)576–556
Data Processing — Open Systems Interconnection — Basic Reference Model IS0/TC97/SC16, Computer Networks 5(1981)81–118
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
B. Liskov, S. Zilles Specification Techniques for Data Abstractions IEEE Trans. Soft. Eng. SE-1,1(1975)7–19
B. Liskov, A. Snyder, R. Atkinson, C. Schaffert Abstraction Mechanisms in CLU CACM 20,8(1977)564–576
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)
S. Owicki, D. Gries Verifying Properties of Parallel Programs: An Axiomatic Approach CACM 19,5(1976)279–285
D.L. Parnas A Technique for Software Module Specification with Examples CACM 15,5(1972)330–336
W. Quine Grundzüge der Logik Suhrkamp, Frankfurt (1969)
H. Rudin Validation of a Token-Ring Protocol Proc.Int.Symp.on Local Comp.Networks Florenz, 4(1982)
S. Schindler Distributed Abstract Machine Computer Communications 3,5(1980)208–220
D. Schwabe Formal Techniques for the Specification and Verification of Protocols Dissertation, Comp.Science Dep., Univ.of California Los Angeles (1981)
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
D.P. Sidhu Towards Constructing Verifiable Communication Protocols Proc. INWG/NPL Workshop “Protocol Testing — Towards Proof?”, Nat.Phys.Lab.,Teddington May(1981)75–175
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
C.A. Sunshine Formal Modeling of Communiaction Protocols Proc. INWG/NPL Workshop “Protocol Testing–Towards Proof?”, Nat.Phys.Lab.,Teddington May(1981)29–58
F.H. Vogt Entwurf eines ereignisorientierten Modells zur Spezifikation von verteilten Systemen mittels temporaler Logik Hahn-Meitner-Institut, Berlin (1982)
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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