{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:46:05Z","timestamp":1729615565172,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006,11]]},"DOI":"10.1109\/ictai.2006.102","type":"proceedings-article","created":{"date-parts":[[2006,12,20]],"date-time":"2006-12-20T16:18:15Z","timestamp":1166631495000},"page":"445-454","source":"Crossref","is-referenced-by-count":3,"title":["Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications"],"prefix":"10.1109","author":[{"given":"Jyotishman","family":"Pathak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samik","family":"Basu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robyn","family":"Lutz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasant","family":"Honavar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.002"},{"key":"17","first-page":"446","article-title":"Logic-based Web Services Composition: From Service Description to Process Model","author":"rao","year":"2004","journal-title":"International Conference on Web Services"},{"year":"0","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2005.24"},{"key":"16","first-page":"2","article-title":"Automated Composition of Web Services by Planning in Asynchronous Domains","author":"pistore","year":"2005","journal-title":"The International Conference on Automated Planning & Scheduling"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICDEW.2006.96"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1097047.1097057"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2005.101"},{"year":"0","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45484-5_20"},{"key":"3","first-page":"613","article-title":"Automatic Composition of Transition-based Semantic Web Services with Messaging","author":"berardi","year":"2005","journal-title":"20th International Conference on Very Large Databases"},{"key":"20","first-page":"380","article-title":"Automated Composition of Semantic Web Services into Executable Processes","author":"traverso","year":"2004","journal-title":"3rd Intl Semantic Web Conference"},{"key":"2","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-45635-X_19","article-title":"Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming","volume":"2237","author":"basu","year":"2001","journal-title":"Intl Conference on Logic Programming"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060768"},{"key":"10","first-page":"482","article-title":"Adapting Golog for Composition of Semantic Web Services","author":"mcllraith","year":"2002","journal-title":"Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"year":"0","key":"6"},{"key":"5","first-page":"97","article-title":"Classical Vs. Rhapsody Statecharts: Not AU Models Are Created Equal","volume":"3713","author":"crane","year":"2005","journal-title":"LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775210"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1083784.1083807"}],"event":{"name":"2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)","start":{"date-parts":[[2006,11,13]]},"location":"Arlington, VA, USA","end":{"date-parts":[[2006,11,13]]}},"container-title":["2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4031858\/4031859\/04031930.pdf?arnumber=4031930","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T04:36:26Z","timestamp":1555994186000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4031930\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/ictai.2006.102","relation":{},"ISSN":["1082-3409"],"issn-type":[{"type":"print","value":"1082-3409"}],"subject":[],"published":{"date-parts":[[2006,11]]}}}