中国科学院软件研究所,北京,100080
纸质出版:2003
移动端阅览
詹 敏, 左 春. 对等实体执著度语义及其应用[J]. 电子学报, 2003,31(2):287-289.
ZHAN Min, ZUO Chun. A Formal Semantics for Degree of Perseverance of Peers and Its Application[J]. Acta Electronica Sinica, 2003, 31(2): 287-289.
对等实体的互操作语义是由心理态度和行为逻辑以及一阶情态语言描述的
它为互操作的实现提供了一个无歧义的参考点.传统的持续目标在语义上存在一定的缺陷
使互操作的发起者缺乏对互操作的有效控制.为了解决这一问题
本文提出了执著度概念
它是指对等实体对实现互操作的承诺程度.基于执著度的执著目标是对持续目标的有效改进
它实现了对不同承诺程度的互操作的支持.
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.
0
浏览量
758
下载量
0
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621