Reo Connectors as Coordination Artifacts in 2APL Systems

  • Farhad Arbab
  • Lăcrămioara Aştefănoaei
  • Frank S. de Boer
  • Mehdi Dastani
  • John-Jules Meyer
  • Nick Tinnermeier
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5357)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program 61(2), 75–113 (2006)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    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)CrossRefMATHGoogle Scholar
  5. 5.
    Dastani, M.: 2APL: a practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)CrossRefGoogle Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194–211 (1979)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Klüppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. Electron. Notes Theor. Comput. Sci. 175(2), 19–37 (2007)CrossRefMATHGoogle Scholar
  10. 10.
    Wojciechowski, P.T., Sewell, P.: Nomadic pict: Language and infrastructure design for mobile agents. IEEE Concurrency 8(2), 42–52 (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Farhad Arbab
    • 1
    • 2
  • Lăcrămioara Aştefănoaei
    • 2
  • Frank S. de Boer
    • 1
    • 2
  • Mehdi Dastani
    • 3
  • John-Jules Meyer
    • 3
  • Nick Tinnermeier
    • 3
  1. 1.Universiteit LeidenThe Netherlands
  2. 2.CWIAmsterdamThe Netherlands
  3. 3.Universiteit UtrechtThe Netherlands

Personalised recommendations