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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
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)
Bordini, R., Hübner, J., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, Ltd. (2007)
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)
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)
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)
Danforth, S., Tomlinson, C.: Type theories and object-oriented programmimg. ACM Comput. Surv. 20(1), 29–72 (1988)
Dastani, M.: 2apl: a practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)
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)
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)
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)
Hindriks, K.V.: Programming rational agents in goal. In: Multi-Agent Programming, pp. 119–157. Springer US (2009)
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)
Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273–284 (2008)
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)
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)
Meyer, B.: Static typing. In: ACM SIGPLAN OOPS Messenger, vol. 6, pp. 20–29. ACM (1995)
Mitchell, J.: Concepts in Programming Languages. Cambridge University Press (2002)
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)
Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)
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)
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)
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)
Rao, A.S., Georgeff, M.P.: BDI Agents: From Theory to Practice. In: First International Conference on Multi Agent Systems, ICMAS 1995 (1995)
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)
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)
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)
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)
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)
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)
Yoshida, N., Hennessy, M.: Assigning types to processes. Inf. Comput. 174(2), 143–179 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)