Coordination among Multi-agents Using Process Calculus and ECA Rule

摘要

Coordination among multi-agents is one of important issues in distributed problem solving and it is also the key to ensure that many agents cooperate to complete the given task. A multi-agent coordination model is established by means of the idea of "Integrated Product Team" in concurrent engineering, and the π-calculus and process logic is used to the model and ECA rules in a unified formal framework. Based on these models, the coordination process among multi-agents is as following: (1) expressing the given task using UML activity diagram, (2) assign the task according to observable equivalence relation among processes and agent's capabilities, (3) monitoring multi-agent system dynamically and generate ECA rules to realize coordination among multi-agents.