Coordination among Multi-agents Using Process Calculus and ECA Rule

Authors:
Yinxing Wei;Shensheng Zhang;Jian Cao
Affiliations:
-;-;-
Venue:
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Year:
2002

Citing 6
Cited 0

A calculus of mobile processes, II

Information and Computation
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Communication and Concurrency

Communication and Concurrency
Workflow Process Definition and Their Applications in e-Commerce

MSE '00 Proceedings of the 2000 International Conference on Microelectronic Systems Education
Modal Logics for Mobile Processes

Modal Logics for Mobile Processes

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.