From Formal Modelling to Agent Simulation Execution and Testing

Ilias Sakellariou, Dimitris Dranidis, Marina Ntika, Petros Kefalas

2015

Abstract

This work presents an approach to agent-based simulation development using formal modelling, i.e. stream X-Machines, that combines the power of executable specifications and test case generation. In that respect, a domain specific language is presented for effortlessly encoding agent behaviour as a stream X-Machine in a well known simulation platform. The main benefits in using the specific formal approach in such a practical setting, apart from the fact that it offers a clear, intuitive way for specifying agent behaviour, is the existence of tools for test case generation, that allow to systematically generate “agent simulation test scenarios”, i.e. sequences of agent inputs that can be used for validation.

References

  1. Allan, R. J. (2010). Survey of agent based modelling and simulation tools. Technical Report DL-TR-2010-007, DL Technical Reports.
  2. Bryson, J. J. (2003). The behavior-oriented design of modular agent intelligence. In Agent technologies, infrastructures, tools, and applications for e-services, pages 61-76. Springer.
  3. Caire, G., Cossentino, M., Negri, A., Poggi, A., and Turci, P. (2004). Multi-agent systems implementation and testing. In In Fourth International Symposium: From Agent Theory to Agent Implementation. Citeseer.
  4. Challenger, M., Demirkol, S., Getir, S., Mernik, M., Kardas, G., and Kosar, T. (2014). On the use of a domainspecific modeling language in the development of multiagent systems. Engineering Applications of Artificial Intelligence, 28:111-141.
  5. Chow, T. S. (1978). Testing software design modelled by finite state machines. IEEE Transactions on Software Engineering, 4:178-187.
  6. Coelho, R., Cirilo, E., Kulesza, U., von Staa, A., Rashid, A., and Lucena, C. (2007). Jat: A test automation framework for multi-agent systems. In ICSM 2007. IEEE International Conference on Software Maintenance, 2007., pages 425-434. IEEE.
  7. Coelho, R., Kulesza, U., von Staa, A., and Lucena, C. (2006). Unit testing in multi-agent systems using mock agents and aspects. In Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, pages 83-90. ACM.
  8. Cossentino, M. and Potts, C. (2002). A case tool supported methodology for the design of multi-agent systems. In International Conference on Software Engineering Research and Practice (SERP'02).
  9. Davidsson, P., Holmgren, J., Kyhlbck, H., Mengistu, D., and Persson, M. (2007). Applications of agent based simulation. In Antunes, L. and Takadama, K., editors, Multi-Agent-Based Simulation VII, volume 4442 of Lecture Notes in Computer Science, pages 15-27. Springer Berlin / Heidelberg.
  10. Dikenelli, O., Erdur, R. C., and Gumus, O. (2005). Seagent: a platform for developing semantic web based multi agent systems. In Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems, pages 1271-1272. ACM.
  11. Dranidis, D., Bratanis, K., and Ipate, F. (2012). JSXM: A tool for automated test generation. In Software Engineering and Formal Methods, pages 352-366. Springer.
  12. Hahn, C. (2008). A domain specific modeling language for multiagent systems. In Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems-Volume 1, pages 233-240. International Foundation for Autonomous Agents and Multiagent Systems.
  13. Holcombe, M. and Ipate, F. (1998). Correct Systems: Building a Business Process Solution. Springer, London.
  14. Ipate, F. and Holcombe, M. (1997). An integration testing method that is proven to find all faults. International Journal of Computer Mathematics, 63:159-178.
  15. Kefalas, P., Stamatopoulou, I., Sakellariou, I., and Eleftherakis, G. (2009). Transforming Communicating X-machines into P Systems. Natural Computing, 8(4):817-832.
  16. Klügl, F. (2008). A validation methodology for agent-based simulations. In Proceedings of the 2008 ACM symposium on Applied computing, pages 39-43. ACM.
  17. Kubera, Y., Mathieu, P., and Picault, S. (2011). Ioda: an interaction-oriented approach for multi-agent based simulations. Autonomous Agents and Multi-Agent Systems, 23(3):303-343.
  18. Nikolai, C. and Madey, G. (2009). Tools of the trade: A survey of various agent based modeling platforms. Journal of Artificial Societies and Social Simulation, 12(2):2.
  19. Ono, M., Igarashi, T., Ohno, E., and Sasaki, M. (1995). Unusual thermal defence by a honeybee against mass attack by hornets. Nature, 377(6547):334-336.
  20. Padgham, L. and Winikoff, M. (2005). Developing intelligent agent systems: A practical guide, volume 13. John Wiley & Sons.
  21. Sakellariou, I., Kefalas, P., and Stamatopoulou, I. (2014). Evacuation simulation through formal emotional agent based modelling. In ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence, Volume 2, pages 193-200. SciTePress.
  22. Seo, H.-S., Araragi, T., and Kwon, Y. R. (2004). Modeling and testing agent systems based on statecharts. In Applying Formal Methods: Testing, Performance, and M/E-Commerce, pages 308-321. Springer.
  23. Tiryaki, A. M., Oztuna, S., Dikenelli, O., and Erdur, R. C. (2007). Sunit: A unit testing framework for test driven development of multi-agent systems. In AgentOriented Software Engineering VII, pages 156-173. Springer.
  24. Wilensky, U. (1999). NetLogo. Center for Connected Learning and Computer-Based Modeling, Northwestern Univ., Evanston, IL. http://ccl.northwestern.edu/netlogo/.
  25. Xiang, X., Kennedy, R., Madey, G., and Cabaniss, S. (2005). Verification and validation of agent-based scientific simulation models. In Agent-Directed Simulation Conference, pages 47-55.
  26. Zhang, Z., Thangarajah, J., and Padgham, L. (2007). Automated unit testing for agent systems. ENASE, 7:10- 18.
  27. Zhang, Z., Thangarajah, J., and Padgham, L. (2008). Automated unit testing intelligent agents in pdt. In Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers, pages 1673-1674. International Foundation for Autonomous Agents and Multiagent Systems.
  28. Zheng, M. and Alagar, V. (2005). Conformance testing of BDI properties in agent-based software. In APSEC 7805:12th Asia-Pacific Software Engineering Conference, 2005, pages 457-464.
Download


Paper Citation


in Harvard Style

Sakellariou I., Dranidis D., Ntika M. and Kefalas P. (2015). From Formal Modelling to Agent Simulation Execution and Testing . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-073-4, pages 87-98. DOI: 10.5220/0005222200870098


in Bibtex Style

@conference{icaart15,
author={Ilias Sakellariou and Dimitris Dranidis and Marina Ntika and Petros Kefalas},
title={From Formal Modelling to Agent Simulation Execution and Testing},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2015},
pages={87-98},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005222200870098},
isbn={978-989-758-073-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - From Formal Modelling to Agent Simulation Execution and Testing
SN - 978-989-758-073-4
AU - Sakellariou I.
AU - Dranidis D.
AU - Ntika M.
AU - Kefalas P.
PY - 2015
SP - 87
EP - 98
DO - 10.5220/0005222200870098