Typing Multi-Agent Systems via Commitments

  • Matteo Baldoni
  • Cristina Baroglio
  • Federico Capuzzimati
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8758)


This work presents an agent typing system, that differently than most of other proposals relies on notions that are typical of agent systems instead of relying on a functional approach. Specifically, we use commitments to define types. The proposed typing includes a notion of compatibility, based on subtyping, which allows for the safe substitution of agents to roles along an interaction that is ruled by a commitment-based protocol. Type checking can be done dynamically when an agent enacts a role. The proposal is implemented in the 2COMM framework and exploits Java annotations. 2COMM is based on the Agent & Artifact meta-model, exploit JADE and CArtAgO, by using CArtAgO artifacts in order to reify commitment protocols.


Commitments Static and dynamic type checking Agents and Artifacts JADE Implementation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ancona, D., Drossopoulou, S., Mascardi, V.: Automatic generation of self-monitoring mass from multiparty global session types in jason. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS (LNAI), vol. 7784, pp. 76–95. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  2. 2.
    Baldoni, M., Baroglio, C., Capuzzimati, F.: 2COMM: A commitment-based MAS architecture. In: Cossentino, M., El Fallah Seghrouchni, A., Winikoff, M. (eds.) EMAS 2013. LNCS (LNAI), vol. 8245, pp. 38–57. Springer, Heidelberg (2013)Google Scholar
  3. 3.
    Baldoni, M., Baroglio, C., Capuzzimati, F.: A Commitment-based Infrastructure for Programming Socio-Technical Systems. ACM Transactions on Internet Technology, Special Issue on Foundations of Social Computing (to appear, 2014)Google Scholar
  4. 4.
    Baldoni, M., Baroglio, C., Capuzzimati, F.: Reasoning about Social Relationships with Jason. In: Chopra, A., Verhagen, H. (eds.) Proc. of the 1st International Workshop on Multiagent Foundations of Social Computing, SC-AAMAS 2014, Held in Conjuction with AAMAS 2014, Paris, France (May 2014)Google Scholar
  5. 5.
    Baldoni, M., Baroglio, C., Chopra, A.K., Desai, N., Patti, V., Singh, M.P.: Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, pp. 843–850. IFAAMAS (2009)Google Scholar
  6. 6.
    Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach. ACM Transactions on Intelligent Systems and Technology, Special Issue on Agent Communication 4(2), 22:1–22:25 (2013)Google Scholar
  7. 7.
    Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: A priori conformance verification for guaranteeing interoperability in open environments. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 339–351. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  8. 8.
    Baldoni, M., Boella, G., van der Torre, L.: Interaction between Objects in powerjava. Journal of Object Technology, Special Issue OOPS Track at SAC 2006 6(2) (2007)Google Scholar
  9. 9.
    Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: JADE - A Java Agent Development Framework. In: Bordini, R.H., Dastani, M., JDix, J., El Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, pp. 125–147. Springer (2005)Google Scholar
  10. 10.
    Bentahar, J., Meyer, J.-J.C., Wan, W.: Model Checking Communicative Agent-based Systems. Knowledge-Based Systems 22(3), 142–159 (2009)CrossRefGoogle Scholar
  11. 11.
    Boissier, O., Bordini, R.H., Hübner, J.F., Ricci, A., Santi, A.: Multi-agent oriented programming with JaCaMo. Science of Computer Programming 78(6), 747–761 (2013)CrossRefGoogle Scholar
  12. 12.
    Bordini, R.H., Hübner, J.F.: BDI agent programming in agentspeak using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143–164. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
    Castelfranchi, C.: Principles of Individual Social Action. In: Holmstrom-Hintikka, G., Tuomela, R. (eds.) Contemporary Action Theory: Social Action. 2, pp. 163–192. Kluwer, Dordrecht (1997)Google Scholar
  14. 14.
    Chopra, A.K., Singh, M.P.: Elements of a business-level architecture for multiagent systems. In: Braubach, L., Briot, J.-P., Thangarajah, J. (eds.) ProMAS 2009. LNCS, vol. 5919, pp. 15–30. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  15. 15.
    Conte, R., Castelfranchi, C., Dignum, F.: Autonomous norm acceptance. In: Müller, J.P., Rao, A.S., Singh, M.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 99–112. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  16. 16.
    Coppo, M., Dezani-Ciancaglini, M., Margaria, I., Zacchi, M.: Toward isomorphism of intersection and union types. In: Graham-Lengrand, S., Paolini, L. (eds.) ITRS. EPTCS, vol. 121, pp. 58–80 (2013)Google Scholar
  17. 17.
    Dastani, M., Grossi, D., Meyer, J.-J.C., Tinnemeier, N.: Normative Multi-agent Programs and Their Logics. In: Meyer, J.-J.C., Broersen, J. (eds.) KRAMAS 2008. LNCS (LNAI), vol. 5605, pp. 16–31. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  18. 18.
    Grigore, C., Collier, R.: Supporting agent systems in the programming language. In: Hübner, J.F., Petit, J.-M., Suzuki, E. (eds.) Web Intelligence/IAT Workshops, pp. 9–12. IEEE Computer Society (2011)Google Scholar
  19. 19.
    Grigore, C., Collier, R.W.: Af-raf: An agent-oriented programming language with algebraic data types. In: Lopes, C.V. (ed.) SPLASH Workshops, pp. 195–200. ACM (2011)Google Scholar
  20. 20.
    Howden, N., Rönnquist, R., Hodgson, A., Lucas, A.: Intelligent agents - summary of an agent infrastructure. In: Proc. of the 5th International Conference on Autonomous Agents (2001)Google Scholar
  21. 21.
    Marengo, E., Baldoni, M., Baroglio, C., Chopra, A.K., Patti, V., Singh, M.P.: Commitments with Regulations: Reasoning about Safety and Control in REGULA. In: Tumer, K., Yolum, P., Sonenberg, L., Stone, P. (eds.) Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011, vol. 2, pp. 467–474. IFAAMAS, Taipei (2011)Google Scholar
  22. 22.
    Nierstrasz, O., Tsichritzis, D. (eds.): Object-Oriented Software Composition, vol. 6, pp. 99–121. Prentice-Hall (1995)Google Scholar
  23. 23.
    Omicini, A., Ricci, A., Viroli, M.: Artifacts in the a&a meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems 17(3), 432–456 (2008)CrossRefGoogle Scholar
  24. 24.
    Ricci, A., Piunti, M., Viroli, M.: Environment programming in multi-agent systems: An artifact-based perspective. Autonomous Agents and Multi-Agent Systems 23(2), 158–192 (2011)CrossRefGoogle Scholar
  25. 25.
    Ricci, A., Santi, A.: From actors to agent-oriented programming abstractions in simpal. In: Leavens, G.T. (ed.) SPLASH, pp. 73–74. ACM (2012)Google Scholar
  26. 26.
    Ricci, A., Santi, A.: Typing Multi-agent Programs in simpAL. In: Dastani, M., Hübner, J.F., Logan, B. (eds.) ProMAS 2012. LNCS (LNAI), vol. 7837, pp. 138–157. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  27. 27.
    Santi, A., Ricci, A.: An eclipse-based ide for agent-oriented programming in simpal. In: Proc. of The Seventh Workshop of the Italian Eclipse Community (2012)Google Scholar
  28. 28.
    Singh, M.P.: An ontology for commitments in multiagent systems. Artif. Intell. Law 7(1), 97–113 (1999)CrossRefGoogle Scholar
  29. 29.
    Šišlák, D., Rehák, M., Pěchouček, M., Rollo, M., Pavlíček, D.: A-globe: Agent development platform with inaccessibility and mobility support. In: Software Agent-Based Applications, Platforms and Development Kits, pp. 21–46. Birkhäuser Basel (2005)Google Scholar
  30. 30.
    Telang, P.R., Singh, M.P.: Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach. In: IEEE Transactions on Services Computing, pp. 1–14 (2011)Google Scholar
  31. 31.
    Wegner, P., Zdonik, S.B.: Inheritance as an Incremental Modification Mechanism or What Like Is and Isnt Like. In: Gjessing, S., Nygaard, K. (eds.) ECOOP 1988. LNCS, vol. 322, pp. 55–77. Springer, Heidelberg (1988)CrossRefGoogle Scholar
  32. 32.
    Weyns, D., Omicini, A., Odell, J.: Environment as a first class abstraction in multiagent systems. Autonomous Agents and Multi-Agent Systems 14(1), 5–30 (2007)CrossRefGoogle Scholar
  33. 33.
    Yolum, p., Singh, M.P.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) Intelligent Agents VIII. LNCS (LNAI), vol. 2333, pp. 235–247. Springer, Heidelberg (2002)Google Scholar
  34. 34.
    Zapf, M., Geihs, K.: What type is it? a type system for mobile agents. In: 15th European Meeting on Cybernetics and Systems Research (EMCSR) (2000)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Matteo Baldoni
    • 1
  • Cristina Baroglio
    • 1
  • Federico Capuzzimati
    • 1
  1. 1.Dipartimento di InformaticaUniversità degli Studi di TorinoTorinoItaly

Personalised recommendations