中文摘要：

本文首先介绍了多 Agent 协同系统中 Agent 之间的广播、中介和代理三种通信模型, 然后给出了Agent 之间交互模式的 Pi 演算建模方法. 以家庭物联网系统为多 Agent 协作实例, 应用 Pi 演算对其建模,模拟多个Agent协作过程中的通信. 最后, 采用移动工作台MWB（Mobility Workbench）对模型的语义进行了验证, 表明了Pi演算对MAS系统建模的适用性.

英文摘要：

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.