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

摘要

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