Formal Modeling Methodology for Multi-Agent Systems
Xinman Zhang · Jisuanji fangzhen · 2007
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.