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

ZHAN Min; ZUO Chun

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-07-16

- A Formal Semantics for Degree of Perseverance of Peers and Its Application
- Acta Electronica Sinica Vol. 31, Issue 2, Pages: 287-289(2003)
- 作者机构：
  
  中国科学院软件研究所,北京,100080
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Published：2003
- 稿件说明：
移动端阅览
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.
DOI：

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. DOI：

摘要

对等实体的互操作语义是由心理态度和行为逻辑以及一阶情态语言描述的

它为互操作的实现提供了一个无歧义的参考点.传统的持续目标在语义上存在一定的缺陷

使互操作的发起者缺乏对互操作的有效控制.为了解决这一问题

本文提出了执著度概念

它是指对等实体对实现互操作的承诺程度.基于执著度的执著目标是对持续目标的有效改进

它实现了对不同承诺程度的互操作的支持.

Abstract

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.

关键词

Keywords

references

Views

758

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Research and Implementation of Enterprise Computing Model Under Distributed and Heterogeneous Environments

Related Author

SUN Yu-fang

Related Institution

No data

⁰