Formal Modeling Methodology for Multi-Agent Systems

CAI Yuan-li,YU Zhen-hua,ZHANG Xin-man

DOI: https://doi.org/10.3969/j.issn.1004-731x.2007.14.007

2007-01-01

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.