A Semantics-Based Approachfor Achieving Self Fault-Tolerance of Protocols  

作　　者：李腊元 李春林 

出　　处：《Journal of Computer Science & Technology》2000年第2期176-183,共8页计算机科学技术学报（英文版）

基　　金：the National Natural Science Foundation of China ; NSF of Hubei Province.

摘　　要：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 semanticsbased 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.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 semanticsbased 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.

关 键 词：protocols self fault-tolerance formal method multimedia  communications protocol engineering S-T protocol SEMANTICS 

分 类 号：TN915.04[电子电信—通信与信息系统]