{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:51:50Z","timestamp":1747806710134,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icws.2004.1314806","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"738-741","source":"Crossref","is-referenced-by-count":78,"title":["Compatibility verification for Web service choreography"],"prefix":"10.1109","author":[{"given":"H.","family":"Foster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Magee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"journal-title":"Web Service Choreography Interface (WSCI) 1 0","year":"2002","key":"2"},{"journal-title":"Concurrency - State Models and Java Programs","year":"1999","author":"magee","key":"10"},{"key":"1","article-title":"Dynamic service composition: State-of-the-art and research directions","volume":"tr cs 1 19","author":"chakraborty","year":"2001","journal-title":"Technical Report"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/511455.511457"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CW.2002.1180904"},{"key":"5","article-title":"Web services coordination (WS-coordination)","author":"cabrera","year":"2002","journal-title":"BEA Systems"},{"journal-title":"Business process execution language for web services version 1 0","year":"2002","author":"curbera","key":"4"},{"key":"9","article-title":"Web service composition languages: Old wine in new bottles?","author":"aalst","year":"2003","journal-title":"Proceeding of the 29th EUROMICRO Conference on New Waves in System Architecture"},{"key":"8","article-title":"New challenges for configuration management","author":"larrson","year":"1999","journal-title":"The SCM-9 Workshop"}],"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\/01314806.pdf?arnumber=1314806","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T04:23:23Z","timestamp":1489465403000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1314806\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icws.2004.1314806","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}