构造MAS的动态体系结构的模型

Modeling Dynamic Architectures for Multi Agent Systems

从软件体系结构这一全新的角度研究了 MAS(Multi- Agent Systems) ,并采用了进程演算π演算作为MAS的形式化手段 .为了建立动态的 MAS体系结构 ,首先提出了一种 MAS模型 ,并用多价π演算进行了形式化的描述 .然后根据 Agent在 MAS中所扮演的角色及地位 ,建立了一种与 CORBA相似的 MAS体系结构 CARBA,并分析了该体系结构的动态性 .

In this paper, multi agent systems are investigated from the point of view of software architectures, and formalized using a process calculus, the π calculus. To build a dynamic architecture for multi agent systems, a multi agent systems model is put forward first and described formally in the polyadic π calculus. Then a kind of architecture for multi agent systems, called CARBA which is similar to CORBA, is built based on the roles played by agents in multi agent systems. Finally, the dynamic characteristics of the architecture are analyzed in the paper.