More Web Proxy on the site http://driver.im/

Article

Runtime verification of multi-agent systems interaction quality

Authors:

Najwa Abu Bakar,

Ali SelamatAuthors Info & Claims

ACIIDS'13: Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I

Pages 435 - 444

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

Published: 18 March 2013 Publication History

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.

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)

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

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

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

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

[6]

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

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

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

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

[10]

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

[11]

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

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

[13]

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

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

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

[17]

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

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

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

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

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

[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., Rosu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 106-121. Springer, Heidelberg (2010)

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

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

[26]

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

[27]

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

[28]

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

[29]

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

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

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

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

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

[34]

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

[35]

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

[36]

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

Cited By

Kalache ABadri MMokhati FBabahenini M(2023)A testing framework for JADE agent-based softwareMultiagent and Grid Systems10.3233/MGS-23002319:1(61-98)Online publication date: 8-Jun-2023
https://dl.acm.org/doi/10.3233/MGS-230023
Ferrando AGatti AMascardi VAncona DAudrito G(2023)RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in RasaProceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution10.1145/3605159.3605855(1-8)Online publication date: 18-Jul-2023
https://dl.acm.org/doi/10.1145/3605159.3605855
Bakar NSelamat A(2018)Agent systems verificationApplied Intelligence10.1007/s10489-017-1112-z48:5(1251-1274)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10489-017-1112-z

Runtime verification of multi-agent systems interaction quality
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence

Recommendations

Assessing Agents Interaction Quality via Multi-agent Runtime Verification
ICCCI 2013: Proceedings of the 5th International Conference on Computational Collective Intelligence. Technologies and Applications - Volume 8083

Interaction between agents is the main process executed within multi-agent systems. Agents autonomously and proactively interact with each other to perform tasks. However, there are possibilities that during execution interaction could fail due to ...
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection
Abstract
Multi-Agent Systems (MAS) are notoriously complex and hard to verify. In fact, it is not trivial to model a MAS, and even when a model is built, it is not always possible to verify, in a formal way, that it is actually behaving as we expect. ...
A Plan Based Coalition Formation Model for Multi-agent Systems
WI-IAT '11: Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02

This article addresses the coalition formation problem in a multi-agent context where agents plan their activities dynamically and use these plans to coordinate their actions and form suitable coalitions. In most coalition formation methods, when ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

ACIIDS'13: Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I

March 2013

516 pages

ISBN:9783642365454

Editors:
Ali Selamat
Faculty of Computer Science and Information Systems, Department of Software Engineering, Universiti Teknologi Malaysia, Johar Baharu, Johor, Malaysia
,
Ngoc Thanh Nguyen
Institute of Informatics, Division of Knowledge Managements Systems, Wrocław University of Technology, Str. Wybrzeże Wyspiańskiego 27, Wrocław, Johor, Poland
,
Habibollah Haron
Faculty of Computer Science and Information Systems, Department of Software Engineering, Universiti Teknologi Malaysia, Johar Baharu, Johor, Malaysia

Sponsors

UTM: Universiti Teknologi Malaysia
Wrocław University of Technology
NTTU: Nguyen Tat Thanh University

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 18 March 2013

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kalache ABadri MMokhati FBabahenini M(2023)A testing framework for JADE agent-based softwareMultiagent and Grid Systems10.3233/MGS-23002319:1(61-98)Online publication date: 8-Jun-2023
https://dl.acm.org/doi/10.3233/MGS-230023
Ferrando AGatti AMascardi VAncona DAudrito G(2023)RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in RasaProceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution10.1145/3605159.3605855(1-8)Online publication date: 18-Jul-2023
https://dl.acm.org/doi/10.1145/3605159.3605855
Bakar NSelamat A(2018)Agent systems verificationApplied Intelligence10.1007/s10489-017-1112-z48:5(1251-1274)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10489-017-1112-z

View Options

View options

Media

Figures

Other

Tables

View Table of Contents