Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Engineering Societies in the Agents World

ESAW 2006: Engineering Societies in the Agents World VII pp 38–61Cite as

Current Issues in Multi-Agent Systems Development

  • Conference paper

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

Abstract

This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: “what are the key current issues in developing multi-agent systems?” and “what should we, as a research community, be paying particular attention to, over the next few years?”. Based on our characterisation of the current state-of-the-art in developing MAS, we identify three key areas for future work: techniques for integrating design and code; extending agent-oriented programming languages to cover certain aspects that are currently weak or missing (e.g., social concepts, and modelling the environment); and development of debugging and verification techniques, with a particular focus on using model checking also in testing and debugging, and applying model checking to design artefacts.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alechina, N., Bordini, R.H., Hübner, J.F., Jago, M., Logan, B.: Automating belief revision for agentspeak. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, pp. 1–16. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  2. Arcos, J.L., Esteva, M., Noriega, P., Rodríguez, J.A., Sierra, C.: Engineering open environments with electronic institutions. Journal on Engineering Applications of Artificial Intelligence 18(2), 191–204 (2005)

    Article  Google Scholar 

  3. Avrunin, G.S., Rothermel, G. (eds.): ISSTA 2004. Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, Boston, Massachusetts, USA, July 11-14, 2004. ACM, New York (2004)

    Google Scholar 

  4. Beck, K.: Extreme Programming Explained: Embrace Change. Addison-Wesley, London, UK (2000)

    Google Scholar 

  5. Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: Jade - a java agent development framework. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, vol. 5, Springer, Heidelberg (2005)

    Google Scholar 

  6. Bergenti, F., Gleizes, M.-P., Zambonelli, F. (eds.): Methodologies and Software Engineering for Agent Systems. Kluwer Academic Publishers, New York (2004)

    MATH  Google Scholar 

  7. Bordini, R., Braubach, L., Dastani, M., Seghrouchni, A., Gomez-Sanz, J., Leite, J., O’Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica 30(1), 33–44 (2006)

    MATH  Google Scholar 

  8. Bordini, R., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-agent Programming: Languages, Platforms, and Applications. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  9. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: State-space reduction techniques in agent verification. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) Adaptive Agents and Multi-Agent Systems II. LNCS (LNAI), vol. 3394, pp. 896–903. Springer, Heidelberg (2005)

    Google Scholar 

  10. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Journal of Autonomous Agents and Multi-Agent Systems 12(2), 239–256 (2006)

    Article  Google Scholar 

  11. Bordini, R.H., Hübner, J.F., et al.: Jason: A Java-based interpreter for an extended version of AgentSpeak, manual, release 0.9 edn. (July 2006), http://jason.sourceforge.net/

  12. Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the Golden Fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, ch. 1, pp. 3–37. Springer, Heidelberg (2005)

    Google Scholar 

  13. Botía, J.A., Hernansaez, J.M., Skarmeta, F.G.: Towards an approach for debugging MAS through the analysis of ACL messages. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 301–312. Springer, Heidelberg (2004)

    Google Scholar 

  14. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems 8, 203–236 (2004)

    Article  Google Scholar 

  15. Cheong, C., Winikoff, M.: Hermes: Designing goal-oriented agent interactions. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Cheyer, A., Martin, D.: The open agent architecture. Journal of Autonomous Agents and Multi-Agent Systems 4(1), 143–148 (2001)

    Article  Google Scholar 

  17. Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)

    Google Scholar 

  18. Cohen, P.R., Levesque, H.J.: Teamwork. Nous 25(4), 487–512 (1991)

    Google Scholar 

  19. Dastani, M., Gomez-Sanz, J.: Programming multi-agent systems. The Knowledge Engineering Review 20(2), 151–164 (2006)

    Article  Google Scholar 

  20. Dastani, M., Hobo, D., Meyer, J.-J.C.: Practical extensions in agent programming languages. In: AAMAS 2007. Proceedings of the sixth International Joint Conference on Autonomous Agents and Multi-agent Systems, ACM Press, New York (2007)

    Google Scholar 

  21. Dastani, M., van Riemsdijk, M., Meyer, J.-J.: Goal types in agent programming. In: ECAI 2006. Proceedings of the 17th European Conference on Artificial Intelligence (2006)

    Google Scholar 

  22. Dastani, M., van Riemsdijk, M.B., Dignum, F., Meyer, J.-J.C.: A programming language for cognitive agents: goal directed 3APL. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004)

    Google Scholar 

  23. Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: On the relation between agent specification and agent programming languages. In: AAMAS 2007. Proceedings of the sixth International Joint Conference on Autonomous Agents and Multi-agent Systems, ACM Press, New York (2007)

    Google Scholar 

  24. DeLoach, S.A.: Analysis and design using MaSE and agentTool. In: MAICS 2001. Proceedings of the 12th Midwest Artificial Intelligence and Cognitive Science Conference (2001)

    Google Scholar 

  25. d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. Technical Note 72, Australian Artificial Intelligence Institute (1997)

    Google Scholar 

  26. Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: a roadmap of current technologies and future trends. Computational Intelligence Journal 2007 (to appear)

    Google Scholar 

  27. Flater, D.: Debugging agent interactions: a case study. In: SAC 2001. Proceedings of the 16th ACM Symposium on Applied Computing, pp. 107–114. ACM Press, New York (2001)

    Chapter  Google Scholar 

  28. Flores, R.A., Kremer, R.C.: A pragmatic approach to build conversation protocols using social commitments. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) AAMAS. Autonomous Agents and Multi-Agent Systems, pp. 1242–1243. ACM Press, New York (2004)

    Google Scholar 

  29. Georgeff, M.P., Lansky, A.L.: Procedural knowledge. Proceedings of the IEEE Special Issue on Knowledge Representation 74, 1383–1398 (1986)

    Google Scholar 

  30. Grossi, D., Dignum, F., Dastani, M., Royakkers, L.: Foundations of organizational structures in multi-agent systems. In: AAMAS 2005. Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems, ACM Press, New York (2005)

    Google Scholar 

  31. Grossi, D., Dignum, F., Dignum, V., Dastani, M., Royakkers, L.: Structural aspects of the evaluation of agent organizations. In: Pre-proceedings of COIN@ECAI 2006 (2006)

    Google Scholar 

  32. Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Publishing, USA (2005)

    Google Scholar 

  33. Hindriks, K.V., Boer, F.S.D., der Hoek, W.V., Meyer, J.-J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)

    Article  Google Scholar 

  34. Hodgson, A., Rönnquist, R., Busetta, P.: Specification of coordinated agent behaviour (the simple team approach). Technical Report 5, Agent Oriented Software, Pty. Ltd. (1999), Available from http://www.agent-software.com

  35. Hübner, J.F., Bordini, R.H., Wooldridge, M.: Programming declarative goals using plan patterns. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, pp. 65–81. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  36. Hübner, J.F., Sichman, J.S., Boissier, O.: Using the \(\mathcal{M}\)oise+ for a cooperative framework of MAS reorganisation. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol. 3171, pp. 506–515. Springer, Heidelberg (2004)

    Google Scholar 

  37. Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert 7(6) (1992)

    Google Scholar 

  38. Kollman, R., Selonen, P., Stroulia, E., Systa, T., Zundorf, A.: A study on the current state of the art in tool-supported UML-based static reverse engineering. In: WCRE 2002. Ninth Working Conference on Reverse Engineering (2002)

    Google Scholar 

  39. Kumar, S., Huber, M.J., Cohen, P.R.: Representing and executing protocols as joint actions. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, Bologna, Italy, July 15-19, 2002, pp. 543–550. ACM Press, New York (2002)

    Chapter  Google Scholar 

  40. Lam, D.N., Barber, K.S.: Debugging agent behavior in an implemented agent system. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol. 3346, pp. 104–125. Springer, Heidelberg (2005)

    Google Scholar 

  41. Morley, D., Myers, K.L.: The spark agent framework. In: Jennings, N., Sierra, C., Sonenberg, L., Tambe, M. (eds.) AAMAS 2004. 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 714–721. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  42. Okuyama, F.Y., Bordini, R.H., da Rocha Costa, A.C.: Spatially distributed normative objects. In: Boella, G., Boissier, O., Matson, E., Vázquez-Salceda, J. (eds.) Proceedings of the Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN), held with ECAI 2006, Riva del Garda, Italy (August 28, 2006)

    Google Scholar 

  43. Omicini, A., Ricci, A., Viroli, M.: Coordination artifacts as first-class abstractions for MAS engineering: State of the research. In: Garcia, A., Choren, R., Lucena, C., Giorgini, P., Holvoet, T., Romanovsky, A. (eds.) Software Engineering for Multi-Agent Systems IV. LNCS, vol. 3914, pp. 71–90. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  44. Padgham, L., Winikoff, M.: Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons, West Sussex, England (2004)

    Google Scholar 

  45. Padgham, L., Winikoff, M., Poutakidis, D.: Adding debugging support to the Prometheus methodology. Engineering Applications of Artificial Intelligence 18(2), 173–190 (2005)

    Article  Google Scholar 

  46. Papasimeon, M., Heinze, C.: Extending the UML for designing JACK agents. In: ASWEC 2001. Proceedings of the Australian Software Engineering Conference (2001)

    Google Scholar 

  47. Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI reasoning engine. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, vol. 6, pp. 149–174. Springer, Heidelberg (2005)

    Google Scholar 

  48. Poslad, S., Buckle, P., Hadingham, R.: The fipa-os agent platform: Open source for open standards. In: Proceedings of the 5th International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents, pp. 355–368 (2000)

    Google Scholar 

  49. Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: The case of interaction protocols. In: AAMAS 2002. Proceedings of the First International Joint Conference on Autonomous Agents and Multi Agent Systems (2002)

    Google Scholar 

  50. Poutakidis, D., Padgham, L., Winikoff, M.: An exploration of bugs and debugging in multi-agent systems. In: Zhong, N., Raś, Z.W., Tsumoto, S., Suzuki, E. (eds.) ISMIS 2003. LNCS (LNAI), vol. 2871, pp. 628–632. Springer, Heidelberg (2003)

    Google Scholar 

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

    Chapter  Google Scholar 

  52. Reeves, J.: What is software design? C++ Journal (1992)

    Google Scholar 

  53. Tambe, M.: Agent architectures for flexible, practical teamwork. In: National Conference on Artificial Intelligence (AAAI-97) (1997)

    Google Scholar 

  54. van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: RE 2001. Proceedings of the 5th IEEE International Symposium on Requirements Engineering, Toronto, pp. 249–263. IEEE Computer Society Press, Los Alamitos (2001)

    Google Scholar 

  55. van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C.: Subgoal semantics in agent programming. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 548–559. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  56. van Riemsdijk, M.B., de Boer, F., Dastani, M., Meyer, J.-J.C.: Prototyping 3APL in the maude term rewriting language. In: Inoue, K., Satoh, K., Toni, F. (eds.) Computational Logic in Multi-Agent Systems. LNCS (LNAI), vol. 4371, Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  57. Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: ASE 2000. Proceedings of the Fifteenth International Conference on Automated Software Engineering, Grenoble, France, 11-15 September, pp. 3–12. IEEE Computer Society Press, Los Alamitos (2000)

    Google Scholar 

  58. Visser, W., Pasareanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. In: Avrunin and Rothermel [3], pp. 97–107.

    Google Scholar 

  59. Weyns, D., Parunak, H.V.D., Michel, F.: Environments for Multi-Agent Systems II. In: E4MAS 2005. LNCS (LNAI), vol. 3830, Springer, Heidelberg (2006)

    Google Scholar 

  60. Winikoff, M.: Implementing commitment-based interactions. In: Autonomous Agents and Multi-Agent Systems (AAMAS) (2007)

    Google Scholar 

  61. Winikoff, M., Padgham, L., Harland, J.: Simplifying the development of intelligent agents. In: Stumptner, M., Corbett, D.R., Brooks, M. (eds.) AI 2001: Advances in Artificial Intelligence. LNCS (LNAI), vol. 2256, pp. 555–568. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  62. Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: KR 2002. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning, Toulouse, France (2002)

    Google Scholar 

  63. Winkelhagen, L., Dastani, M., Broersen, J.: Beliefs in agent implementation. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  64. Wooldridge, M., Jennings, N., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3) (2000)

    Google Scholar 

  65. Yolum, P., Singh, M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In: AAMAS. Proceedings of the 1st Joint Conference on Autonomous Agents and MultiAgent Systems, pp. 527–534 (2002)

    Google Scholar 

  66. Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence (AMAI), Special Issue on Computational Logic in Multi-Agent Systems (2004)

    Google Scholar 

  67. Zambonelli, F., Jennings, N., Wooldridge, M.: Developing multiagent systems: the Gaia methodology. ACM Transactions on Software Engineering and Methodology 12(3), 317–370 (2003)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Durham, U.K.

    Rafael H. Bordini

  2. Utrecht University, The Netherlands

    Mehdi Dastani

  3. RMIT University, Australia

    Michael Winikoff

Authors
  1. Rafael H. Bordini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mehdi Dastani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael Winikoff
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gregory M. P. O’Hare Alessandro Ricci Michael J. O’Grady Oğuz Dikenelli

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bordini, R.H., Dastani, M., Winikoff, M. (2007). Current Issues in Multi-Agent Systems Development. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds) Engineering Societies in the Agents World VII. ESAW 2006. Lecture Notes in Computer Science(), vol 4457. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75524-1_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75524-1_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75522-7

  • Online ISBN: 978-3-540-75524-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation