{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:53:39Z","timestamp":1729666419261,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/apsec.2010.28","type":"proceedings-article","created":{"date-parts":[[2011,1,21]],"date-time":"2011-01-21T15:32:35Z","timestamp":1295623955000},"page":"166-175","source":"Crossref","is-referenced-by-count":8,"title":["Model-Based Methods for Linking Web Service Choreography and Orchestration"],"prefix":"10.1109","author":[{"given":"Jun","family":"Sun","sequence":"first","affiliation":[]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[]},{"given":"Tian Huat","family":"Tan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"236","article-title":"Reducing Model Checking of the Many to the Few","author":"emerson","year":"2000","journal-title":"CADE'00"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287657"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134408"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"journal-title":"International Series on Computer Science","article-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref17","first-page":"147","article-title":"Verifying Systems with Replicated Components in Murphi","author":"ip","year":"1996","journal-title":"CAV 96"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","article-title":"Computation Orchestration: A Basis for Wide-area Computing","volume":"6","author":"jayadev","year":"2007","journal-title":"Software and Systems Modeling (SoSyM)"},{"journal-title":"Web Services Business Process Execution Language Version 2 0","year":"2007","author":"jordan","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595719"},{"key":"ref3","first-page":"257","article-title":"Verifying the conformance of web services to global interaction protocols: A first step","author":"baldoni","year":"2005","journal-title":"WS-FM'05"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_23"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2007.5"},{"journal-title":"A Theoretical Basis of Communication-Centred Concurrent Programming Technical report","year":"0","author":"carbone","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2007.41"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214326"},{"key":"ref9","first-page":"226","article-title":"Verification of Computation Orchestration Via Timed Automata","author":"dong","year":"2006","journal-title":"ICFEM'06"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1361186.1361189"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2006.112"},{"key":"ref22","first-page":"746","article-title":"Distributed Reactive Systems are Hard to Synthesis","author":"pnueli","year":"1990","journal-title":"FOCS '90"},{"key":"ref21","first-page":"227","article-title":"Choreography conformance analysis: Asynchronous communications and information alignment","author":"kazhamiakin","year":"2006","journal-title":"WS-FM'06"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242704"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ASPEC.2007.79"},{"key":"ref26","first-page":"709","article-title":"PAT: Towards Flexible Verification under Fairness","author":"sun","year":"2009","journal-title":"CAV'09"},{"key":"ref25","first-page":"353","article-title":"Model-checking CSP","author":"roscoe","year":"1994","journal-title":"A Classical Mind Essays in Honour of C A R Hoare"}],"event":{"name":"2010 17th Asia Pacific Software Engineering Conference (APSEC)","start":{"date-parts":[[2010,11,30]]},"location":"Sydney, Australia","end":{"date-parts":[[2010,12,3]]}},"container-title":["2010 Asia Pacific Software Engineering Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5689842\/5693172\/05693192.pdf?arnumber=5693192","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T14:45:00Z","timestamp":1497883500000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5693192\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/apsec.2010.28","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}