Kurzfassung
Eine Fülle von Methoden zur Protokollspezifikation wurde entwickelt, um unterschiedlichen Anforderungen zu genügen. Die Sprache EDDA, ein Werkzeug zur Spezifikation verteilter Systeme, wird auf Protokolle angewendet. Nach der Darstellung einiger wichtiger Grundkonstruktionen für Protokolle wird die Anwendung von EDDA anhand des Alternating Bit Protocol gezeigt.
Diese Arbeit wurde durch einen Forschungsauftrag des Bundesministeriums für Wissenschaft und Forschung in Österreich unterstützt.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
BOCHMANN G. V.: “Finite Description of Communication Protocols”, Computer Networks, Vol. 2, Oct. 1978, pp. 361–372.
BOCHMANN G. V., SUNSHINE C. A.: “Formal Methods in Communication Protocol Design”, IEEE Transactions on Communications, Vol. COM-28, No. 4, April 1980, pp. 624–631.
DANTHINE A.: “Petri Nets for Protocol Modeling and Verification”, Proc. Computer Networks and Teleprocessing Symposium, Vol. II, Budapest, Oct. 1977, pp. 663–685.
DENNIS J. B.: “First Version of a Data Flow Procedure Language”, Proc. Colloque sur la Programmation, Springer-Verlag N.Y., 1974, pp. 362–376.
IS0/TC97/SC16 “Open Systems Interconnection, Basic Reference Model”, Draft Proposal, ISO/DP 7498, Dec. 1980.
KERNER H., BRUCKNER G.: “Rechnernetzwerke, Systeme, Protokolle und das ISO-Architekturmodell”, Springer-Verlag Wien, 1981.
MERLIN P. M.: “Specification and Validation of Protocols”, IEEE Transactions on Communications, Vol. COM-27, No. 11, Nov. 1979, pp. 1671–1680.
ROSS D. T.: “Structured Analysis (SA): A Language for Communicating Ideas”, IEEE Transactions on Software Engineering, Vol. 3, No. 1, Jan. 1977, pp. 16–34.
SCHINDLER S.: “Distributed Abstract Machine”, Computer Communications, Vol. 3, Oct. 1980, pp. 208–220.
STENNING N. V.: “Definition and Verification of Computer Network Protocols”, National Physical Laboratory Report DNACS 15 /79, Feb. 1979.
SUNSHINE C. A.: “Communication Protocol Modeling” (Artikelsammlung), Artech House, Inc., 1981.
SYMONS E. J. W.: “Introduction to Numerical Petri Nets, a General Graphical Model of Concurrent Processing Systems”, Australian Telecommunication Research, Vol. 14, No. 1, 1980, pp. 28–32.
TRATTNIG W.: “EDDA, eine formal definierte (Datenfluß-)Spezifikationssprache zur Entwicklung verteilter Systeme200, Dissertation, Institut für Digitale Anlagen, Technische” Universität Wien, Okt. 1980.
TRATTNIG W., KERNER H.: “EDDA, a Very-High-Level Programming and Specification Language in the Style of SADT”, TR DA 81/01/01, Institut für Angewandte Informatik und Systemanalyse, Technische Universität Wien, Jan. 1981.
TRATTNIG W.: “EDDA — eine Datenflußsprache zur Spezifikation von Softwaresystemen, TR DA 82/03/02, Institut für Angewandte Informatik und Systemanalyse, Technische Universität Wien, März 1982.
VOGT F., DREGGER E., ECKERT H., LAUSCH B.: “Specification of a Transport and Session Layer Protocol”, PIX/HLP/TAG/ 79 /05, Sept. 1979.
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
Bruckner, G., Motschnig, H. (1983). Spezifikation von Datenkommunikationsprotokollen Mittels der Datenflusssprache EDDA. 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_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-68829-4_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11982-1
Online ISBN: 978-3-642-68829-4
eBook Packages: Springer Book Archive