对等实体执著度语义及其应用

A Formal Semantics for Degree of Perseverance of Peers and Its Application

对等实体的互操作语义是由心理态度和行为逻辑以及一阶情态语言描述的 ,它为互操作的实现提供了一个无歧义的参考点 .传统的持续目标在语义上存在一定的缺陷 ,使互操作的发起者缺乏对互操作的有效控制 .为了解决这一问题 ,本文提出了执著度概念 ,它是指对等实体对实现互操作的承诺程度 .基于执著度的执著目标是对持续目标的有效改进 。

The semantics for interoperations among peers is expressed in a logic of mental attitudes and action,formalized in a first order modal language,and provides an unambiguous reference point for implementations of interoperations.There exists some defects in the semantics of traditional persistent goal,which make initiator lose their controls of interoperations.In order to solve this problem,this paper brings forward the concept of degree of perseverance,which means the grade of commitment of interoperations.Perseverant goal,based on the concept of degree of perseverance,is an improvement on persistent goal,and realizes supports of different levels of commitment for interoperations.