{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,28]],"date-time":"2025-12-28T02:18:01Z","timestamp":1766888281356,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T00:00:00Z","timestamp":1251072000000},"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":[[2009,8,24]]},"DOI":"10.1145\/1595696.1595719","type":"proceedings-article","created":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T14:08:35Z","timestamp":1251122915000},"page":"141-150","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":88,"title":["Automatic synthesis of behavior protocols for composable web-services"],"prefix":"10.1145","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[{"name":"Consiglio Nazionale delle Ricerche, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 dell'Aquila, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[{"name":"Universit\u00e0 dell'Aquila, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[{"name":"Universit\u00e0 dell'Aquila, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,8,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"BPEL4WS: Business Process Execution Languages for Web services v1.1 specification. http:\/\/download.boulder.ibm.com\/ibmdl\/pub\/software\/dw\/specs\/ws-bpel\/ws-bpel.pdf.  BPEL4WS: Business Process Execution Languages for Web services v1.1 specification. http:\/\/download.boulder.ibm.com\/ibmdl\/pub\/software\/dw\/specs\/ws-bpel\/ws-bpel.pdf."},{"volume-title":"ICT","author":"CORDIS","key":"e_1_3_2_1_2_1","unstructured":"CORDIS , ICT , Programme : Service and Software Architectures, Infrastractures and Engineering (SSAI) . http:\/\/cordis.europa.eu\/fp7\/ict\/ssai\/home_en.html. CORDIS, ICT, Programme: Service and Software Architectures, Infrastractures and Engineering (SSAI). http:\/\/cordis.europa.eu\/fp7\/ict\/ssai\/home_en.html."},{"key":"e_1_3_2_1_3_1","unstructured":"WSDL\n  : Web Services Description Languages v1.1 spec. http:\/\/www.w3.org\/tr\/2001\/note-wsdl-20010315.  WSDL: Web Services Description Languages v1.1 spec. http:\/\/www.w3.org\/tr\/2001\/note-wsdl-20010315."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.28"},{"key":"e_1_3_2_1_5_1","volume-title":"Regular Inference for State Machines Using Domains with Equality Tests. In FASE 2008","author":"Berg T.","year":"2008","unstructured":"T. Berg , B. Jonsson , and H. Raffelt . Regular Inference for State Machines Using Domains with Equality Tests. In FASE 2008 , Budapest, Hungary, pages 317--331 , 2008 . T. Berg, B. Jonsson, and H. Raffelt. Regular Inference for State Machines Using Domains with Equality Tests. In FASE 2008, Budapest, Hungary, pages 317--331, 2008."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11948148_3"},{"issue":"3","key":"e_1_3_2_1_7_1","first-page":"18","volume":"31","author":"Calvanese D.","year":"2008","unstructured":"D. Calvanese , G. D. Giacomo , M. Lenzerini , M. Mecella , and F. Patrizi . Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. , 31 ( 3 ): 18 -- 22 , 2008 . D. Calvanese, G. D. Giacomo, M. Lenzerini, M. Mecella, and F. Patrizi. Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull., 31(3):18--22, 2008.","journal-title":"Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070542"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"issue":"3","key":"e_1_3_2_1_10_1","first-page":"23","volume":"31","author":"Marconi A.","year":"2008","unstructured":"A. Marconi , M. Pistore , and P. Traverso . Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. , 31 ( 3 ): 23 -- 26 , 2008 . A. Marconi, M. Pistore, and P. Traverso. Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull., 31(3):23--26, 2008.","journal-title":"Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007532"},{"key":"e_1_3_2_1_12_1","volume-title":"FASE","author":"Melliti T.","year":"2008","unstructured":"T. Melliti , P. Poizat , and S. B. Mokhtar . Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services . In FASE 2008 , LNCS 4961, Springer . T. Melliti, P. Poizat, and S. B. Mokhtar. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. In FASE 2008, LNCS 4961, Springer."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213008003807"},{"key":"e_1_3_2_1_14_1","volume-title":"Morgan and Kaufmann","author":"Utting M.","year":"2006","unstructured":"M. Utting and B. Legeard . Practical Model-Based Testing - A Tools Approach . Morgan and Kaufmann , 2006 . M. Utting and B. Legeard. Practical Model-Based Testing - A Tools Approach. Morgan and Kaufmann, 2006."},{"key":"e_1_3_2_1_15_1","unstructured":"A. Wasylkowski and A. Zeller. Mining Operational Preconditions. http:\/\/www.st.cs.uni-saarland.de\/models\/papers\/wasylkowski-2008-preconditions.pdf (Tech. Rep.).  A. Wasylkowski and A. Zeller. Mining Operational Preconditions. http:\/\/www.st.cs.uni-saarland.de\/models\/papers\/wasylkowski-2008-preconditions.pdf (Tech. Rep.)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287632"}],"event":{"name":"ESEC\/FSE09: Joint 12th European Software Engineering Conference","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Amsterdam The Netherlands","acronym":"ESEC\/FSE09"},"container-title":["Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1595696.1595719","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1595696.1595719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:18:04Z","timestamp":1750249084000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1595696.1595719"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,24]]},"references-count":16,"alternative-id":["10.1145\/1595696.1595719","10.1145\/1595696"],"URL":"https:\/\/doi.org\/10.1145\/1595696.1595719","relation":{},"subject":[],"published":{"date-parts":[[2009,8,24]]},"assertion":[{"value":"2009-08-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}