Skip to main content
SpringerLink
Log in

Typing Multi-agent Programs in simpAL

  • Conference paper
Programming Multi-Agent Systems (ProMAS 2012)

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

Included in the following conference series:

Abstract

Typing is a fundamental mechanism adopted in mainstream programming languages, important in particular when developing programs of a certain complexity to catch errors at compile time, before executing a program, and to improve the overall design of a system. In this paper we introduce typing also in agent-oriented programming, by using a novel agent programming language called simpAL, which has been conceived from scratch to have this feature.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
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. Bellifemine, F., Caire, G., Poggi, A., Rimassa, G.: Jade: A software framework for developing multi-agent applications. Lessons learned. Information & Software Technology 50(1-2), 10–21 (2008)

    Article  Google Scholar 

  2. Bordini, R., Hübner, J., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, Ltd. (2007)

    Google Scholar 

  3. Collier, R.: Debugging agents in agent factory. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2006. LNCS (LNAI), vol. 4411, pp. 229–248. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  4. Cook, W.R., Hill, W., Canning, P.S.: Inheritance is not subtyping. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1990, pp. 125–135. ACM, New York (1990)

    Chapter  Google Scholar 

  5. Damiani, F., Giannini, P., Ricci, A., Viroli, M.: A calculus of agents and artifacts. In: Cordeiro, J., Ranchordas, A., Shishkov, B. (eds.) ICSOFT 2009. CCIS, vol. 50, pp. 124–136. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  6. Danforth, S., Tomlinson, C.: Type theories and object-oriented programmimg. ACM Comput. Surv. 20(1), 29–72 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  7. Dastani, M.: 2apl: a practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)

    Article  Google Scholar 

  8. Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session types for object-oriented languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 328–352. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

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

  10. Grigore, C.V., Collier, R.W.: Af-raf: an agent-oriented programming language with algebraic data types. In: Proceedings of the Compilation of the Co-located Workshops on DSM 2011, TMC 2011, AGERE! 2011, AOOPES 2011, NEAT 2011, & VMIL 2011, SPLASH 2011 Workshops, pp. 195–200. ACM, New York (2011)

    Google Scholar 

  11. Hindriks, K.V.: Programming rational agents in goal. In: Multi-Agent Programming, pp. 119–157. Springer US (2009)

    Google Scholar 

  12. Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122–138. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  13. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273–284 (2008)

    Google Scholar 

  14. Howden, N., Rönnquist, R., Hodgson, A., Lucas, A.: JACK intelligent agentsTM — summary of an agent infrastructure. In: Proc. of 2nd Int. Workshop on Infrastructure for Agents, MAS, and Scalable MAS (2001)

    Google Scholar 

  15. Kobayashi, N.: Type systems for concurrent programs. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol. 2757, pp. 439–453. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  16. Meyer, B.: Static typing. In: ACM SIGPLAN OOPS Messenger, vol. 6, pp. 20–29. ACM (1995)

    Google Scholar 

  17. Mitchell, J.: Concepts in Programming Languages. Cambridge University Press (2002)

    Google Scholar 

  18. 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) (December 2008)

    Google Scholar 

  19. Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)

    Google Scholar 

  20. Pokahr, A., Braubach, L., Jander, K.: Unifying agent and component concepts: Jadex active components. In: Dix, J., Witteveen, C. (eds.) MATES 2010. LNCS, vol. 6251, pp. 100–112. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  21. Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI reasoning engine. In: Bordini, R., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Multi-Agent Programming. Kluwer (2005)

    Google Scholar 

  22. Rao, A.: AgentSpeak (L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  23. Rao, A.S., Georgeff, M.P.: BDI Agents: From Theory to Practice. In: First International Conference on Multi Agent Systems, ICMAS 1995 (1995)

    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, 158–192 (2011)

    Article  Google Scholar 

  25. Ricci, A., Santi, A.: Agent-oriented computing: Agents as a paradigm for computer programming and software development. In: Proc. of the 3rd Int. Conf. on Future Computational Technologies and Applications, Future Computing 2011, Rome, Italy. IARIA (2011)

    Google Scholar 

  26. Ricci, A., Santi, A.: Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project. In: Proc. of AGERE! 2011, SPLASH 2011 Workshops, pp. 159–170. ACM, New York (2011)

    Google Scholar 

  27. Ricci, A., Santi, A.: From actors to agent-oriented programming abstractions in simpal. In: Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH 2012, pp. 73–74. ACM, New York (2012)

    Chapter  Google Scholar 

  28. Ross, R., Collier, R., O’Hare, G.M.P.: AF-APL – bridging principles and practice in agent oriented languages. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol. 3346, pp. 66–88. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  29. Wegner, P., Zdonik, S.B.: Inheritance as an incremental modification mechanism or what like is and isn’t like. In: Gjessing, S., Chepoi, V. (eds.) ECOOP 1988. LNCS, vol. 322, pp. 55–77. Springer, Heidelberg (1988)

    Chapter  Google Scholar 

  30. Yoshida, N., Hennessy, M.: Assigning types to processes. Inf. Comput. 174(2), 143–179 (2002)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DISI, University of Bologna, via Venezia 52, 47023, Cesena, Italy

    Alessandro Ricci & Andrea Santi

Authors
  1. Alessandro Ricci
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrea Santi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Intelligent Systems Group, Utrecht University, 3508, Utrecht, TB, The Netherlands

    Mehdi Dastani

  2. Department of Automation and Systems Engineering, Federal University of Santa Catarina, P.O.Box 476, 88040-900, Florianópolis, SC, Brazil

    Jomi F. Hübner

  3. School of Computer Science, University of Nottingham, NG8 1BB, Nottingham, UK

    Brian Logan

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ricci, A., Santi, A. (2013). Typing Multi-agent Programs in simpAL. In: Dastani, M., Hübner, J.F., Logan, B. (eds) Programming Multi-Agent Systems. ProMAS 2012. Lecture Notes in Computer Science(), vol 7837. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38700-5_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38700-5_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38699-2

  • Online ISBN: 978-3-642-38700-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation