|
|||||
|
|
| 基于π网的多Agent系统建模与分析 | |
| 引用本文： | 于振华,蔡远利,徐海平.基于π网的多Agent系统建模与分析[J].系统工程理论与实践,2007,27(7):77-84. |
| 作者姓名： | 于振华 蔡远利 徐海平 |
| 作者单位： | 1. 西安交通大学,电子与信息工程学院,西安,710049;空军工程大学,电讯工程学院,西安,710071 2. 西安交通大学,电子与信息工程学院,西安,710049 3. 马萨诸塞州立大学达特茅斯分校,计算机与信息科学系,北达特茅斯,02747,美国 |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| 摘 要： | 首先集成两种互为补充的形式化方法-面向对象Petri网(Object-Oriented Petri nets,OPN)和π演算,建立了一种通用的形式化建模方法——π网.π网利用OPN形象地描述系统的初始化模型及动态行为,利用π演算刻画系统的动态演化.然后以π网为语义基础,从软件体系结构的角度,建立了一种多Agent系统体系结构模型(Multi-agent Systems Architecture Model,MASAM).在MASAM中,将多Agent系统抽象为计算Agent、连接Agent和配置等三个单元,并描述了多Agent系统的动态演化;研究了系统演化后体系结构一致性的分析方法,从而可以检测系统开发早期存在的错误,确保模型的可靠性和正确性. |
| 关 键 词： | 多Agent系统 软件体系结构 面向对象Petri网 π演算 演化 |
| 文章编号： | 1000-6788(2007)07-0077-08 |
| 修稿时间： | 2006年1月20日 |
Modeling and Analyzing Multi-Agent Systems based on π-net |
|
| YU Zhen-hua,CAI Yuan-li,XU Hai-ping.Modeling and Analyzing Multi-Agent Systems based on π-net[J].Systems Engineering —Theory & Practice,2007,27(7):77-84. | |
| Authors: | YU Zhen-hua CAI Yuan-li XU Hai-ping |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《系统工程理论与实践》浏览原始摘要信息 | |
| 点击此处可从《系统工程理论与实践》下载免费的PDF全文 | |