{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T23:05:00Z","timestamp":1746313500096,"version":"3.28.0"},"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":[]},{"family":"Peep Kungas","sequence":"additional","affiliation":[]},{"family":"Mihhail Matskin","sequence":"additional","affiliation":[]}],"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"},{"journal-title":"DAML-S (and OWL-S) 0 9 draft release","year":"2003","author":"martin","key":"14"},{"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"},{"journal-title":"Universal Description Discovery and Integration Specification (UDDI) 3 0","year":"0","author":"bellwood","key":"3"},{"journal-title":"XLANG Web services for business process design","year":"0","author":"thatte","key":"20"},{"journal-title":"Business Process Execution Language for Web Services (BPEL4WS) 1 1","year":"2003","author":"andrews","key":"2"},{"journal-title":"Jena - semantic web framework for java","year":"0","key":"1"},{"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"},{"journal-title":"Web Services Description Language (WSDL) 1 2","year":"0","author":"chinnici","key":"6"},{"journal-title":"RDF Vocabulary Description Language 1 0 RDF Schema","year":"0","author":"brickley","key":"5"},{"journal-title":"Simple Object Access Protocol (SOAP) 1 1","year":"2001","author":"box","key":"4"},{"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.","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\/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]]}}}