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

作     者：马忠贵 叶斌 曾广平 涂序彦 MA Zhong-gui;YE Bin;ZENG Guang-ping;TU Xu-yan

作者机构：北京理工大学信息科学技术学院自动控制系北京100081 北京科技大学信息工程学院北京100083 

基　　金：国家自然科学基金资助项目(60375038) 国家"十五"科技攻关项目(2004BA616A-11) 

出 版 物：《北京理工大学学报》 (Transactions of Beijing Institute of Technology)

年 卷 期：2006年第26卷第2期

页      码：130-134页

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

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

学科分类：0810[工学-土木类] 12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0805[工学-能源动力学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1001-0645.2006.02.009

馆 藏 号：203232297...