中文摘要：

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

英文摘要：

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 7r-calculus. OPN is able to visualize the initial architecture as well as the system behaviors of MAS, while x-calculus is applicable to describing the dynamical evolutions of MAS, Many toolkits for Petri net and x-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.