%0 Journal Article
%T Modeling and Analyzing Multi-Agent Systems based on π-net<br>基于π网的多Agent系统建模与分析
%A YU Zhen-hua
%A CAI Yuan-li
%A XU Hai-ping
%A <br>于振华
%A 蔡远利
%A 徐海平
%J 系统工程理论与实践
%D 2007
%I 
%X 首先集成两种互为补充的形式化方法-面向对象Petri网(Object-Oriented Petri nets,OPN)和π演算,建立了一种通用的形式化建模方法——π网.π网利用OPN形象地描述系统的初始化模型及动态行为,利用π演算刻画系统的动态演化.然后以π网为语义基础,从软件体系结构的角度,建立了一种多Agent系统体系结构模型(Multi-agent Systems Architecture Model,MASAM).在MASAM中,将多Agent系统抽象为计算Agent、连接Agent和配置等三个单元,并描述了多Agent系统的动态演化;研究了系统演化后体系结构一致性的分析方法,从而可以检测系统开发早期存在的错误,确保模型的可靠性和正确性.
%K 多Agent系统
%K 软件体系结构
%K 面向对象Petri网
%K π演算
%K 演化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=962324E222C1AC1D&jid=1D057D9E7CAD6BEE9FA97306E08E48D3&aid=07DFAAF4B24616FB&yid=A732AF04DDA03BB3&vid=DB817633AA4F79B9&iid=DF92D298D3FF1E6E&sid=E44E40A2398D4F2A&eid=656F8C8401D91023&journal_id=1000-6788&journal_name=系统工程理论与实践&referenced_num=0&reference_num=17