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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
SHI Zhong-Zhi: Intelligent Agent and its Application. Science Press (2000)
Milner, R.: Communication and Concurrency. Prentice Hall (1989)
Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge (1999)
Milner, R., Parrow, J., and Walker, D.: A calculus of mobile processes, Part I and Part II. Information and Computation, 100(1) (1992)1–77.
Milner, R.: The polyadic π-Calculus: a tutorial, in Logic and Algebra of Specification, ed. F.L. Bauer, W. Brauer and H. Schichtenberg. Springer-Verlag (1993)203–246
Milner, R., Parrow, J. and Walker, D.: Modal logics for mobile processes. Report ECS-LFCS-91-136, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University (1991)
JIANG Yueping et al.: Model and Behavior Determinism Theory for ECA Rules. Journal of Software, 8(3) (1997) 191–196
M. Berndtsson, S. Chakravarthy, and B. Lings: Coordination among Agents Using Reactive Rules. Technical Report HS-IDA-TR-96-011, Department of Computer Science, University of Skovde(1996)
CAO Jian et al.: Research on Adaptive Multi Agent Workflow Management System Based on ECARule. Journal of Computer Research & Development, 38(7) (2001) 193–199.
JAO Wen-Pin, SHI Zhong-Zhi: A Study of Cooperation Process in Multi-Agent Systems. Journal of Computer Research & Development., 37(8) (2000) 904–911.
James Rumbaugh, Ivar Jacobson, Grady Booch: The Unified Modeling Language Reference Manual. Addison_welsly Press (1999)
Yen-Liang Cheng etc.: Workflow Process Definition and Their Application in e-Commerce. Proceedings of International Symposium on Multimedia Software Engineering, Tamkang University, Taipei, Taiwan (2000) 193–200.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wei, Y., Zhang, S., Cao, J. (2002). Coordination among Multi-agents Using Process Calculus and ECA Rule. In: Han, Y., Tai, S., Wikarski, D. (eds) Engineering and Deployment of Cooperative Information Systems. EDCIS 2002. Lecture Notes in Computer Science, vol 2480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45785-2_36
Download citation
DOI: https://doi.org/10.1007/3-540-45785-2_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44222-6
Online ISBN: 978-3-540-45785-5
eBook Packages: Springer Book Archive