{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T10:04:38Z","timestamp":1775815478665,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T00:00:00Z","timestamp":1152489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,10]]},"DOI":"10.1145\/1140335.1140342","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"39-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["An abductive framework for a-priori verification of web services"],"prefix":"10.1145","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[{"name":"University of Ferrara, Ferrara, Italy"}]},{"given":"Marco","family":"Gavanelli","sequence":"additional","affiliation":[{"name":"University of Ferrara, Ferrara, Italy"}]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[{"name":"University of Ferrara, Ferrara, Italy"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[{"name":"University of Bologna, Bologna, Italy"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[{"name":"University of Bologna, Bologna, Italy"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[{"name":"University of Bologna, Bologna, Italy"}]}],"member":"320","published-online":{"date-parts":[[2006,7,10]]},"reference":[{"issue":"3","key":"e_1_3_2_1_1_1","first-page":"45","article-title":"The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system","author":"Alberti M.","year":"2005","unstructured":"M. Alberti and F. Chesani . The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system . Intelligenza Artificiale , II ( 3 ): 45 -- 51 , 2005 . M. Alberti and F. Chesani. The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale, II(3):45--51, 2005.","journal-title":"Intelligenza Artificiale"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11759683_7"},{"key":"e_1_3_2_1_3_1","volume-title":"CILC 2005 - Convegno Italiano di Logica Computazionale. Universit\u00e0 degli Studi di Roma Tor Vergata","author":"Alberti M.","year":"2005","unstructured":"M. Alberti , F. Chesani , M. Gavanelli , E. Lamma , P. Mello , and P. Torroni . Security protocols verification in Abductive Logic Programming: A case study. In A. Pettorossi, M. Proietti, and V. Senni, editors , CILC 2005 - Convegno Italiano di Logica Computazionale. Universit\u00e0 degli Studi di Roma Tor Vergata , June 21-22 2005 . M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Security protocols verification in Abductive Logic Programming: A case study. In A. Pettorossi, M. Proietti, and V. Senni, editors, CILC 2005 - Convegno Italiano di Logica Computazionale. Universit\u00e0 degli Studi di Roma Tor Vergata, June 21-22 2005."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/3127123.3127140"},{"key":"e_1_3_2_1_5_1","unstructured":"M.\n      Alberti A.\n      Ciampolini M.\n      Gavanelli E.\n      Lamma P.\n      Mello and \n      P.\n      Torroni\n  . \n  A social ACL semantics by deontic constraints\n  . In V. Ma\u0159\u00edk J. M\u00fcller and M. P\u0115chou\u010dek editors Multi-Agent Systems and Applications III. Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems CEEMAS \n  2003 volume \n  2691\n   of \n  Lecture Notes in Artificial Intelligence pages \n  204\n  --\n  213 Prague Czech Republic June 16--18 2003. \n  Springer-Verlag\n  .   M. Alberti A. Ciampolini M. Gavanelli E. Lamma P. Mello and P. Torroni. A social ACL semantics by deontic constraints. In V. Ma\u0159\u00edk J. M\u00fcller and M. P\u0115chou\u010dek editors Multi-Agent Systems and Applications III. Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems CEEMAS 2003 volume 2691 of Lecture Notes in Artificial Intelligence pages 204--213 Prague Czech Republic June 16--18 2003. Springer-Verlag."},{"key":"e_1_3_2_1_6_1","volume-title":"Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Science, 85(2)","author":"Alberti M.","year":"2003","unstructured":"M. Alberti , M. Gavanelli , E. Lamma , P. Mello , and P. Torroni . Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Science, 85(2) , 2003 . M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Science, 85(2), 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11558590_14"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_19"},{"key":"e_1_3_2_1_9_1","volume-title":"BPTrends","author":"Barros A.","year":"2005","unstructured":"A. Barros , M. Dumas , and P. Oaks . A critical overview of the web services choreography description language (WS-CDL) . BPTrends , 2005 . A. Barros, M. Dumas, and P. Oaks. A critical overview of the web services choreography description language (WS-CDL). BPTrends, 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"Conceptual modeling of web service conversations. 2681:449--467","author":"Benattallah B.","year":"2003","unstructured":"B. Benattallah , F. Casati , F. Toumani , and R. Hamadi . Conceptual modeling of web service conversations. 2681:449--467 , 2003 . B. Benattallah, F. Casati, F. Toumani, and R. Hamadi. Conceptual modeling of web service conversations. 2681:449--467, 2003."},{"key":"e_1_3_2_1_11_1","first-page":"2006","article-title":"Abduction for specifying and verifying web service choreographies. In J. L. Ambite, J. Blythe, J. Koehler, S. McIlraith, M. Pistore, and B. Srivastava, editors, 4th International Workshop on AI for Service Composition, Riva del Garda, Trento","volume":"28","author":"Chesani F.","year":"2006","unstructured":"F. Chesani , P. Mello , M. Montali , M. Alberti , M. Gavanelli , E. Lamma , and S. Storari . Abduction for specifying and verifying web service choreographies. In J. L. Ambite, J. Blythe, J. Koehler, S. McIlraith, M. Pistore, and B. Srivastava, editors, 4th International Workshop on AI for Service Composition, Riva del Garda, Trento , Italy, Aug 28 - Sept 1, 2006 , Aug. 2006 . To appear. F. Chesani, P. Mello, M. Montali, M. Alberti, M. Gavanelli, E. Lamma, and S. Storari. Abduction for specifying and verifying web service choreographies. In J. L. Ambite, J. Blythe, J. Koehler, S. McIlraith, M. Pistore, and B. Srivastava, editors, 4th International Workshop on AI for Service Composition, Riva del Garda, Trento, Italy, Aug 28 - Sept 1, 2006, Aug. 2006. To appear.","journal-title":"Italy, Aug"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843004001012"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico (IJCAI-03)","author":"Endriss U.","year":"2003","unstructured":"U. Endriss , N. Maudet , F. Sadri , and F. Toni . Protocol conformance for logic-based agents. In G. Gottlob and T. Walsh, editors , Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico (IJCAI-03) . Morgan Kaufmann Publishers , Aug. 2003 . U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol conformance for logic-based agents. In G. Gottlob and T. Walsh, editors, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico (IJCAI-03). Morgan Kaufmann Publishers, Aug. 2003."},{"key":"e_1_3_2_1_14_1","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-3-540-24608-4_6","volume-title":"Advances in Agent Communication","author":"Endriss U.","year":"2004","unstructured":"U. Endriss , N. Maudet , F. Sadri , and F. Toni . Logic-based agent communication protocols . In F. Dignum, editor, Advances in Agent Communication , volume 2922 of LNAI , pages 91 -- 107 . Springer-Verlag , 2004 . U. Endriss, N. Maudet, F. Sadri, and F. Toni. Logic-based agent communication protocols. In F. Dignum, editor, Advances in Agent Communication, volume 2922 of LNAI, pages 91--107. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the Fifth International Conference and Symposium","author":"Eshghi K.","year":"1988","unstructured":"K. Eshghi . Abductive planning with the event calculus. In Logic Programming , Proceedings of the Fifth International Conference and Symposium , Seattle, Washington, Cambridge, MA , 1988 . MIT Press. K. Eshghi. Abductive planning with the event calculus. In Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, Cambridge, MA, 1988. MIT Press."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050038"},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Computer Science","first-page":"46","volume-title":"Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95","author":"Gregory S.","year":"1995","unstructured":"S. Gregory . Derivation of concurrent algorithms in Tempo . In M. Proietti, editor, Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95 , Utrecht, The Netherlands , September 20-22, 1995 , Proceedings, volume 1048 of Lecture Notes in Computer Science , pages 46 -- 60 . Springer , 1996. S. Gregory. Derivation of concurrent algorithms in Tempo. In M. Proietti, editor, Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, volume 1048 of Lecture Notes in Computer Science, pages 46--60. Springer, 1996."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the Twelfth International Conference on Logic Programming","author":"Gregory S.","year":"1995","unstructured":"S. Gregory and R. Ramirez . Tempo: A declarative concurrent programming language. In L. Sterling, editor, Logic Programming , Proceedings of the Twelfth International Conference on Logic Programming , June 13-16, 1995 , Tokyo, Japan, pages 515--529. MIT Press , 1995. S. Gregory and R. Ramirez. Tempo: A declarative concurrent programming language. In L. Sterling, editor, Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, June 13-16, 1995, Tokyo, Japan, pages 515--529. MIT Press, 1995."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10002-X"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"e_1_3_2_1_23_1","volume-title":"Web services choreography description language version 1.0","author":"Kavantzas N.","year":"2005","unstructured":"N. Kavantzas , D. Burdett , G. Ritzinger , T. Fletcher , Y. Lafon , and C. Barreto . Web services choreography description language version 1.0 , 2005 . Available at http:\/\/www.w3.org\/TR\/ws-cdl-10. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon, and C. Barreto. Web services choreography description language version 1.0, 2005. Available at http:\/\/www.w3.org\/TR\/ws-cdl-10."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_23"},{"key":"e_1_3_2_1_25_1","volume-title":"2nd extended edition","author":"Lloyd J. W.","year":"1987","unstructured":"J. W. Lloyd . Foundations of Logic Programming . Springer-Verlag , 2nd extended edition , 1987 . J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd extended edition, 1987."},{"key":"e_1_3_2_1_26_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-45619-8_3","volume-title":"Logic Programming, 18th International Conference, ICLP","author":"Russo A.","year":"2002","unstructured":"A. Russo , R. Miller , B. Nuseibeh , and J. Kramer . An abductive approach for analysing event-based requirements specifications . In P. Stuckey, editor, Logic Programming, 18th International Conference, ICLP 2002 , volume 2401 of Lecture Notes in Computer Science , pages 22 -- 37 , Berlin Heidelberg, 2002. Springer-Verlag . A. Russo, R. Miller, B. Nuseibeh, and J. Kramer. An abductive approach for analysing event-based requirements specifications. In P. Stuckey, editor, Logic Programming, 18th International Conference, ICLP 2002, volume 2401 of Lecture Notes in Computer Science, pages 22--37, Berlin Heidelberg, 2002. Springer-Verlag."},{"key":"e_1_3_2_1_27_1","unstructured":"Societies Of ComputeeS (SOCS): a computational logic model for the description analysis and verification of global and open societies of heterogeneous computees. IST--2001--32530. Home page: http:\/\/lia.deis.unibo.it\/Research\/SOCS\/.  Societies Of ComputeeS (SOCS): a computational logic model for the description analysis and verification of global and open societies of heterogeneous computees. IST--2001--32530. Home page: http:\/\/lia.deis.unibo.it\/Research\/SOCS\/."}],"event":{"name":"PPDP06: Principles and Practice of Declarative Programming","location":"Venice Italy","acronym":"PPDP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140335.1140342","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1140335.1140342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:24Z","timestamp":1750259184000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140335.1140342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,10]]},"references-count":26,"alternative-id":["10.1145\/1140335.1140342","10.1145\/1140335"],"URL":"https:\/\/doi.org\/10.1145\/1140335.1140342","relation":{},"subject":[],"published":{"date-parts":[[2006,7,10]]},"assertion":[{"value":"2006-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}