{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T05:30:39Z","timestamp":1787722239895,"version":"build-2784847793"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icws.2004.1314769","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"446-453","source":"Crossref","is-referenced-by-count":20,"title":["Logic-based Web services composition: from service description to process model"],"prefix":"10.1109","author":[{"family":"Jinghai Rao","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Peep Kungas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Mihhail Matskin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","article-title":"Semi-automatic composition of web services using semantic descriptions","author":"sirin","year":"2002","journal-title":"Web services Modeling Architecture and Infrastructure workshop in conjunction with ICEIS2003"},{"key":"17","article-title":"SWORD: A developer toolkit for web service composition","author":"ponnekanti","year":"2002","journal-title":"Eleventh International World Wide Web Conference"},{"key":"18","article-title":"Application of linear logic to web service composition","author":"rao","year":"2003","journal-title":"The First International Conference on Web Services"},{"key":"15","article-title":"Adapting golog for composition of semantic web services","author":"mcilraith","year":"2002","journal-title":"Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002)"},{"key":"16","article-title":"The ployadic pi-calculus: A tutorial","author":"milner","year":"1991","journal-title":"Technical Report"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/32.153379"},{"key":"14","author":"martin","year":"2003","journal-title":"DAML-S (and OWL-S) 0 9 draft release"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.2307\/2310058"},{"key":"12","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","article-title":"Partial evaluation in logic programming","volume":"11","author":"lloyd","year":"1991","journal-title":"Jornal of Logic Programming"},{"key":"3","author":"bellwood","year":"0","journal-title":"Universal Description Discovery and Integration Specification (UDDI) 3 0"},{"key":"20","author":"thatte","year":"0","journal-title":"XLANG Web services for business process design"},{"key":"2","author":"andrews","year":"2003","journal-title":"Business Process Execution Language for Web Services (BPEL4WS) 1 1"},{"key":"1","year":"0","journal-title":"Jena - semantic web framework for java"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44404-1_21"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"6","author":"chinnici","year":"0","journal-title":"Web Services Description Language (WSDL) 1 2"},{"key":"5","author":"brickley","year":"0","journal-title":"RDF Vocabulary Description Language 1 0 RDF Schema"},{"key":"4","author":"box","year":"2001","journal-title":"Simple Object Access Protocol (SOAP) 1 1"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775160"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"}],"event":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","location":"San Diego, CA, USA","start":{"date-parts":[[2004,7,9]]},"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\/01314769.pdf?arnumber=1314769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:52:42Z","timestamp":1497599562000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1314769\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icws.2004.1314769","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}