The Dynamic Construction of Agent Federated Communication Mechanism and the Ambient Calculus Validation

In multi--agent systems, it is necessary to realize effective communications among agents. To improve the efficiency, agents can be organized into some federated systems, and there is a blackboard in each federated system, where agents do not communicated directly with each other but through their respective blackboards. Aiming at the situation of the network topology being always changed, a dynamic construction model of agent federated communication mechanism is presented in this paper. While the network topology is changed, the model can adjust the agent federated communication mechanism, therefore all agents can implement effective cooperation according to the adjusted communication mechanism so as to adapt to new network topology. At last, this paper made analysis for the model based on ambient calculus, the analysis result proves that the model is correct and feasible.