Zusammenfassung
Die in diesem Papier vorgestellte Modellierung von OSI-Kommunikationsdiensten und -Protokollen basiert auf einer Verfeinerung des OSI-Referenzmodells zu einem Kommunikationsdienstmodell und einem Kommunikationsprotokollmodell. Diese Verfeinerung ist Bestandteil eines systematischen Ansatzes, dessen Ziel es ist, den Entwurf von Kommunikationsnormen und die Realisierung entsprechender normkonformer realer Kommunikationssysteme durch Etablieren einer Konstruktionslehre für verteilte Systeme besser beherrschbar zu machen.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
Brauer, W. (ed.) Net Theory and Applications Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Springer, 1979
Burkhardt, H. J., Krecioch, T. H. Standards for the ISO-Reference Model for Open Systems Interconnection Computer Networks, Vol. 5, Nr. 3, May 1981 North-Holland
Burkhardt, H. J., Schindler, S. Structuring Principles of the Communication Architecture of Open Systems Computer Networks, Vol. 5, Nr. 3, May 1981 North-Holland
Chang, C.-L., Lee, R. Symbolic Logic and Mechanical Theorem Proving Academic Press, 1973
Eckert, H. Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen Dissertation, Universität Bonn, 1983 (Ebenso: Berichte der GMD, Nr. 144, Oldenbourg 1984)
Eckert, H., Prinoth, R. A computation-systems based method for automated proving of protocols against services Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification Zürich, 1983, North-Holland, 1983
Eckert, H., Prinoth, R. Produktnetze — Definition eines PROSIT-Beschreibungsmittels (Vorversion), GMD-intern, 1983
Eckert, H., Prinoth, R. Produktnetze — Definition eines PROSIT-Beschreibungsmittels Arbeitspapiere der GMD, Nr. 92, 1984
Faul-Luers, E.; Prinoth, R. Ableitung von Implementationsvorgaben aus modularisierten Produktnetzen Arbeitspapiere der GMD, Nr. 123, 1984
Information Processing Systems — Open Systems Interconnection — Basic Reference Model, ISO/IS 7498
Linington, P. Fundamentals of the Layer Service Definitions and Protocol Specification Proceedings IEEE, 1983
Prinoth, R. An Algorithm to construct Distributed Systems from State-Maschines Proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing and Verification Idyllwild, 1982, North Holland, 1982
Prinoth, R. Modularisierung von Stellen/Transitionsnetzen Arbeitspapiere der GMD, Nr. 26, 1983
Burkhardt, H. J.; Eckert, H. Transport-Protocol, Class 2, Formal Specification GMD-F2G3, Projekt PROSIT, 1984
Burkhardt, H. J.; Eckert, H.; Prinoth, R. Modelling of OSI-Communication Services and Protocols using Predicate/Transition Nets Proceedings of the IFIP WG 6.1 Fourth International Workshop on Protocol Specification, Testing and Verification Mt. Pocono, USA, 1984 North-Holland, 1984
Starke, P. H. Multiprocessor Systems and their Concurrency Math. Found, of Comp. Sc, Praha, CSSR, 1984 Lecture Notes in Computer Science, Springer, 1984
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burkhardt, H.J., Eckert, H., Prinoth, R. (1985). Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen. In: Heger, D., Krüger, G., Spaniol, O., Zorn, W. (eds) Kommunikation in Verteilten Systemen I. Informatik-Fachberichte, vol 95. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70285-3_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-70285-3_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15197-5
Online ISBN: 978-3-642-70285-3
eBook Packages: Springer Book Archive