{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:46:21Z","timestamp":1725533181409},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icws.2004.1314805","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"734-737","source":"Crossref","is-referenced-by-count":13,"title":["Semantics based verification and synthesis of BPEL4WS abstract processes"],"prefix":"10.1109","author":[{"family":"Ziyang Duan","sequence":"first","affiliation":[]},{"given":"A.","family":"Bernstein","sequence":"additional","affiliation":[]},{"given":"P.","family":"Lewis","sequence":"additional","affiliation":[]},{"family":"Shiyong Lu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"Web service composition as planning","author":"carman","year":"2003","journal-title":"ICAPS 2003 Workshop on Planning for Web Services"},{"key":"2","article-title":"Automatic composition of e-services that export their behavior","author":"berardi","year":"2003","journal-title":"International Conference on Service Oriented Computing"},{"key":"10","article-title":"Automating DAML-S web services composition using SHOP2","author":"wu","year":"2003","journal-title":"Proc 2nd Intl Semantic Web Conf"},{"key":"1","article-title":"Daml-s: Web service description for the semantic web","author":"ankolekar","year":"2002","journal-title":"Proc 1st Intl Semantic Web Conf"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00106-0"},{"journal-title":"Business Process Execution Language for Web Services Version 1 1","year":"2003","author":"curbera","key":"5"},{"key":"4","first-page":"875","article-title":"Automatic OBDD-based generation of universal plans in non-deterministic domains","author":"cimatti","year":"1998","journal-title":"Proc of the 15th National Conference on Artificial Intelligence"},{"key":"9","article-title":"Web service composition - Current solutions and open problems","author":"srivastava","year":"2003","journal-title":"ICAPS 2003 Workshop on Planning for Web Services"},{"key":"8","article-title":"A planner for composing services described in daml-s","author":"sheshagiri","year":"2003","journal-title":"ICAPS 2003 Workshop on Planning for Web Services"}],"event":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","start":{"date-parts":[[2004,7,9]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2004,7,9]]}},"container-title":["Proceedings. IEEE International Conference on Web Services, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9185\/29136\/01314805.pdf?arnumber=1314805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T04:22:59Z","timestamp":1489465379000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1314805\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icws.2004.1314805","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}