Skip to main content
SpringerLink
Log in

Typing Multi-Agent Systems via Commitments

  • Conference paper
Engineering Multi-Agent Systems (EMAS 2014)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8758))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Chapter  Google Scholar 

  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. 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. 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. 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. 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. 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)

    Chapter  Google Scholar 

  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. 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. Bentahar, J., Meyer, J.-J.C., Wan, W.: Model Checking Communicative Agent-based Systems. Knowledge-Based Systems 22(3), 142–159 (2009)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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. 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. 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. Nierstrasz, O., Tsichritzis, D. (eds.): Object-Oriented Software Composition, vol. 6, pp. 99–121. Prentice-Hall (1995)

    Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. Singh, M.P.: An ontology for commitments in multiagent systems. Artif. Intell. Law 7(1), 97–113 (1999)

    Article  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Torino, c.so Svizzera 185, I-10149, Torino, Italy

    Matteo Baldoni, Cristina Baroglio & Federico Capuzzimati

Authors
  1. Matteo Baldoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cristina Baroglio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Federico Capuzzimati
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information and Computing Sciences, Utrecht University, Princetonplein 5, De Uithof, 3584 CC, Utrecht, The Netherlands

    Fabiano Dalpiaz

  2. Department of Informatics, Clausthal University of Technology, Julius-Albert-Str. 4, 38678,, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  3. Department of Intelligent Systems, Faculty of Electrical Engineering, Delft University of Technology, Mekelweg 4, 2628 CD, Delft, The Netherlands

    M. Birna van Riemsdijk

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Baldoni, M., Baroglio, C., Capuzzimati, F. (2014). Typing Multi-Agent Systems via Commitments. In: Dalpiaz, F., Dix, J., van Riemsdijk, M.B. (eds) Engineering Multi-Agent Systems. EMAS 2014. Lecture Notes in Computer Science(), vol 8758. Springer, Cham. https://doi.org/10.1007/978-3-319-14484-9_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-14484-9_20

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-14483-2

  • Online ISBN: 978-3-319-14484-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation