Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)
Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and temporal logics for timed component connectors. In: SEFM 2004: Proceedings of the Software Engineering and Formal Methods, Second International Conference, Washington, DC, USA, pp. 198–207. IEEE Computer Society Press, Los Alamitos (2004)
Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program 61(2), 75–113 (2006)
Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244–263 (1986)
Dastani, M.: 2APL: a practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)
Dastani, M., Arbab, F., de Boer, F.: Coordination and composition in multi-agent systems. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 439–446. ACM Press, New York (2005)
Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194–211 (1979)
Guillen-Scholten, J., Arbab, F., de Boer, F., Bonsangue, M.: Mocha-pi, an exogenous coordination calculus based on mobile channels. In: SAC 2005: Proceedings of the 2005 ACM symposium on Applied computing. ACM Press, New York (2006)
Klüppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. Electron. Notes Theor. Comput. Sci. 175(2), 19–37 (2007)
Wojciechowski, P.T., Sewell, P.: Nomadic pict: Language and infrastructure design for mobile agents. IEEE Concurrency 8(2), 42–52 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arbab, F., Aştefănoaei, L., de Boer, F.S., Dastani, M., Meyer, JJ., Tinnermeier, N. (2008). Reo Connectors as Coordination Artifacts in 2APL Systems. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds) Intelligent Agents and Multi-Agent Systems. PRIMA 2008. Lecture Notes in Computer Science(), vol 5357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89674-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-89674-6_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89673-9
Online ISBN: 978-3-540-89674-6
eBook Packages: Computer ScienceComputer Science (R0)