{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:47:26Z","timestamp":1725551246747},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642365454"},{"type":"electronic","value":"9783642365461"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36546-1_45","type":"book-chapter","created":{"date-parts":[[2013,2,24]],"date-time":"2013-02-24T19:54:25Z","timestamp":1361735665000},"page":"435-444","source":"Crossref","is-referenced-by-count":8,"title":["Runtime Verification of Multi-agent Systems Interaction Quality"],"prefix":"10.1007","author":[{"given":"Najwa Abu","family":"Bakar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Selamat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-642-22191-0_36","volume-title":"Software Engineering and Computer Systems","author":"N.A. Latif","year":"2011","unstructured":"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.\u00a0180, pp. 412\u2013426. Springer, Heidelberg (2011)"},{"key":"45_CR2","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1109\/ICIMT.2009.105","volume-title":"Proceedings of the 2009 International Conference on Information and Multimedia Technology, ICIMT 2009","author":"S. Abdul Bujang","year":"2009","unstructured":"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\u2013365. IEEE Computer Society, Washington, DC (2009)"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"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\u2013100 (2011)","DOI":"10.1109\/MySEC.2011.6140650"},{"key":"45_CR4","unstructured":"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)"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-20674-0_5","volume-title":"Model Checking and Artificial Intelligence","author":"N. Alechina","year":"2011","unstructured":"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.\u00a06572, pp. 69\u201384. Springer, Heidelberg (2011)"},{"key":"45_CR6","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing multi-agent systems with JADE","author":"F.L. Bellifemine","year":"2007","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing multi-agent systems with JADE. John Wiley & Sons, Ltd., West Sussex (2007)"},{"issue":"4","key":"45_CR7","first-page":"357","volume":"4","author":"L.J. Ben Ayed","year":"2009","unstructured":"Ben Ayed, L.J., Siala, F.: Event-B based Verification of Interaction Properties In Multi-Agent Systems. Journal of Software\u00a04(4), 357\u2013364 (2009)","journal-title":"Journal of Software"},{"key":"45_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-36540-0_3","volume-title":"Agent-Oriented Software Engineering III","author":"M. Benerecetti","year":"2003","unstructured":"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.\u00a02585, pp. 32\u201346. Springer, Heidelberg (2003)"},{"key":"45_CR9","unstructured":"Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., et al.: Systems and Software Verification: Model-Checking Techniques and Tools (1999)"},{"key":"45_CR10","unstructured":"Besterfield, D., Besterfield-Michna, C., Besterfield, G., Besterfield-Sacre, M., Urdhwareshe, H., Urdhwareshe, R.: Total Quality Management. Pearson Education (2011)"},{"key":"45_CR11","volume-title":"Multi-Agent Programming: Languages, Tools and Applications","author":"R. Bordini","year":"2009","unstructured":"Bordini, R., Dastani, M., Dix, J., Seghrouchni, A.: Multi-Agent Programming: Languages, Tools and Applications. Springer, NY (2009)"},{"key":"45_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1207","DOI":"10.1007\/11875581_143","volume-title":"Intelligent Data Engineering and Automated Learning \u2013 IDEAL 2006","author":"J.A. Bot\u00eda","year":"2006","unstructured":"Bot\u00eda, J.A., G\u00f3mez-Sanz, J.J., Pav\u00f3n, 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.\u00a04224, pp. 1207\u20131214. Springer, Heidelberg (2006)"},{"key":"45_CR13","volume-title":"Practical Software Testing: A Process-Oriented Approach","author":"I. Burnstein","year":"2003","unstructured":"Burnstein, I.: Practical Software Testing: A Process-Oriented Approach. Springer, NY (2003)"},{"key":"45_CR14","unstructured":"Caire, G., Pieri, F.: JADE. Java Agent Development Framework (2011), \n                    \n                      http:\/\/jade.tilab.com\/doc\/tutorials\/LEAPUserGuide.pdf\n                    \n                    \n                   (retrieved May 18, 2012)"},{"key":"45_CR15","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"45_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-78127-1_14","volume-title":"Pillars of Computer Science","author":"M.I. Dekhtyar","year":"2008","unstructured":"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.\u00a04800, pp. 256\u2013265. Springer, Heidelberg (2008)"},{"issue":"1","key":"45_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10515-011-0088-x","volume":"19","author":"L. Dennis","year":"2012","unstructured":"Dennis, L., Fisher, M., Matthew, W.P., Bordini, R.H.: Model Checking Agent Programming Languages. Automated Software Engineering\u00a019(1), 5\u201363 (2012)","journal-title":"Automated Software Engineering"},{"key":"45_CR18","unstructured":"FIPA.: The Foundation for Intelligent Physical Agents (2012), \n                    \n                      http:\/\/www.fipa.org\/\n                    \n                    \n                   (retrieved May 18, 2012)"},{"key":"45_CR19","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59140-827-7","volume-title":"Advances in Applied Artificial Intelligence","author":"J. Fulcher","year":"2006","unstructured":"Fulcher, J.: Advances in Applied Artificial Intelligence. Idea Group Publishing, London (2006)"},{"key":"45_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-27813-9_41","volume-title":"Computer Aided Verification","author":"P. Gammie","year":"2004","unstructured":"Gammie, P., van der Meyden, R.: MCK: Model Checking the Logic of Knowledge. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 479\u2013483. Springer, Heidelberg (2004)"},{"issue":"1","key":"45_CR21","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1504\/IJAOSE.2007.013264","volume":"1","author":"H. Giese","year":"2007","unstructured":"Giese, H., Klein, F.: Systematic verification of multi-agent systems based on rigorous executable specifications. International Journal of Agent-Oriented Software Engineering\u00a01(1), 28\u201362 (2007)","journal-title":"International Journal of Agent-Oriented Software Engineering"},{"key":"45_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-642-01338-6_15","volume-title":"Agent-Oriented Software Engineering IX","author":"J.J. G\u00f3mez-Sanz","year":"2009","unstructured":"G\u00f3mez-Sanz, J.J., Bot\u00eda, J., Serrano, E., Pav\u00f3n, J.: Testing and Debugging of MAS Interactions with INGENIAS. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol.\u00a05386, pp. 199\u2013212. Springer, Heidelberg (2009)"},{"key":"45_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-16612-9_10","volume-title":"Runtime Verification","author":"S. Hall\u00e9","year":"2010","unstructured":"Hall\u00e9, 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\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 106\u2013121. Springer, Heidelberg (2010)"},{"key":"45_CR24","series-title":"SCI","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-03958-4_22","volume-title":"New Challenges in Computational Collective Intelligence","author":"A. Selamat","year":"2009","unstructured":"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.\u00a0244, pp. 255\u2013268. Springer, Heidelberg (2009)"},{"key":"45_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Computer Aided Verification","author":"A. Lomuscio","year":"2009","unstructured":"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.\u00a05643, pp. 682\u2013688. Springer, Heidelberg (2009)"},{"key":"45_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45921-9","volume-title":"Quality-Driven Query Answering for Integrated Information Systems","author":"F. Naumann","year":"2002","unstructured":"Naumann, F.: Quality-Driven Query Answering. LNCS, vol.\u00a02261. Springer, Heidelberg (2002)"},{"key":"45_CR27","unstructured":"Osman, N.: Runtime Verification of Deontic and Trust Models in Multiagent Interactions. Phd Thesis (2008)"},{"key":"45_CR28","unstructured":"Poutakidis, D.: Debugging Multi-Agent Systems With Design Document. Phd Thesis (2008)"},{"key":"45_CR29","unstructured":"Raimondi, F.: Model checking multi-agent system. Phd Thesis (2006)"},{"key":"45_CR30","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-642-01187-0_22","volume-title":"E-Technologies: Innovation in an Open World","author":"K.E. Sabri","year":"2009","unstructured":"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.\u00a026, pp. 252\u2013266. Springer, Heidelberg (2009)"},{"key":"45_CR31","unstructured":"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\u2013212 (2003)"},{"key":"45_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-11355-0_12","volume-title":"Declarative Agent Languages and Technologies VII","author":"M.P. Singh","year":"2010","unstructured":"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.\u00a05948, pp. 192\u2013207. Springer, Heidelberg (2010)"},{"key":"45_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-29860-8_15","volume-title":"Runtime Verification","author":"S.D. Stoller","year":"2012","unstructured":"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.\u00a07186, pp. 193\u2013207. Springer, Heidelberg (2012)"},{"issue":"2","key":"45_CR34","first-page":"79","volume":"19","author":"K.P. Sycara","year":"1998","unstructured":"Sycara, K.P.: Multiagent Systems. AI Magazine\u00a019(2), 79\u201392 (1998)","journal-title":"AI Magazine"},{"key":"45_CR35","volume-title":"An Introduction to MultiAgent Systems","author":"M. Wooldridge","year":"2009","unstructured":"Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. John Wiley & Sons, United Kingdom (2009)","edition":"2"},{"key":"45_CR36","unstructured":"YAHODA.: Verification Tools Database (2011), \n                    \n                      http:\/\/anna.fi.muni.cz\/yahoda\/\n                    \n                    \n                   (retrieved May 18, 2012)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36546-1_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T07:28:25Z","timestamp":1557559705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36546-1_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642365454","9783642365461"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36546-1_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}