{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T12:12:48Z","timestamp":1768565568355,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540339960","type":"print"},{"value":"9783540339977","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11750734_15","type":"book-chapter","created":{"date-parts":[[2006,4,11]],"date-time":"2006-04-11T11:09:15Z","timestamp":1144753755000},"page":"265-283","source":"Crossref","is-referenced-by-count":13,"title":["Verification of Protocol Conformance and Agent Interoperability"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Patti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","first-page":"72","volume-title":"ACM SAC 2004","author":"M. Alberti","year":"2004","unstructured":"Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: ACM SAC 2004, pp. 72\u201378. ACM, New York (2004)"},{"key":"15_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10876-5","volume-title":"Web Services","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-45208-9_19","volume-title":"Theoretical Computer Science","author":"M. Baldoni","year":"2003","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about self and others: Communicating agents in a modal action logic. In: Blundo, C., Laneve, C. (eds.) ICTCS 2003. LNCS, vol.\u00a02841, pp. 228\u2013241. Springer, Heidelberg (2003)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction protocols for customizing web service selection and composition. In: Journal of Logic and Algebraic Programming, Special issue on Web Services and Formal Methods (2006) (to appear)","DOI":"10.1016\/j.jlap.2006.05.005"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/11533092_12","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying protocol conformance for logic-based communicating agents. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol.\u00a03487, pp. 192\u2013212. Springer, Heidelberg (2005)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11549970_19","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: a first step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 257\u2013271. Springer, Heidelberg (2005)"},{"issue":"2-4","key":"15_CR7","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/B:AMAI.0000031196.24935.b5","volume":"41","author":"M. Baldoni","year":"2004","unstructured":"Baldoni, M., Giordano, L., Martelli, A., Patti, V.: Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation\u00a041(2-4), 207\u2013257 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation"},{"key":"15_CR8","first-page":"17","volume-title":"Proceedings International Conference on Multi Agent Systems (ICMAS 1995)","author":"M. Barbuceanu","year":"1995","unstructured":"Barbuceanu, M., Fox, M.: Cool: A language for describing coordination in multiagent systems. In: Proceedings International Conference on Multi Agent Systems (ICMAS 1995), pp. 17\u201324. MIT Press, Massachusetts (1995)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/11533092_11","volume-title":"Computational Logic in Multi-Agent Systems","author":"J. Bentahar","year":"2005","unstructured":"Bentahar, J., Moulin, B., Meyer, J.J., Chaib-Draa, B.: A computational model for conversation policies for agent communication. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol.\u00a03487, pp. 178\u2013195. Springer, Heidelberg (2005)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Bordini, R., Fisher, M., Pardavila, C., Wooldridge, M.: Model Checking AgentSpeak. In: Proc. of 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2003 (2003)","DOI":"10.1145\/860575.860641"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Techniques for Computer Systems and Business Processes","year":"2005","unstructured":"Bravetti, M., Kloul, L., Zavattaro, G. (eds.): EPEW\/WS-EM 2005. LNCS, vol.\u00a03670. Springer, Heidelberg (2005)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: a synergic approach for system design. In: Proc. the 3rd Int. Conf. on Service Oriented Computing (2005)","DOI":"10.1007\/11596141_18"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-30578-1_4","volume-title":"Agent-Oriented Software Engineering V","author":"L. Cabac","year":"2005","unstructured":"Cabac, L., Moldt, D.: Formal semantics for AUML agent interaction protocol diagrams. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 47\u201361. Springer, Heidelberg (2005)"},{"key":"15_CR14","first-page":"679","volume-title":"Proc. of IJCAI 2003","author":"U. Endriss","year":"2003","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Gottlob, G., Walsh, T. (eds.) Proc. of IJCAI 2003, pp. 679\u2013684. Morgan Kaufmann, San Francisco (August 2003)"},{"key":"15_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-24608-4_6","volume-title":"Advances in Agent Communication","author":"U. Endriss","year":"2004","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Logic-based agent communication protocols. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 91\u2013107. Springer, Heidelberg (2004)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Trans. on Software Eng.\u00a07(30) (2004)","DOI":"10.1109\/TSE.2004.33"},{"key":"15_CR17","unstructured":"FIPA. Fipa 97, specification part 2: Agent communication language. Technical report, FIPA (Foundation for Intelligent Physical Agents) (November 1997)"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and verifying interaction protocols in a temporal action logic. Journal of Applied Logic (Special issue on Logic Based Agent Verification) (accepted for publication)","DOI":"10.1016\/j.jal.2005.12.011"},{"key":"15_CR19","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-30227-8_8","volume-title":"Logics in Artificial Intelligence","author":"L. Giordano","year":"2004","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Verifying communicating agents by model checking in a temporal action logic. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 57\u201369. Springer, Heidelberg (2004)"},{"key":"15_CR20","unstructured":"Guerin, F.: Specifying Agent Communication Languages. PhD thesis, Imperial College, London (April 2002)"},{"key":"15_CR21","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-44972-0_4","volume-title":"Communication in Multiagent Systems","author":"F. Guerin","year":"2003","unstructured":"Guerin, F., Pitt, J.: Verification and Compliance Testing. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol.\u00a02650, pp. 98\u2013112. Springer, Heidelberg (2003)"},{"key":"15_CR22","volume-title":"Introduction to automata theory, languages, and computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley Publishing Company, Reading (1979)"},{"key":"15_CR23","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-44972-0_9","volume-title":"Communication in Multiagent Systems","author":"M.P. Huget","year":"2003","unstructured":"Huget, M.P., Koning, J.L.: Interaction Protocol Engineering. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol.\u00a02650, pp. 179\u2013193. Springer, Heidelberg (2003)"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/10722777_11","volume-title":"Issues in Agent Communication","author":"A. Mamdani","year":"2000","unstructured":"Mamdani, A., Pitt, J.: Communication protocols in multi-agent systems: A development method and reference architecture. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 160\u2013177. Springer, Heidelberg (2000)"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Maudet, N., Chaib-draa, B.: Commitment-based and dialogue-based protocols: new trends in agent communication languages. Knowledge engineering review\u00a017(2) (2002)","DOI":"10.1017\/S0269888902000486"},{"key":"15_CR26","unstructured":"Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for agents. In: Proc. of the Agent-Oriented Information System Workshop at AAAI 2000 (2000)"},{"key":"15_CR27","first-page":"269","volume-title":"Autonomous Agents 2000","author":"J. Pitt","year":"2000","unstructured":"Pitt, J., Guerin, F., Stergiou, C.: Protocols and intentional specifications of multi-party agent conversations for brokerage and auctions. In: Autonomous Agents 2000, Barcelona, pp. 269\u2013276. ACM Press, New York (2000)"},{"key":"15_CR28","volume-title":"Proc. of IJCAI 1998 Workshop on Agent Communication Languages","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A social semantics for agent communication languages. In: Proc. of IJCAI 1998 Workshop on Agent Communication Languages. Springer, Berlin (2000)"},{"key":"15_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/11493402_8","volume-title":"Declarative Agent Languages and Technologies II","author":"C. Walton","year":"2005","unstructured":"Walton, C.: Model checking agent dialogues. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS, vol.\u00a03476, pp. 132\u2013147. Springer, Heidelberg (2005)"},{"key":"15_CR30","unstructured":"WS-CDL (2004), http:\/\/www.w3.org\/tr\/2004\/wd-ws-cdl-10-20041217\/"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11750734_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:57:19Z","timestamp":1619506639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11750734_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540339960","9783540339977"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11750734_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}