Skip to main content
SpringerLink
Log in

Runtime Verification of Multi-agent Systems Interaction Quality

  • Conference paper
Intelligent Information and Database Systems (ACIIDS 2013)

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

Included in the following conference series:

Abstract

Since multi-agent systems are inherently complex, there are possibilities that errors related to multi-agent systems interaction could occur. Currently, many verification approaches have been proposed by focusing on specific properties, using a particular technique and during certain development phase. However, each technique has its limitations. As interaction between agents and multi-agent systems environments evolve during runtime, not all multi-agent systems interaction requirements can be specified and verified during design and development. Thus, some new interaction properties such as agent availability and trustability need to be verified during runtime. In this research, a solution is proposed in which newly defined agents interaction quality requirements are specified, developed into metrics and verified within multi-agent systems runtime verification framework. It is aimed to improve the effectiveness of the verification of agent interactions during runtime. Finally, an experiment is set up to capture message passing between agents and to gather runtime system profiles to evaluate the proposed solution.

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Latif, N.A., Hassan, M.F., Hasan, M.H.: Formal Verification for Interaction Protocol in Agent-Based E-Learning System Using Model Checking Toolkit - MCMAS. In: Zain, J.M., Wan Mohd, W.M.b., El-Qawasmeh, E. (eds.) ICSECS 2011, Part II. CCIS, vol. 180, pp. 412–426. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  2. Abdul Bujang, S., Selamat, A.: Verification of Mobile SMS Application with Model Checking Agent. In: Proceedings of the 2009 International Conference on Information and Multimedia Technology, ICIMT 2009, pp. 361–365. IEEE Computer Society, Washington, DC (2009)

    Chapter  Google Scholar 

  3. Abu Bakar, N., Selamat, A.: Analyzing model checking approach for multi agent system verification. In: 2011 5th Malaysian Conference on Software Engineering, MySEC, pp. 95–100 (2011)

    Google Scholar 

  4. Abu Bakar, N., Selamat, A.: Towards Implementing Dynamic Multi-agent V&V Framework. In: The Third Software Engineering Postgraduates Workshop, SEPoW 2011, JB, Malaysia (2011)

    Google Scholar 

  5. Alechina, N., Logan, B., Nguyen, H.N., Rakib, A.: Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. In: van der Meyden, R., Smaus, J.-G. (eds.) MoChArt 2010. LNCS, vol. 6572, pp. 69–84. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  6. Bellifemine, F.L., Caire, G., Greenwood, D.: Developing multi-agent systems with JADE. John Wiley & Sons, Ltd., West Sussex (2007)

    Book  Google Scholar 

  7. Ben Ayed, L.J., Siala, F.: Event-B based Verification of Interaction Properties In Multi-Agent Systems. Journal of Software 4(4), 357–364 (2009)

    Google Scholar 

  8. Benerecetti, M., Cimatti, A.: Validation of Multiagent Systems by Symbolic Model Checking. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 32–46. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., et al.: Systems and Software Verification: Model-Checking Techniques and Tools (1999)

    Google Scholar 

  10. Besterfield, D., Besterfield-Michna, C., Besterfield, G., Besterfield-Sacre, M., Urdhwareshe, H., Urdhwareshe, R.: Total Quality Management. Pearson Education (2011)

    Google Scholar 

  11. Bordini, R., Dastani, M., Dix, J., Seghrouchni, A.: Multi-Agent Programming: Languages, Tools and Applications. Springer, NY (2009)

    MATH  Google Scholar 

  12. Botía, J.A., Gómez-Sanz, J.J., Pavón, J.: Intelligent Data Analysis for the Verification of Multi-Agent Systems Interactions. In: Corchado, E., Yin, H., Botti, V., Fyfe, C. (eds.) IDEAL 2006. LNCS, vol. 4224, pp. 1207–1214. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  13. Burnstein, I.: Practical Software Testing: A Process-Oriented Approach. Springer, NY (2003)

    MATH  Google Scholar 

  14. Caire, G., Pieri, F.: JADE. Java Agent Development Framework (2011), http://jade.tilab.com/doc/tutorials/LEAPUserGuide.pdf (retrieved May 18, 2012)

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

    Google Scholar 

  16. Dekhtyar, M.I., Dikovsky, A.J., Valiev, M.K.: Temporal Verification of Probabilistic Multi-Agent Systems. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 256–265. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  17. Dennis, L., Fisher, M., Matthew, W.P., Bordini, R.H.: Model Checking Agent Programming Languages. Automated Software Engineering 19(1), 5–63 (2012)

    Article  Google Scholar 

  18. FIPA.: The Foundation for Intelligent Physical Agents (2012), http://www.fipa.org/ (retrieved May 18, 2012)

  19. Fulcher, J.: Advances in Applied Artificial Intelligence. Idea Group Publishing, London (2006)

    Book  Google Scholar 

  20. Gammie, P., van der Meyden, R.: MCK: Model Checking the Logic of Knowledge. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 479–483. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  21. Giese, H., Klein, F.: Systematic verification of multi-agent systems based on rigorous executable specifications. International Journal of Agent-Oriented Software Engineering 1(1), 28–62 (2007)

    Article  Google Scholar 

  22. Gómez-Sanz, J.J., Botía, J., Serrano, E., Pavón, J.: Testing and Debugging of MAS Interactions with INGENIAS. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol. 5386, pp. 199–212. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  23. Hallé, S., Villemaire, R.: Runtime Verification for the Web: A Tutorial Introduction to Interface Contracts in Web Applications. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Roşu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 106–121. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  24. Selamat, A., Lockman, M.T.: Multi-agent Verification of RFID System. In: Nguyen, N.T., Katarzyniak, R.P., Janiak, A. (eds.) New Challenges in Computational Collective Intelligence. SCI, vol. 244, pp. 255–268. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  25. Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 682–688. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  26. Naumann, F.: Quality-Driven Query Answering. LNCS, vol. 2261. Springer, Heidelberg (2002)

    Book  MATH  Google Scholar 

  27. Osman, N.: Runtime Verification of Deontic and Trust Models in Multiagent Interactions. Phd Thesis (2008)

    Google Scholar 

  28. Poutakidis, D.: Debugging Multi-Agent Systems With Design Document. Phd Thesis (2008)

    Google Scholar 

  29. Raimondi, F.: Model checking multi-agent system. Phd Thesis (2006)

    Google Scholar 

  30. Sabri, K.E., Khedri, R., Jaskolka, J.: Verification of Information Flow in Agent-Based Systems. In: Babin, G., Kropf, P., Weiss, M. (eds.) MCETECH 2009. LNBIP, vol. 26, pp. 252–266. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  31. Silva, C., Pinto, R., Castro, J., Tedesco, P.: Requirements for Multi-Agent Systems. In: Workshop em Engenharia de Requisitos, WER, Piracicaba-SP, Brasil, pp. 198–212 (2003)

    Google Scholar 

  32. Singh, M.P., Chopra, A.K.: Correctness Properties for Multiagent Systems. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol. 5948, pp. 192–207. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  33. Stoller, S.D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S.A., Zadok, E.: Runtime Verification with State Estimation. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 193–207. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  34. Sycara, K.P.: Multiagent Systems. AI Magazine 19(2), 79–92 (1998)

    Google Scholar 

  35. Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. John Wiley & Sons, United Kingdom (2009)

    Google Scholar 

  36. YAHODA.: Verification Tools Database (2011), http://anna.fi.muni.cz/yahoda/ (retrieved May 18, 2012)

Download references

Author information

Authors and Affiliations

  1. Faculty of Computer Science and Information System, Universiti Teknologi Malaysia, 81300, Skudai, Johor Darul Takzim, Malaysia

    Najwa Abu Bakar & Ali Selamat

Authors
  1. Najwa Abu Bakar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ali Selamat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Computer Science and Information Systems, Department of Software Engineering, Universiti Teknologi Malaysia, 81310, Johar Baharu, Johor, Malaysia

    Ali Selamat  & Habibollah Haron  & 

  2. Institute of Informatics, Division of Knowledge Managements Systems, Wrocław University of Technology, Str. Wybrzeże Wyspiańskiego 27, 50-370, Wrocław, Poland

    Ngoc Thanh Nguyen

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bakar, N.A., Selamat, A. (2013). Runtime Verification of Multi-agent Systems Interaction Quality. In: Selamat, A., Nguyen, N.T., Haron, H. (eds) Intelligent Information and Database Systems. ACIIDS 2013. Lecture Notes in Computer Science(), vol 7802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36546-1_45

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36546-1_45

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36545-4

  • Online ISBN: 978-3-642-36546-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation