基于π演算的软件人群体形式化建模

摘要：

在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述. 描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模. 对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案.

关键词：软件人、多智体系统、π演算、形式化建模、分布式人工智能

所属期刊栏目：26

分类号：TP18(自动化基础理论)

资助基金：中国科学院资助项目60375038;科技部专项基金2004BA616A-11

在线出版日期：2006-04-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：130-134