{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:17:48Z","timestamp":1729664268454,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/icnsc.2008.4525471","type":"proceedings-article","created":{"date-parts":[[2008,5,20]],"date-time":"2008-05-20T20:11:19Z","timestamp":1211314279000},"page":"1571-1576","source":"Crossref","is-referenced-by-count":2,"title":["Describing and Verifying Web Service by CCS on a Case Study"],"prefix":"10.1109","author":[{"family":"Li Bao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weishi","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiuguo","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Web Services Description Language (WSDL) 1 1","year":"0","key":"19"},{"key":"17","first-page":"1","article-title":"a petri net semantic for bpel4ws-validation and application","author":"schmidt","year":"2004","journal-title":"Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets"},{"key":"18","first-page":"420","article-title":"ws-net: a petri-net based specification model for web services","author":"jia","year":"2004","journal-title":"Proceedings of the 2nd IEEE International Conference on Web Services"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"journal-title":"Proceedings of the 14th Australian Database Conference on Database Technologies","first-page":"191","year":"2003","key":"16"},{"key":"13","first-page":"230","article-title":"automatic translation of ws-cdl choreographies to timed automata","volume":"3670","author":"diaz","year":"2005","journal-title":"LNCS"},{"journal-title":"Verification of Computation Orchestration via Timed Automata","year":"0","author":"dong","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035202"},{"key":"12","first-page":"635","article-title":"describing and verifying web service using pi-calculus","volume":"28","author":"jun","year":"2005","journal-title":"Chinese Journal of Computers"},{"journal-title":"Business Process Execution Language for Web Service (BPEL4WS) 1 1","year":"0","author":"andrews","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2004.184.187"},{"year":"0","key":"22"},{"journal-title":"DAML-S (and OWL-S) 0 9 draft release","year":"0","author":"martin","key":"23"},{"journal-title":"Dynamic Service Composition Using Semantic Information","year":"0","author":"fujii","key":"24"},{"key":"25","first-page":"635","article-title":"describing and verifying web service using pi-calculus","volume":"28","author":"jun","year":"2005","journal-title":"Chinese Journal of Computers"},{"key":"26","article-title":"the concurrency workbench of the new century","author":"cleaveland","year":"2000","journal-title":"User's Manual"},{"year":"0","key":"27"},{"key":"28","article-title":"formal analysis of compatibility of web services via ccs","author":"liu","year":"2005","journal-title":"International Conference on Next Generation Web Services Practices (NWeSP 05)"},{"journal-title":"Processes and Equivalences","year":"0","author":"mads dam","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"2","first-page":"95","article-title":"service oriented computing and coordination models","author":"kokash","year":"2005","journal-title":"Proceedings of Challenges in Collaborative Engineering Workshop Sopron"},{"journal-title":"Models and Verification of BPEL","year":"0","author":"franck van breugel","key":"10"},{"year":"0","key":"1"},{"key":"30","first-page":"267","article-title":"efficient model checking in fragments of the prepositional mu-calculus","author":"emerson","year":"1986","journal-title":"Symposium on Logic in Computer Science (LICS'86)"},{"key":"7","first-page":"15","author":"bordeaux","year":"2004","journal-title":"When are Two Web services Compatible"},{"journal-title":"A calculi of Communication and Concurrency","year":"1980","author":"milner","key":"6"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"5"},{"key":"31","first-page":"333","article-title":"results on the propositional-calculus. theoretical coputer","volume":"27","author":"kozen","year":"1983","journal-title":"Science"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/b104566","article-title":"a kpn based cooperative composition model of services","author":"zhang","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"9","article-title":"the concurrency workbench of the new century","author":"cleaveland","year":"2000","journal-title":"User's Manual"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/PDCAT.2006.52"}],"event":{"name":"2008 IEEE International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2008,4,6]]},"location":"Sanya, China","end":{"date-parts":[[2008,4,8]]}},"container-title":["2008 IEEE International Conference on Networking, Sensing and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4489617\/4525150\/04525471.pdf?arnumber=4525471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T08:25:59Z","timestamp":1497774359000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4525471\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2008.4525471","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}