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. Categories and Subject Descriptors I.2.11 [Distributed Artificial Intelligence]: Muliagent systems, Coherence and coordination General Terms Theory, Languages Keywords Coordination, Composition, Multi-Agent Systems
Mehdi Dastani, Farhad Arbab, Frank S. de Boer