{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:50:43Z","timestamp":1761706243731,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89652-4_48","type":"book-chapter","created":{"date-parts":[[2008,11,19]],"date-time":"2008-11-19T21:04:36Z","timestamp":1227128676000},"page":"572-578","source":"Crossref","is-referenced-by-count":3,"title":["Predicting and Learning Executability of Composite Web Services"],"prefix":"10.1007","author":[{"given":"Masahiro","family":"Tanaka","sequence":"first","affiliation":[]},{"given":"Toru","family":"Ishida","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: The 11th International Conference on World Wide Web (WWW 2002), pp. 77\u201388 (2002)","DOI":"10.1145\/511446.511457"},{"key":"48_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11574620_6","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"A. Ankolekar","year":"2005","unstructured":"Ankolekar, A., Paolucci, M., Sycara, K.: Towards a formal verification of owl-s process models. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 37\u201351. Springer, Heidelberg (2005)"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: The 13th conference on World Wide Web (WWW 2004), pp. 621\u2013630 (2004)","DOI":"10.1145\/988672.988756"},{"key":"48_CR4","unstructured":"Bessi\u00e8re, C., Coletta, R., O\u2019Sullivan, B., Paulin, M.: Query-driven constraint acquisition. In: The 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 50\u201355 (2007)"},{"key":"48_CR5","doi-asserted-by":"crossref","unstructured":"Futatsugi, K., Nakagawa, A.: An overview of cafe specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks. In: The 1st International Conference on Formal Engineering Methods, pp. 170\u2013181 (1997)","DOI":"10.1109\/ICFEM.1997.630424"},{"key":"48_CR6","doi-asserted-by":"crossref","unstructured":"Ishida, T.: Language grid: An infrastructure for intercultural collaboration. In: IEEE\/IPSJ Symposium on Applications and the Internet (SAINT 2006), pp. 96\u2013100 (2006)","DOI":"10.1109\/SAINT.2006.40"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89652-4_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T21:44:21Z","timestamp":1551649461000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89652-4_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540749738","9783540749745"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89652-4_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}