Modeling and Analyzing Multi-Agent Systems based on π-net
Haiping Xu · Systems Engineering - Theory & Practice · 2007
A general formal method(π-net) is presented,which integrates two complementary formalisms,namely Object-Oriented Petri nets and π-calculus.In π-net,OPN is employed to visually model the system architecture and system behaviors,and π-calculus is employed to describe the system evolution.Based on the πnet,a visual multi-agent systems architecture model(MASAM) is presented from the point of view of software architecture.MASAM divides multi-agent systems(MAS) into computing agents,connecting agents and configuration module,and MAS evolution is described in details;the consistency of MAS architecture is analyzed.Consequently the defects in early design stage can be detected,and the correctness and reliability of MASAM can be ensured.