{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:54:53Z","timestamp":1725537293139},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/soca.2011.6166254","type":"proceedings-article","created":{"date-parts":[[2012,3,13]],"date-time":"2012-03-13T16:53:27Z","timestamp":1331657607000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["Verifying Web services in a choreography environment"],"prefix":"10.1109","author":[{"given":"San-Yih","family":"Hwang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wen-Fan","family":"Hsieh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chien-Hsiang","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2009.8"},{"key":"2","first-page":"843","article-title":"Choice, interoperability, and conformance in interaction protocols and service choreographies","author":"baldoni","year":"2009","journal-title":"8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009)"},{"journal-title":"Web Services Choreography Description Language Version 1 0","year":"2005","author":"kavantzas","key":"10"},{"key":"1","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/11948148_28","article-title":"A priori conformance verification for guaranteeing interoperability in open environments","author":"baldoni","year":"2006","journal-title":"4th International Conference Service-Oriented Computing (ICSOC 2006)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/AICT-ICIW.2006.131"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72912-9_3"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72794-1_6"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75698-9_14"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2010.79"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2009.42"},{"journal-title":"An Introduction to Formal Languages and Automata","year":"2006","author":"linz","key":"11"},{"key":"12","article-title":"Towards the formal model and verification of Web services choreography description language","author":"zhao","year":"2006","journal-title":"3rd International Workshop on Web Services and Formal Methods (WS-FM'06)"}],"event":{"name":"2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)","start":{"date-parts":[[2011,12,12]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2011,12,14]]}},"container-title":["2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6156051\/6166194\/06166254.pdf?arnumber=6166254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T11:34:06Z","timestamp":1497958446000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6166254\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/soca.2011.6166254","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}