{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:47:49Z","timestamp":1725457669317},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1109\/soca.2009.5410262","type":"proceedings-article","created":{"date-parts":[[2010,2,16]],"date-time":"2010-02-16T16:08:22Z","timestamp":1266336502000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Simulation and validation of Web services choreography"],"prefix":"10.1109","author":[{"given":"Lei","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Hao","family":"Xiao","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Ping","sequence":"additional","affiliation":[]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[]},{"given":"Hanyi","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"A Denotational Model for Web Services Choreography","author":"pu","year":"2008","journal-title":"To appear in Proc of ICDCIT08"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242704"},{"journal-title":"SOAP 1 2","year":"0","key":"ref12"},{"key":"ref13","first-page":"346","article-title":"Web Services Choreography and Orchestration in Reo and Constraint Automata","author":"sun","year":"2007","journal-title":"Proc of SAC '07"},{"journal-title":"Web Services Choreography Description Language Version 1 0","year":"2005","key":"ref14"},{"journal-title":"WS-CDL Eclipse Plug-in","year":"0","key":"ref15"},{"journal-title":"Web Service Choreography Interface (WSCI) 1 0","year":"0","key":"ref16"},{"journal-title":"Web Services Flow Language (WSFL)","year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_15"},{"key":"ref19","first-page":"893","article-title":"A Formal Model for Web Service Choreography Description Language (WS-CDL)","author":"yang","year":"2006","journal-title":"Proc of ICWS06"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/978-3-540-27813-9_48","article-title":"WSAT:a tool for formal analysis of web services","author":"fu","year":"2004","journal-title":"Proc of 16th International Conference on Computer Aided Verification"},{"key":"ref3","article-title":"XML Constraints: Specification, Analysis, and Applications","author":"fan","year":"2005","journal-title":"Proc 12th Int Workshop Database and Expert Systems Applications"},{"journal-title":"Java Architecture for XML Binding (JAXB)","year":"0","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_24"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","article-title":"A Calculus of Communicating Systems","author":"milner","year":"1980","journal-title":"Lecture Notes in Computer Science 92"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.196"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.007"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"journal-title":"Pi4S0A","year":"0","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2008.36"}],"event":{"name":"2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)","start":{"date-parts":[[2009,1,14]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2009,1,15]]}},"container-title":["2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5375734\/5410249\/05410262.pdf?arnumber=5410262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T00:23:13Z","timestamp":1558830193000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5410262\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/soca.2009.5410262","relation":{},"subject":[],"published":{"date-parts":[[2009,12]]}}}