基于π演算的软件人群体形式化建模 |
| |
引用本文: | 马忠贵,叶斌,曾广平,涂序彦.基于π演算的软件人群体形式化建模[J].北京理工大学学报,2006,26(2):130-134. |
| |
作者姓名: | 马忠贵 叶斌 曾广平 涂序彦 |
| |
作者单位: | 北京理工大学,信息科学技术学院自动控制系,北京,100081;北京理工大学,信息科学技术学院自动控制系,北京,100081;太原理工大学,矿业工程学院,山西,太原,030024;北京科技大学,信息工程学院,北京,100083 |
| |
基金项目: | 中国科学院资助项目
,
科技部专项基金 |
| |
摘 要: | 在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述. 描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模. 对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案.
|
关 键 词: | 软件人 多智体系统 π演算 形式化建模 分布式人工智能 |
文章编号: | 1001-0645(2006)02-0130-05 |
收稿时间: | 06 9 2005 12:00AM |
修稿时间: | 2005年6月9日 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《北京理工大学学报》浏览原始摘要信息 |
| 点击此处可从《北京理工大学学报》下载免费的PDF全文 |
|