论文部分内容阅读
Dynamic architecture of multi-agent systems(MAS)is important for critical systems.As the existing formal specifications of MAS cannot describe its dynamic architecture,a formal approach usingπ-calculus is presented,which is suited for the describing and analyzing of concurrent MAS with dynamic topology,π-calculus describes the belief-desire- intention(BDI)model that represents agent’s mental states and provides many useful facilities to analyze MAS model such as deadlock,behavior equivalence,and model checking.To illustrate the favorable representation capability ofπ-calculus,an example of dynamic multi-agent systems in e-commerce is provided.Finally,by using an existingπ-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified.
Dynamic architecture of multi-agent systems (MAS) is important for critical systems. As the existing formal specifications of MAS can not describe its dynamic architecture, a formal approach using π-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology, π-calculus describes the belief-desire-intention (BDI) model that represents agent’s mental states and provides much useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of π- calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing π-calculus supporting tool, MAS model and some key behavior properties are analyzed and verified.