{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:48:18Z","timestamp":1729676898076,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/icpp.2003.1240608","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"436-443","source":"Crossref","is-referenced-by-count":0,"title":["Toward a formal approach to composite Web service construction and automation"],"prefix":"10.1109","author":[{"family":"Zhihong Ren","sequence":"first","affiliation":[]},{"family":"Jiannong Cao","sequence":"additional","affiliation":[]},{"given":"A.T.S.","family":"Chan","sequence":"additional","affiliation":[]},{"family":"Jing Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1147\/sj.412.0198"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.708567"},{"journal-title":"Proc 11th Int Con World Wide Web","article-title":"SWORD: A Developer Toolkit for Web Service Composition","year":"2002","author":"ponnekanti","key":"ref12"},{"journal-title":"Formal Methods for Open Object-Based Distributed Systems V","article-title":"A Visual Modeling Framework for Distributed Object Computing","year":"2000","author":"taentzer","key":"ref13"},{"journal-title":"Document Number WfMC TC-I016-P","article-title":"Workflow Management Coalition, Interface 1: Process Definition interchange Process Model, Version 1.1","year":"1999","key":"ref14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80181-1"},{"key":"ref3","first-page":"29","article-title":"Definition, Execution, Analysis, and Optimization of Composite E-Services","volume":"24","author":"casati","year":"2001","journal-title":"IEEE Data Engineering Bulletin"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3-540-45923-5_3","article-title":"A Generic Component Framework for System Modeling","volume":"2306","author":"ehrig","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1142\/9789812384720_0004"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511456"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1142\/9789812815149_0014"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2002.999776"},{"key":"ref1","first-page":"72","article-title":"Don't Go with the Flow: Web Services Composition Standards Exposed","author":"van der aalst","year":"2003","journal-title":"IEEE Intelligent System"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46121-3_9"}],"event":{"name":"2003 International Conference on Parallel Processing, 2003. Proceedings.","start":{"date-parts":[[2003,10,9]]},"location":"Kaohsiung, Taiwan","end":{"date-parts":[[2003,10,9]]}},"container-title":["2003 International Conference on Parallel Processing, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8782\/27813\/01240608.pdf?arnumber=1240608","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T08:16:29Z","timestamp":1497600989000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1240608\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icpp.2003.1240608","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}