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

【Abstract】 The formal modeling methods for multi-agent systems(MAS)were summarized and some crucial disadvantages of the existing methods were briefly discussed.A visual multi-agent systems architecture model(MASAM)was thus proposed based upon two complementary formalisms,namely Object-oriented Petri net(OPN)and π-calculus.OPN is able to visualize the initial architecture as well as the system behaviors of MAS,while π-calculus is applicable to describing the dynamical evolutions of MAS.Many toolkits for Petri net and π-calculus can be applied to analyze and validate the model.Therefore,the design errors in the early development stages could be efficiently detected and avoided.更多还原