Reo Connectors as Coordination Artifacts in 2APL Systems

Communication is an important topic in multi-agent systems. Reo is a channel-based exogenous coordination model which can be used not only for the communication, but also for the coordination of individual agents. 2APL is an agent-oriented programming language where at the multi-agent level one can specify for individual agents which external environments they have access to. In this paper, we understand Reo networks as specific environments for 2APL agents and we focus on the integration of Reo networks into the 2APL platform. We show how Reo networks can be used to coordinate the behaviour of individual agents by means of an auction example.

[1]  Christel Baier,et al.  Modeling component connectors in Reo by constraint automata , 2004, Sci. Comput. Program..

[2]  Mehdi Dastani,et al.  2APL: a practical agent programming language , 2008, Autonomous Agents and Multi-Agent Systems.

[3]  Franco Zambonelli,et al.  for Mobile Agents , 2000 .

[4]  Richard E. Ladner,et al.  Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..

[5]  Farhad Arbab,et al.  Coordination and composition in multi-agent systems , 2005, AAMAS '05.

[6]  Christel Baier,et al.  Symbolic Model Checking for Channel-based Component Connectors , 2007, FOCLASA.

[7]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[8]  Farhad Arbab,et al.  MoCha-pi, an exogenous coordination calculus based on mobile channels , 2005, SAC '05.

[9]  Peter Sewell,et al.  Nomadic Pict: language and infrastructure design for mobile agents , 2000, IEEE Concurr..

[10]  Christel Baier,et al.  Models and temporal logics for timed component connectors , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..