Skip to main content

Exploiting Simulation for MAS Development and Execution—The JaCaMo-Sim Approach

  • Conference paper
  • First Online:
Engineering Multi-Agent Systems (EMAS 2020)

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

Included in the following conference series:

Abstract

Simulation can be an important conceptual and practical tool to support the engineering of multi-agent systems (MAS), in different ways. In this paper we consider the case in which simulation is applied and exploited directly upon a MAS developed using an existing agent/MAS programming platform. That is: without requiring to model and simulate agents and their environment using a different platform, e.g. an agent-based simulation one. In particular, we describe the design of JaCaMo-sim, an extension of the JaCaMo platform that makes it possible to both run and simulate the execution of MAS programs based on BDI agents written in Jason, situated in artifact-based environments developed in CArtAgO. The tool can be useful for different aspects that concern MAS engineering, from MAS testing/debugging at development time to agent decision making support at runtime.

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

Access this chapter

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 EPUB and 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

Notes

  1. 1.

    “As they are” here means, roughly speaking, considering their actual code and implementation.

  2. 2.

    At the time of writing, JAMES II is the reference version, available at http://jamesii.informatik.uni-rostock.de/jamesii.org/.

  3. 3.

    Available here: https://github.com/jacamo-lang/jacamo-sim.

References

  1. Barber, K.S., et al.: Sensible agents: an implemented multi-agent system and testbed. In: Proceedings of the Fifth International Conference on Autonomous Agents, pp. 92–99. ACM, New York (2001)

    Google Scholar 

  2. Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. Wiley Series in Agent Technology. Wiley, Hoboken (2007)

    Google Scholar 

  3. Boissier, O., Bordini, R., Hübner, J.F., Ricci, A., Santi, A.: Multi-agent oriented programming with JaCaMo. Sci. Comput. Program. 78(6), 747–761 (2013)

    Article  Google Scholar 

  4. Christie, A.: Simulation: an enabling technology in software engineering. CrossTalk J. Def. Softw. Eng. (1999)

    Google Scholar 

  5. Cossentino, M., Fortino, G., Garro, A., Mascillaro, S., Russo, W.: PASSIM: a simulation-based process for the development of multi-agent systems. Int. J. Agent-Oriented Soft. Eng. 2(2), 132–170 (2008)

    Article  Google Scholar 

  6. Davoust, A., et al.: An architecture for integrating BDI agents with a simulation environment. In: EMAS 2019 (2019)

    Google Scholar 

  7. Fishman, G.: Discrete-Event Simulation: Modeling, Programming, and Analysis. Springer, New York (2001). https://doi.org/10.1007/978-1-4757-3552-9

    Book  MATH  Google Scholar 

  8. Fortino, G., Garro, A., Russo, W.: An integrated approach for the development and validation of multi-agent systems. Comput. Syst. Sci. Eng. 20 (2005)

    Google Scholar 

  9. Fujimoto, R.M.: Parallel discrete event simulation. Commun. ACM 33(10), 30–53 (1990)

    Article  Google Scholar 

  10. Gardelli, L., Viroli, M., Omicini, A.: On the role of simulations in engineering self-organising MAS: the case of an intrusion detection system in TuCSoN. In: Brueckner, S.A., Di Marzo Serugendo, G., Hales, D., Zambonelli, F. (eds.) ESOA 2005. LNCS (LNAI), vol. 3910, pp. 153–166. Springer, Heidelberg (2006). https://doi.org/10.1007/11734697_12

    Chapter  Google Scholar 

  11. Hanks, S., Pollack, M.E., Cohen, P.R.: Benchmarks, test beds, controlled experimentation, and the design of agent architectures. AI Mag. 14(4), 17–42 (1993)

    Google Scholar 

  12. Himmelspach, J., Uhrmacher, A.M.: Plug’n simulate. In: 40th Annual Simulation Symposium (ANSS 2007), pp. 137–143 (2007)

    Google Scholar 

  13. Hübner, J.F., Boissier, O., Kitio, R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents: “giving the organisational power back to the agents”. J. Auton. Agents Multi-Agent Syst. 20(3), 369–400 (2010)

    Article  Google Scholar 

  14. Jennings, N.R., Wooldridge, M.: Applications of intelligent agents. In: Jennings, N.R., Wooldridge, M.J. (eds.) Agent Technology: Foundations, Applications, and Markets, pp. 3–28. Springer, Berlin Heidelberg, Berlin, Heidelberg (1998)

    Chapter  MATH  Google Scholar 

  15. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558–565 (1978)

    Article  MATH  Google Scholar 

  16. Larsen, J.B.: Going beyond BDI for agent-based simulation. J. Inf. Telecommun. 3(4), 446–464 (2019). https://doi.org/10.1080/24751839.2019.1620024

  17. Logan, B., Theodoropoulos, G.: The distributed simulation of multiagent systems. Proc. IEEE 89(2), 174–185 (2001)

    Article  Google Scholar 

  18. Miles, S., et al.: Why testing autonomous agents is hard and what can be done about it, January 2010. http://www.pa.icar.cnr.it/cossentino/AOSETF10/docs/miles.pdf. AOSE Technical Forum

  19. Nguyen, C.D., Perini, A., Bernon, C., Pavón, J., Thangarajah, J.: Testing in multi-agent systems. In: Gleizes, M.-P., Gomez-Sanz, J.J. (eds.) AOSE 2009. LNCS, vol. 6038, pp. 180–190. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-19208-1_13

    Chapter  Google Scholar 

  20. Rao, A.S.: 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). https://doi.org/10.1007/BFb0031845

    Chapter  Google Scholar 

  21. Ricci, A., Piunti, M., Viroli, M.: Environment programming in multi-agent systems: an artifact-based perspective. Auton. Agents Multi Agent Syst. 23(2), 158–192 (2011)

    Article  Google Scholar 

  22. Ricci, A., Viroli, M., Piunti, M.: Formalising the environment in MAS programming: a formal model for artifact-based environments. In: Braubach, L., Briot, J.-P., Thangarajah, J. (eds.) ProMAS 2009. LNCS (LNAI), vol. 5919, pp. 133–150. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14843-9_9

    Chapter  Google Scholar 

  23. Röhl, M., Uhrmacher, A.M.: Controlled experimentation with agents — models and implementations. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol. 3451, pp. 292–304. Springer, Heidelberg (2005). https://doi.org/10.1007/11423355_21

    Chapter  Google Scholar 

  24. Sarjoughian, H., Zeigler, B., Hall, S.: A layered modeling and simulation architecture for agent-based system development. Proc. IEEE 89, 201–213 (2001)

    Article  Google Scholar 

  25. Shannon, R., Johannes, J.D.: Systems simulation: the art and science. IEEE Trans. Syst. Man Cybern. SMC-6(10), 723–724 (1976)

    Google Scholar 

  26. Sierhuis, M., Hoof, R.: Brahms: a multi-agent modelling environment for simulating work processes and practices. Int. J. Simul. Process. Model. 3 (2007)

    Google Scholar 

  27. Singh, D., Padgham, L., Logan, B.: Integrating BDI agents with agent-based simulation platforms. Auton. Agents Multi-Agent Syst. 30(6), 1050–1071 (2016)

    Article  Google Scholar 

  28. Uhrmacher, A., Röhl, M., Himmelspach, J.: Unpaced and paced simulation for testing agents. In: Simulation in Industry, 15th European Simulation Symposium, January 2003

    Google Scholar 

  29. Uhrmacher, A.M., Weyns, D.: Multi-Agent Systems: Simulation and Applications, 1st edn. CRC Press, Inc., Boca Raton (2009)

    Google Scholar 

  30. Uhrmacher, A.: Simulation for agent-oriented software engineering. In: Proceedings of the 1st International Conference on Grand Challenges for Modeling and Simulation, San Antonio, Texas, USA, 27–31 January (2002)

    Google Scholar 

  31. Vincent, R., Horling, B., Lesser, V.: An agent infrastructure to build and evaluate multi-agent systems: the Java agent framework and multi-agent system simulator. In: Wagner, T., Rana, O.F. (eds.) AGENTS 2000. LNCS (LNAI), vol. 1887, pp. 102–127. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-47772-1_11

    Chapter  Google Scholar 

  32. Zeigler, B.P., Kim, T.G., Praehofer, H.: Theory of Modeling and Simulation, 2nd edn. Academic Press, Inc., Cambridge (2000)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alessandro Ricci .

Editor information

Editors and Affiliations

A Events and Activities

A Events and Activities

Table 1. Agent EC events and activities concerning the reasoning cycle, and the sense stage in particular (excluding those involving agent communication and agent-environment interaction). The same names are used in the current JaCaMo-sim implementation (in particular, for each event a Java class with the same name is defined).
Table 2. Events and activities involved in agent communication.
Table 3. Events involved in agent-environment interaction.
Table 4. Activities involved in agent-environment interaction.

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ricci, A., Croatti, A., Bordini, R.H., Hübner, J.F., Boissier, O. (2020). Exploiting Simulation for MAS Development and Execution—The JaCaMo-Sim Approach. In: Baroglio, C., Hubner, J.F., Winikoff, M. (eds) Engineering Multi-Agent Systems. EMAS 2020. Lecture Notes in Computer Science(), vol 12589. Springer, Cham. https://doi.org/10.1007/978-3-030-66534-0_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-66534-0_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-66533-3

  • Online ISBN: 978-3-030-66534-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics