一种软件系统抽象:基于承诺的系统

摘要：

基于agent的系统开发是近年来出现的一种分析设计复杂,分布式软件系统的技术.由于对agent的定义不同,目前存在多种方法,本文分析这些方法存在的不足,并在这些工作的基础上,提出一种新的系统抽象技术;基于承诺的系统开发方法.在这篇文章中,我们介绍基于承诺的系统的概念,论证其正确性与优越性,并初步给出基于承诺系统内部承诺与外部承诺运行的一些机制.

关键词： agent理论 承诺 软件系统 抽象模型

作者: 郑小明

作者单位: 中国科学技术大学计算机科学技术系(安徽合肥)

会议类型: 国内会议

会议名称: 2003”全国软件与应用学术会议

会议地点: 北京

会议语种:中文

页码: 46-51

在线出版日期: 2003-11-01（万方平台首次上网日期，不代表论文的发表时间）