Formal Multi-Agent Systems Model With Application To Electronic Commerce

Zhenhua Yu,Fenglei Liu,Yuanli Cai

2006-01-01

Abstract:Multi-agent systems (MAS) are widely used to develop software systems in electronic commerce. In order to support reliable, robust and extensible design, a novel formalism pi-net for MAS is presented, in which Object-Oriented Petri nets (OPN) and pi-calculus are adopted as formal theory bases. The OPN are used to visualize initial architecture as well as the behaviors of MAS; while pi-calculus is used to describe MAS evolutions. These two formal methods are effectively integrated in the pi-net. Furthermore, pi-net supports formal analysis of MAS model in a variety of well-established techniques. Finally, to illustrate the effective modeling capability of pi-net, an example of multi-agent systems in electronic commerce is provided. By the use of the existing Petri nets and pi-calculus tools, the MAS model and some of its key behaviors properties are analyzed and verified.