Mehdi Dastani
ABSTRACT
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compositionality for multi-agent systems that enables the composition and coordination of both individual agents as well as multi-agent systems. Accordingly, a multi-agent system consists of a set of individual and/or multi-agent systems whose collective behavior is coordinated by a Reo expression. This coordination language can be used to specify and implement the organization of multi-agent systems and their dynamic reconfiguration during system run.
- F. Arbab. Abstract behavior types: A foundation model for components and their composition. In F. S. de Boer, M. M. Bonsangue, S. Graf, and W.-P. de Roever, editors, Formal Methods for Components and Objects, volume LNCS 2852, Springer-Verlag, pages 33--70, 2003.]]Google Scholar
- F. Arbab. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14(3):329--366, 2004.]] Google ScholarDigital Library
- F. Arbab and J. J. M. M. Rutten. A coinductive calculus of component connectors. In D. Pattinson, M. Wirsing, and R. Hennicker, editors. Recent Trends in Algebraic Development Techniques, Proceedings of 16th International Workshop on Algebraic Development Techniques (WADT 2002), pages 35--56. LNCS 2755, Springer-Verlag, 2003.]]Google Scholar
- F. M. T. Brazier, C. M. Jonker, and J. Treur. Compositional design and reuse of a generic agent model. Applied Artificial Intelligence Journal, 14:491--538, 2000.]]Google ScholarCross Ref
- A. Omicini, S. Ossowski, and A. Ricci. Coordination infrastructures in the engineering of multiagent systems. In Federico Bergenti, Marie-Pierre Gleizes, and Franco Zambonelli, editors, Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, chapter 14, pages 273--296. Kluwer Academic Publishers, 2004.]]Google Scholar
- A. Omicini, A. Ricci, M. Viroli, C. Castelfranchi, and L. Tummolini. Coordination artifacts: Environment-based coordination for intelligent agents. In N. R. Jennings, C. Sierra, L. Sonenberg, and M. Tambe, editors, 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), volume 1, pages 286--293, New York, USA, 2004. ACM.]] Google ScholarDigital Library
- Martin J. Osborne and Ariel Rubenstein. A Course in Game Theory. The MIT Press, Cambridge, Massachusetts, 1994.]]Google Scholar
- A. Ricci, M. Viroli, and A. Omicini. Role-Based Access Control in MAS using Agent Coordination Contexts. In V. Dignum, D. Corkill, C. Jonker, and F. Dignum, editors, 1st International Workshop "Agent Organizations: Theory and Practice" (AOTP'04), pages 15--22. AAAI Press, 2004.]]Google Scholar
- J. J. M. M. Rutten. Elements of stream calculus (an extensive exercise in coinduction). In S. Brookes and M. Mislove, editors, Proc. of 17th Conf. on Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science, volume 45, pages 23--26, 2001.]]Google Scholar
- F. Zambonelli, N. Jennings, and M. Wooldridge. Organizational abstractions in the analysis and design of multi-agent systems. In First International Workshop on Agent-Oriented Software Engineering at ICSE. 2000.]] Google ScholarDigital Library
- Z. Zlatev, N. Diakov, and S. Pokraev. Construction of negotiation protocols for e-commerce applications. ACM SIGecom Exchanges, 5(2):12--22, 2004.]] Google ScholarDigital Library
Index Terms
- Coordination and composition in multi-agent systems
Recommendations
Rational Coordination in Multi-Agent Environments
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm to determine the choice of coordinated action. We endow an agent with a ...
Business transaction coordination in multi-agent financial web services
This paper proposes to extend the capability of Web Services (WS) by assigning it a role of a FIPA-compliant software agent to coordinate business transactions. Most current financial web applications utilise WS with limitation because it does not ...
Tag Mechanisms Evaluated for Coordination in Open Multi-Agent Systems
Engineering Societies in the Agents World VIIIAbstractTags are arbitrary social labels carried by agents. When agents interact preferentially with those sharing the same Tag, groups are formed around similar Tags. This property can be used to achieve desired group coordination by evolving agent’s ...
Comments