基于π网的多Agent系统建模与分析

摘要：

首先集成两种互为补充的形式化方法-面向对象Petri网(Object-Oriented Petri nets,OPN)和π演算,建立了一种通用的形式化建模方法--π网.π网利用OPN形象地描述系统的初始化模型及动态行为,利用π演算刻画系统的动态演化.然后以π网为语义基础,从软件体系结构的角度,建立了一种多Agent系统体系结构模型(Multi-agent Systems Architecture Model, MASAM).在MASAM中,将多Agent系统抽象为计算Agent、连接Agent和配置等三个单元,并描述了多Agent系统的动态演化;研究了系统演化后体系结构一致性的分析方法,从而可以检测系统开发早期存在的错误,确保模型的可靠性和正确性.

关键词：多Agent系统、软件体系结构、面向对象Petri网、π演算、演化

所属期刊栏目：27

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

资助基金：国家高技术研究发展计划863计划2003AA721070

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

页数：共8页

页码：77-84