Abstract
The design of a protocol in a distributed computing system requires to successive modellings : the first one concerns the distributed system architecture modelling which must make clear what are the inputs and outputs of the remote communicating entities ; the second one concerns the formal modelling of the communication in the aim of a protocol verification.
The aim of this paper is to analyse the different architecture models which have been used in the different studies on protocols, to show their interest and their deficiency and finally to reach the one which allows to take into account all the environment of a protocol entity (we call, this model, the three level model). Petri nets are the formal tool which is used.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Bibliography
"Reference manual for the ADA programming language", United States Department of Defence, Nov. 1980.
B. Algayres, "Sur la modélisation, la validation et l'implémentation d'un protocole de transport", Thèse de Docteur-Ingénieur, INSA,,no84, Toulouse, Dec. 1982.
B. Berthomieu, "Analyse structurelle des réseaux de Petri" Thèse de Docteur-Ingénieur, UPS, Toulouse, Sept. 1979.
G.V. BOCHMAN, "Finite state description of communication protocols", Computer Networks, vol. 2, Oct. 1978.
J. Bremer, "Modèle formel pour la modélisation et la vérification des protocoles de réseaux d'ordinateurs", Thèse de Doctorat ès-Sciences Appliquées, Liège, 1978.
A. Danthine, J. Bremer, "Modelling and verification of end to end protocols", Computer Networks, vol. 2, Oct. 1978.
A. Danthine, "Protocol representation with finite state models", IEEE Trans. on Comm., vol.COM-28, April 1980.
M. Devy, M. Diaz, "Multi-level specification and validation of the control in communication systems", First Int. Conf. on Distributed Computing Systems, Huntsville, Alabama, Oct. 1979.
M. Diaz, "Modelling and analysis of communication and cooperation protocols using Petri net based models", Computer Networks, vol.6, no6, Dec. 1982.
J. Dufau, M. Diaz, P. Azema, B. Pradin, G. Juanole, "Conception et réalisation d'outils de spécification et de conception", Note Interne LAAS no83.038, June 1983.
ECMA/TC 24/80/67 Final Draft, Transport Protocol, July 1980.
C.A.R. Hoare, "Communicating sequential processes", Comm. ACM, August 1978.
G. Juanole, "Data transfer on a link: specification of a class of retransmission strategies for the error control. Formal modelling by Petri nets", Fifteenth Hawai International Conference on System Sciences, Jan. 1982.
G. Juanole, B. Algayres, "Analysis for the design of a couple service-protocol: application to the transport connection establishment phase", Third Int. Workshop on Protocol Specification, Testing and Verification, Zurich, 1983.
R.M. Keller, "Formal verification of parallel programs", Comm. of the ACM, vol. 19, no7, July 1976.
L. Lamport, "What good is temporal logic ?", IFIP 9th World Compuer Congress, Paris, Sept. 1983.
P.M. Merlin, D.J. Farber, "Recoverability of communication protocols. Implications of a theoretical study", IEEE Trans. on Comm., vol. COM-24, Sept. 1976.
M.K. MOLLOY, "Performance analysis using stochastic Petri nets", IEEE Transactions on Computers, Sept. 1982.
C. Sunshine, Y. Dalal, "Connection management in transport protocols", Computer Networks 2, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Juanole, G., Algayres, B., Dufau, J. (1985). On communication protocol modelling and design. In: Rozenberg, G. (eds) Advances in Petri Nets 1984. Lecture Notes in Computer Science, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15204-0_16
Download citation
DOI: https://doi.org/10.1007/3-540-15204-0_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15204-0
Online ISBN: 978-3-540-39320-7
eBook Packages: Springer Book Archive