J4 ›› 2014, Vol. 41 ›› Issue (6): 76-82.doi: 10.3969/j.issn.1001-2400.2014.06.013

• Original Articles • Previous Articles     Next Articles

Pi-calculus modeling for the multi-Agent collaborative system

YU Bin;ZHANG Chen;LI Weijing   

  1.  (School of Computer Science and Technology, Xidian Univ., Xi'an  710071, China)
  • Received:2013-12-03 Online:2014-12-20 Published:2015-01-19
  • Contact: YU Bin E-mail:yubin@mail.xidian.edu.cn

Abstract:

With features of autonomy and reactivity, MAS is suitable for large complex distributed systems. For analyzing and simulating the collaborative process of multiple Agents, which is a concurrent job, and for achieving the reasonable system, Pi calculus is used to model MAS. This paper gives three kinds of Agent communication model in the Multi-Agent collaborative system, named broadcast, matchmaker and broker. And then it describes the Pi calculus models of the interactions between the Agents. Choosing the Home Networking System as a Multi-Agent collaboration instance, the author makes use of Pi calculus to modeling and simulation of multiple Agents collaborative communication. Finally, the verification of the semantics of the model is made with the Mobility Workbench, demonstrating that Pi calculus is suitable for MAS modeling.

Key words: multi-Agent collaborative system, Pi calculus, home networking system