{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171243},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287018"},{"type":"electronic","value":"9783540319030"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549970_19","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T12:53:44Z","timestamp":1131713624000},"page":"257-271","source":"Crossref","is-referenced-by-count":29,"title":["Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step"],"prefix":"10.1007","author":[{"given":"M.","family":"Baldoni","sequence":"first","affiliation":[]},{"given":"C.","family":"Baroglio","sequence":"additional","affiliation":[]},{"given":"A.","family":"Martelli","sequence":"additional","affiliation":[]},{"given":"V.","family":"Patti","sequence":"additional","affiliation":[]},{"given":"C.","family":"Schifanella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Proc. of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003","author":"M. Alberti","year":"2003","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. In: Proc. of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, the Netherlands, vol.\u00a085(2). Elsevier, Amsterdam (2003)"},{"key":"19_CR2","volume-title":"Web Services","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)"},{"key":"19_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"196","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 (LNAI), vol.\u00a03487, pp. 196\u2013212. Springer, Heidelberg (2005)"},{"unstructured":"Barros, A., Dumas, M., Oaks, P.: A critical overview of the web services choreography description language(ws-cdl). Business Process Trends (2005), \n                    \n                      http:\/\/www.bptrends.com","key":"19_CR4"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"unstructured":"BPEL4WS (2003), \n                    \n                      http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel","key":"19_CR6"},{"key":"19_CR7","volume-title":"Proc. of SAC 2005","author":"M. Bravetti","year":"2005","unstructured":"Bravetti, M., Guidi, C., Lucchi, R., Zavattaro, G.: Supporting e.commerce systems formalization with choreography languages. In: Proc. of SAC 2005. ACM Press, New York (2005)"},{"doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: A new approach to design and analysis of e-service composition. In: Proc. of WWW 2003 (2003)","key":"19_CR8","DOI":"10.1145\/775152.775210"},{"unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Proc. of IJCAI-2003, pp. 679\u2013684 (2003)","key":"19_CR9"},{"key":"19_CR10","series-title":"Lecture Notes in Artificial Intelligence","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":"19_CR11","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0304-3975(92)90339-H","volume":"96","author":"V. Garg","year":"1992","unstructured":"Garg, V., Ragunath, M.T.: Concurrent regular expressions and their relationship to Petri nets. Theoretical Computer Science\u00a096, 285\u2013304 (1992)","journal-title":"Theoretical Computer Science"},{"key":"19_CR12","series-title":"Lecture Notes in Artificial Intelligence","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":"19_CR13","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":"19_CR14","series-title":"Lecture Notes in Artificial Intelligence","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)"},{"unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web services choreography description language version 1.0 (2004), Available at, \n                    \n                      http:\/\/www.w3.org\/TR\/ws-cdl-10","key":"19_CR15"},{"key":"19_CR16","series-title":"ENTCS","volume-title":"Proc. of WS-FM 2004","author":"M. Mazzara","year":"2004","unstructured":"Mazzara, M., Lucchi, R.: A framework for generic error handling in business processes. In: Proc. of WS-FM 2004. ENTCS, vol.\u00a0105. Elsevier, Amsterdam (2004)"},{"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)","key":"19_CR17"},{"key":"19_CR18","series-title":"ENTCS","first-page":"51","volume-title":"Proc. of WS-FM 2004","author":"M. Viroli","year":"2004","unstructured":"Viroli, M.: Towards a formal foundation to orchestration languages. In: Proc. of WS-FM 2004, Eindhoven, the Netherlands. ENTCS, vol.\u00a0105, pp. 51\u201371. Elsevier, Amsterdam (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Computer Systems and Business Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549970_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:58:48Z","timestamp":1619506728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11549970_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}