CAJ | 학술논문

MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟 Agent的并发交互过程并设计出合理的 MAS,应用了形式化方法Pi演算进行建模。首先介绍了多 Agent协同系统中 Agent之间的广播、中介和代理3种通信模型,然后给出了Agent之间交互模式的Pi演算建模方法。再以家庭物联网系统作为多 Agent协作实例,应用Pi演算对其建模,模拟多个 Agent 协作过程中的通信。最后,采用移动工作台对模型的语义进行了验证,表明了Pi演算对 MAS建模的适用性。
MAS인자치성、반응성등특성괄용우복잡적분포식계통,위료분석、모의 Agent적병발교호과정병설계출합리적 MAS,응용료형식화방법Pi연산진행건모。수선개소료다 Agent협동계통중 Agent지간적엄파、중개화대리3충통신모형,연후급출료Agent지간교호모식적Pi연산건모방법。재이가정물련망계통작위다 Agent협작실례,응용Pi연산대기건모,모의다개 Agent 협작과정중적통신。최후,채용이동공작태대모형적어의진행료험증,표명료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.