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

Formal Model for SoftMan Group Using the π-Calculus

作　　者：马忠贵[1] 叶斌[1] 曾广平[2] 涂序彦[2] 

机构地区：[1]北京理工大学信息科学技术学院自动控制系,北京100081 [2]北京科技大学信息工程学院,北京100083

出　　处：《北京理工大学学报》2006年第2期130-134,共5页Transactions of Beijing Institute of Technology

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

摘　　要：在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述.描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模.对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案.Based on the ideas of decomposition and coordination of large systems cybernetics, a kind of architecture for SoftMan group is put forward on the basis of reference to many multi-agent systems （MAS）. Key technologies such as ontology database, knowledge base, task library, communication protocols, role models and interaction models are discussed. Details from analysis to design are described, and information flow and control flow for the architecture are given by pi-calculus. Four kinds of cooperation modes of task are formally described by pi-calculus. To different application domains, corresponding application systems can be built up quickly by defining corresponding ontology database, roles and task decompositions. It provides a solution to distributed systems.

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]