Zusammenfassung
Zur direkten Herleitung einer Protokollimplementierung aus einer formalen Spezifikation existieren derzeit kaum Verfahren, bei denen man eine für Hochleistungsprotokolle adäquat leistungsstarke und zuden korrekte Implementierung erhält. In diesem Papier wird eine Methode gezeigt, die eine geradlinige Herleitung der Implementierung aus der Spezifikation erlaubt. Auf allen Stufen und Schritten werden als Beschreibungsmittel höhere Petri-Netze verwendet. Eine geeignete parallele Architektur für einen Kommunikations-Controller und eine höhere Implementierungssprache werden etwas näher betrachtet. Da die Dynamik von Petri-Netzen inhärent Nebenläufigkeiten enthält, gewinnt man leicht parallele Implementierungen. Die vorgestellte Entwicklungsmethode wird beispielhaft an Auszügen einer Implementierung des Hochleistungs-Transportprotokolles XTP (eXpress Transfer Protocol) gezeigt.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
BERND BAUMGARTEN. Petri-Netze: Grundlagen und Anwendungen. BI Wissen-schaftsverlag, Mannheim, Wien, Zürich 1990.
H.J. BURKHARDT, P. OCHSENSCHLÄGER. Product Nets: A Formal Description Technique for Cooperating Systems. GMD-Studien 165, Gesellschaft für Mathematik und Datenverarbeitung, Bonn Dezember 1989.
ARNDT BODE (Ed.). Distributed Memory Computing, Nr. 487 in Lecture Notes In Computer Science. Springer-Verlag 1991.
J. BILLINGTON, G.R. WHEELER, M.C. WILBUR-HAM. Protean: A high-level petri net tool for the specification and verification of communication protocols. In IEEE Transactions on Software Engineering, S. 301–316 März 1988. Vol 14, No. 3/88.
G. CHIOLA. GreatSPN 1.5 Software Architecture. In Proceedings of Modelling Techniques and Tools for Computer Performance Emulation, Turin (Italy) 1991.
FRANK CONRADS. Formale Spezifikation und Analyse von XTP mittels Produkt-netzen. Diplomarbeit, RWTH Aachen 1992.
M. DIAZ. Petri net based models in the specification and verification of protocols. In W. BRAUER, W. REISIG, G. ROZENBERG (Ed.), Petri Nets: Applications and other Models of Concurrency, S. 134–170 1987.
CHRISTIAN ENGEL, BERND HEINRICHS. PENCIL/C- A Language for Concurrent Programming of High Speed Communication Protocols on a Petri Net Based Multiprocessor Controller Architecture. Aachener Informatik-Berichte 10/92, RWTH Aachen 1992.
CHRISTIAN ENGEL. Restricted Product Nets. Aachener Informatik-Berichte, RWTH Aachen 1993. (wird demnächst erscheinen).
R. TERRAT G. BERTHELOT. Petri nets theory for the correctness of protocols. In C. SUNSHINE (Ed.), Protocol Specification, Testing and Verification. Elser vier Science Publishers B.V. ( North Holland ) 1982.
RAPHAEL GROCHTMANN. Entwurf eines Compilers zur Parallel-Programmierung von Hochleistungs-Kommunikationsprotokollen. Diplomarbeit, RWTH Aachen 1993.
BERND HEINRICHS. XTP Specification and Parallel Implementation. In Proceedings of International Workshop on Advanced Communications and Applications for High Speed Networks, Munich März 1992.
THOMAS HERMENS. Emulation und Bewertung einer parallelen Controller- Architektur für Hochgeschwindigkeitsprotokolle. Diplomarbeit, RWTH Aachen 1992.
BRIAN W. KERNIGHAN, DENNIS M. RITCHIE. The C Programming Language. Prentice Hall, Zweite Auflage 1988.
M.A. MARSAN, G. BALBO, G. CONTE. A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. In ACM Transactions on Computer Systems, S. 93–122 1984.
PETER OCHSENSCHLÄGER. Die Produktnetzmaschine. Bericht GMD-Studien Nr. 505, Gesellschaft für Mathematik und Datenverarbeitung, Bonn Januar 1991.
PETER OCHSENSCHLÄGER. Analyse von Kommunikationsprotokollen mittels Pro-duktnetzen. In Kommunikation in Verteilten Systemen, München 1993. Springer Verlag.
JAMES L. PETERSON. Petri Net Theory and the Modelling of Systems. Prentice Hall 1981.
WOLFGANG REISIG. Petrinetze — Eine Einführung. Springer-Verlag, Berlin, Heidelberg, New York 1982.
MICHAEL RUPPRECHT. Implementierung und Parallele Verarbeitung von Kommu-nikationssoftware. Dissertation, RWTH-Aachen 1992.
Protocol Engine Incorporated. XTP Protocol Definition Revision 3.6, PEI 92-10. Oktober 1992.
M. ZITTERBART. A parallel architecture for transport systems and gateways. In Proceeding of Kommunikation in verteilten Systemen, Informatik-Fachberichte, Nr. 205 in Informatik-Fachberichte, Stuttgart Februar 1989. ITG/GI-Fachtagung, Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engel, C. (1993). Entwurf, Entwicklung und Implementierung von Hochleistungskommunikationsprotokollen auf einer parallelen Controller-Architektur mittels Petri-Netzen. In: Gerner, N., Hegering, HG., Swoboda, J. (eds) Kommunikation in Verteilten Systemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78091-2_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-78091-2_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56482-9
Online ISBN: 978-3-642-78091-2
eBook Packages: Springer Book Archive