节点文献

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

Formal Model for SoftMan Group Using the π-Calculus

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 马忠贵叶斌曾广平涂序彦

【Author】 MA Zhong-gui~1,YE Bin~(1,2),ZENG Guang-ping~3,TU Xu-yan~3(1.Department of Automatic Control,School of Information Science and Technology,Beijing Institute of Technology,Beijing 100081,China;2.School of Mining Engineering,Taiyuan University of Technology,Taiyuan,Shanxi 030024,China;3.School of Information Engineering,Beijing University of Science and Technology,Beijing 100083,China)

【机构】 北京理工大学信息科学技术学院自动控制系北京科技大学信息工程学院北京科技大学信息工程学院 北京100081北京100081太原理工大学矿业工程学院山西太原030024北京100083

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

【Abstract】 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.

【基金】 国家自然科学基金资助项目(60375038);国家“十五”科技攻关项目(2004BA616A-11)
  • 【文献出处】 北京理工大学学报 ,Transactions of Beijing Institute of Technology , 编辑部邮箱 ,2006年02期
  • 【分类号】TP18
  • 【被引频次】4
  • 【下载频次】202
节点文献中: 

本文链接的文献网络图示:

本文的引文网络