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

来源 :Journal of Computer Science and Technology | 被引量 : 0次 | 上传用户:aaronfly08
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
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 can not 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 main protocols of presented. Some main characteristics of self fault-tolerance of Nonsonization-tolerance of protocols of liveness, nontermination and infinity are also presented. no satisfy the self fault-tolerance is investigated, and a new redesign version of this existing protocol using the proposed approach is given.
其他文献
杭州地铁1号线七堡车辆基地是一个上盖综合体工程。此基地接触网项目由于上盖高度不统一、轨道坡度不等等情况,所有横跨、腕臂安装都采用底座固定的方式,所以,锚栓安装是此次
In this paper,the existence of periodic solutions for a time dependent agestructured population model is studied.The averaged net reproductive number is introdu
ERP系统在企业的应用,实现了信息的“一次采集,高度共享,多层应用”,大大提高了数据采集速度,为经营决策赢得了时间.但随着系统长期运行,ERP系统性能及系统数据质量往往会呈
公路工程的施工质量往往会受到多种因素的影响,包括施工所在地的气温、降水、地质状况.书文环境等外界因素,以及工程设计、施工工艺和人员技术水平等内在因素、使得公路工程
Incubation of dinoflagellate Crythecodinium cohnii chromosomes in cytoplasmic extracts of unfertilized Xenopus laevis eggs resulted in chromosomes decondensatio
Erwinia(E) gum is composed of glucose, fucose, galactose and glucuronic acid. The weightaverage molecular weights M w, numberaverage molecular weights M n and
Combinatorial peptide libraries have become powerful tools to screen functional ligands by the principle of affinity selection. We screened in a phage peptide l
The horminone (C20H28O4, Mr= 332.85) was first isolated from the leaves of Rabdosia Serra (Maxim) Hara and its crystal structure was determined by X-ray diffrac
工业自动化是现代先进工业科学的核心技术,是工业现代化的物质基石。本文从工业电气自动化的应用入手,阐述了工业电气自动化控制系统的设计原则,工业电气工业自动化的应用技
对吊装常用的板孔式吊耳设计与校核进行了归纳和总结,针对不同区域的船体分段提出标准吊耳形式,并延伸出任意分段的吊耳设计准则.