A semantics-based approach for achieving self fault-tolerance of protocols |
| |
Authors: | Layuan Li Chunlin Li |
| |
Affiliation: | (1) Department of Computer Science & Technology, Wuhan Transportation University, 430063 Wuhan, P.R. China |
| |
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 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. |
| |
Keywords: | protocols self fault-tolerance formal method multimedia communications protocol engineering S-T protocol semantics |
本文献已被 维普 万方数据 SpringerLink 等数据库收录! |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
|