Abstract
The cooperation of different processes may be lost by mistake when a protocol is executed. The protocol cannot be normally operated under this condition. In this paper, the self fault-tolerance of protocols is discussed, and a semantics-based approach for achieving self fault-tolerance of protocols is presented. Some main characteristics of self fault-tolerance of protocols concerning liveness, nontermination and infinity are also presented. Meanwhile, the sufficient and necessary conditions for achieving self fault-tolerance of protocols are given. Finally, a typical protocol that does not satisfy the self fault-tolerance is investigated, and a new redesign version of this existing protocol using the proposed approach is given.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Li Layuan. A formal specification technique for communication protocols. InProc. IEEE INFOCOM, 1989
Leo Caccian, Cmar Rafiq. Validation of protocols with temporal constraints.Comput. Commun., 1996, 10(14): 1188–119.
Li Layuan. Theory and Technology of LAN. Beijing: Defence Industry Press, 1997, pp. 271–312.
Li Layuan. The routing communication protocol for dynamic and large computer networks.Chinese Journal of Computers, 1998, 21(2): 137–144.
Li Layuan. A hybrid formal description method based on FSM, CSP and ADT for communication protocol.Journal of Syst: Eng. & Electro, 1998, 9(3): 29–38.
Steinmetz R. Synchronization properties in multimedia systems.,IEEE J. Selected Ar-s in Commun, 1990, 8(3): 401–410.
Lin H A. An improved method for constructing multiphase communication protocols.,IEEE Trans. Computers, 1993, 42(1): 15–26.
Li Layuan. Technical report on the project supported by NNSF of China. WTU, 1998.
Author information
Authors and Affiliations
Additional information
The work is supported by the National Natural Science Foundation of China and NSF of Hubei Province.
LI Layuan was born in 1946. He received the BE degree in communication engineering from Harbin Institute of Military Engineering in 1970 and the M.E. degree in communication and electrical systems from Huazhong University of Science and Technology in 1982. Since 1982, he has been with the Wuhan Transportation University, China, where he is currently a Professor of computer science and Editor-in-Chief of the Journal of WTU. He is also a Paper Reviewer of IEEE INFOCOM, ICCC and ISRSDC. His research interests include, high-speed computer networks, protocol engineering and image processing. Professor Li has published over one hundred and fifty technical papers and is the author of five books. In 1986 he gained the scientific progress award given by the Ministry of Mechanical Industry and in 1989 he won the scientific achievement award given by the Municipal Provincial Government of Wuhan. In 1992 he also won the outstanding, textbook award given by Ministry of Mechanical and Electrical Industry and the excellent scientific book prize by the Provincial Government of Hubei. In 1999 he gained the scientific progress award of the Ministry of Education and the scientific progress award by the Provincial Government of Hubei. Since 1985, Professor Li has obtained over twenty outstanding paper awards of National, Provincial and Ministry levels.
LI Chunlin was born in 1974. She received the B.E. degree in computer science from Wuhan Transportation University in 1997. She is currently a graduate student of the WTU. Her research interests include, Internet/Intranet, multimedia technologies and Web systems. She received Wu Fu award given by Ministry of Communications in 1997.
Rights and permissions
About this article
Cite this article
Li, L., Li, C. A semantics-based approach for achieving self fault-tolerance of protocols. J. Comput. Sci. & Technol. 15, 176–183 (2000). https://doi.org/10.1007/BF02948802
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02948802