简要总结了多Agent系统(MAS)形式化建模方法的研究现状;以面向对象Petri网(OPN)和π演算为基础,给出了一种直观的MAS体系结构模型(Multi-Agent Systems Architecture Model,MASAM)。OPN可以形象地描述MAS的初始化结构及动态行为,而π演...简要总结了多Agent系统(MAS)形式化建模方法的研究现状;以面向对象Petri网(OPN)和π演算为基础,给出了一种直观的MAS体系结构模型(Multi-Agent Systems Architecture Model,MASAM)。OPN可以形象地描述MAS的初始化结构及动态行为,而π演算可以刻画MAS的动态演化;另外,可以利用Petri网和π演算的相关分析方法和支持工具分析和验证系统模型,在系统开发早期发现并避免体系结构级的错误。展开更多
文摘简要总结了多Agent系统(MAS)形式化建模方法的研究现状;以面向对象Petri网(OPN)和π演算为基础,给出了一种直观的MAS体系结构模型(Multi-Agent Systems Architecture Model,MASAM)。OPN可以形象地描述MAS的初始化结构及动态行为,而π演算可以刻画MAS的动态演化;另外,可以利用Petri网和π演算的相关分析方法和支持工具分析和验证系统模型,在系统开发早期发现并避免体系结构级的错误。