{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T05:06:13Z","timestamp":1695013573114},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2013,8,5]],"date-time":"2013-08-05T00:00:00Z","timestamp":1375660800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1007\/s11704-013-1238-z","type":"journal-article","created":{"date-parts":[[2013,8,5]],"date-time":"2013-08-05T01:41:23Z","timestamp":1375666883000},"page":"710-728","source":"Crossref","is-referenced-by-count":2,"title":["Algorithms for checking channel passing in web service choreography"],"prefix":"10.1007","volume":"7","author":[{"given":"Hongli","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liyang","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangpeng","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zongyan","family":"Qiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,5]]},"reference":[{"key":"1238_CR1","first-page":"45","volume-title":"Proceedings of the 10th IEEE International Conference on Enterprise Distributed Object Computing","author":"J M Zaha","year":"2006","unstructured":"Zaha J M, Dumas M, Hofstede T A, Barros A, Decker G. Service interaction modeling: Bridging global and local views. In: Proceedings of the 10th IEEE International Conference on Enterprise Distributed Object Computing. 2006, 45\u201355"},{"key":"1238_CR2","unstructured":"Web Services Choreography Description Language, version 1.0, 2005. http:\/\/www.w3.org\/TR\/2005\/CR-ws-cdl-10-20051109\/"},{"key":"1238_CR3","first-page":"2","volume-title":"Proceedings of the 16th European Conference on Programming","author":"M Carbone","year":"2007","unstructured":"Carbone M, Honda K, Yoshida N. Structured communication-centred programming for web services. In: Proceedings of the 16th European Conference on Programming. 2007, 2\u201317"},{"key":"1238_CR4","volume-title":"XLANG web services for business process design","author":"S Thatte","year":"2001","unstructured":"Thatte S. XLANG web services for business process design. 2001, http:\/\/www.gotdotnet.com\/team\/xml_wsspecs\/xlang-c\/default.htm"},{"key":"1238_CR5","volume-title":"Web services flow language (WSFL 1.0)","author":"F Leymann","year":"2001","unstructured":"Leymann F. Web services flow language (WSFL 1.0). May 2001, http:\/\/www.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf"},{"key":"1238_CR6","unstructured":"Business Process Execution Language for Web Services (BPEL4WS), version 1.1. May 2003, http:\/\/www.ibm.com\/developerworks\/webservices\/library\/ws-bpel\/"},{"key":"1238_CR7","volume-title":"Business process modeling language","author":"A Arkin","year":"2002","unstructured":"Arkin A. Business process modeling language. November 2002, http:\/\/www.bpmi.org"},{"key":"1238_CR8","first-page":"135","volume-title":"Proceedings of the 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering","author":"H Yang","year":"2008","unstructured":"Yang H, Cai C, Peng L, Zhao X, Qiu Z. Reasoning about channel passing in choreography. In: Proceedings of the 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering. 2008, 135\u2013142"},{"key":"1238_CR9","volume-title":"A post at petri-pi mailing list","author":"N Kavantzas","year":"2005","unstructured":"Kavantzas N. A post at petri-pi mailing list, August 2005"},{"key":"1238_CR10","volume-title":"A theoretical basis of communication-centred concurrent programming","author":"M Carbone","year":"2006","unstructured":"Carbone M, Honda K, Yoshida N, Milner R, Brown G, Ross-Talbot S. A theoretical basis of communication-centred concurrent programming. Technical report, W3C, 2006. http:\/\/www.w3.org\/2002\/ws\/chor\/edcopies\/theory\/note.pdf"},{"key":"1238_CR11","volume-title":"The SPIN model checker: primer and reference manual","author":"G J Holzmann","year":"2003","unstructured":"Holzmann G J. The SPIN model checker: primer and reference manual. Addison-Wesley, 2003"},{"key":"1238_CR12","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/11538394_20","volume-title":"Proceedings of the 3rd International Conference on Business Process Management","author":"A P Barros","year":"2005","unstructured":"Barros A P, Dumas M, Hofstede t A HM. Service interaction patterns. In: Proceedings of the 3rd International Conference on Business Process Management. 2005, 302\u2013318"},{"key":"1238_CR13","volume-title":"Web services choreography description language: Primer version 1.0","author":"S Ross-Talbot","year":"2006","unstructured":"Ross-Talbot S, Fletcher T. Web services choreography description language: Primer version 1.0, May 2006. http:\/\/www.w3.org\/TR\/Year\/WD-ws-cdl-10-primer-YearMMDD\/"},{"key":"1238_CR14","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.entcs.2004.05.007","volume":"105","author":"A Brogi","year":"2004","unstructured":"Brogi A, Canal C, Pimentel E, Vallecillo A. Formalizing web service choreographies. Electronic Notes in Theoretical Computer Science, 2004, 105: 73\u201394","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"1238_CR15","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R. Communication and concurrency. Prentice Hall, 1989"},{"key":"1238_CR16","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/WETICE.2005.57","volume-title":"Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise","author":"N Busi","year":"2005","unstructured":"Busi N, Gorrieri R, Guidi C, Lucchi R, Zavattaro G. Towards a formal framework for choreography. In: Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise. 2005, 107\u2013112"},{"key":"1238_CR17","first-page":"149","volume-title":"Proceedings of the 2006 International Conference on Internet and Web Applications and Services, AICT-ICIW\u2019 06","author":"H Foster","year":"2006","unstructured":"Foster H, Uchitel S, Magee J, Kramer J. Model-based analysis of obligations in web service choreography. In: Proceedings of the 2006 International Conference on Internet and Web Applications and Services, AICT-ICIW\u2019 06. 2006, 149"},{"key":"1238_CR18","first-page":"145","volume-title":"Proceedings of the 2006 Confederated International Conference on On the Move to Meaningful Internet Systems","author":"J M Zaha","year":"2006","unstructured":"Zaha J M, Barros A P, Dumas M, Hofstede T A H M. Let\u2019s Dance: a language for service behavior modeling. In: Proceedings of the 2006 Confederated International Conference on On the Move to Meaningful Internet Systems. 2006, 145\u2013162"},{"key":"1238_CR19","volume-title":"Proceedings of the 3rd International Conference on Web Services and Formal Methods","author":"G Decker","year":"2006","unstructured":"Decker G, Zaha J M, Dumas M. Execution semantics for service choreographies. In: Proceedings of the 3rd International Conference on Web Services and Formal Methods. 2006"},{"key":"1238_CR20","volume-title":"The \u03c0-Calculus: a theory of mobile processes","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi D, Walker D. The \u03c0-Calculus: a theory of mobile processes. New York: Cambridge University Press, 2001"},{"key":"1238_CR21","first-page":"333","volume-title":"Proceedings of the 2005 International Conference on European Performance Engineering, and Web Services and Formal Methods","author":"R Gorrieri","year":"2005","unstructured":"Gorrieri R, Guidi C, Lucchi R. Reasoning about interaction patterns in choreography. In: Proceedings of the 2005 International Conference on European Performance Engineering, and Web Services and Formal Methods. 2005, 333\u2013348"},{"issue":"3","key":"1238_CR22","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.entcs.2006.12.041","volume":"171","author":"M Carbone","year":"2007","unstructured":"Carbone M, Honda K, Yoshida N. A calculus of global interaction based on session types. Electronic Notes in Theoretical Computer Science, 2007, 171(3): 127\u2013151","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"1238_CR23","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1007\/11841760_32","volume-title":"Proceedings of the 4th International Conference on Business Process Management","author":"G Decker","year":"2006","unstructured":"Decker G, Puhlmann F, Weske M. Formalizing service interactions. In: Proceedings of the 4th International Conference on Business Process Management. 2006, 414\u2013419"},{"key":"1238_CR24","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1145\/1963405.1963516","volume-title":"Proceedings of the 20th International Conference on World Wide Web","author":"S Basu","year":"2011","unstructured":"Basu S, Bultan T. Choreography conformance via synchronizability. In: Proceedings of the 20th International Conference on World Wide Web. 2011, 795\u2013804"},{"key":"1238_CR25","first-page":"166","volume-title":"Proceedings of the 17th Conference on Asia Pacific Software Engineering","author":"J Sun","year":"2010","unstructured":"Sun J, Liu Y, Dong J S, Pu G, Tan T H. Model-based methods for linking web service choreography and orchestration. In: Proceedings of the 17th Conference on Asia Pacific Software Engineering. 2010, 166\u2013175"},{"key":"1238_CR26","first-page":"228","volume-title":"Proceedings of the 3rd International Conference on Service-Oriented Computing","author":"N Busi","year":"2005","unstructured":"Busi N, Gorrieri R, Guidi C, Lucchi R, Zavattaro G. Choreography and orchestration: a synergic approach for system design. In: Proceedings of the 3rd International Conference on Service-Oriented Computing. 2005, 228\u2013240"},{"key":"1238_CR27","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/11767954_5","volume-title":"Proceedings of the 8th International Conference on Coordination Models and Language","author":"N Busi","year":"2006","unstructured":"Busi N, Gorrieri R, Guidi C, Lucchi R, Zavattaro G. Choreography and orchestration conformance for system design. In: Proceedings of the 8th International Conference on Coordination Models and Language. 2006, 63\u201381"},{"key":"1238_CR28","first-page":"257","volume-title":"Proceedings of the 2005 International Conference on European Performance Engineering, and Web Services and Formal Methods","author":"M Baldoni","year":"2005","unstructured":"Baldoni M, Baroglio C, Martelli A, Patti V, Schifanella C. Verifying the conformance of web services to global interaction protocols: A first step. In: Proceedings of the 2005 International Conference on European Performance Engineering, and Web Services and Formal Methods. 2005, 257\u2013271"},{"issue":"1","key":"1238_CR29","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.tcs.2004.07.004","volume":"328","author":"X Fu","year":"2004","unstructured":"Fu X, Bultan T, Su J. Conversation protocols: a formalism for specification and verification of reactive electronic services. Theoretical Computer Science, 2004, 328(1): 19\u201337","journal-title":"Theoretical Computer Science"},{"key":"1238_CR30","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-3-540-77351-1_4","volume-title":"Proceedings of the 6th International Conference on Software Composition","author":"M Bravetti","year":"2007","unstructured":"Bravetti M, Zavattaro G. Towards a unifying theory for choreography conformance and contract compliance. In: Proceedings of the 6th International Conference on Software Composition. 2007, 34\u201350"},{"key":"1238_CR31","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/978-3-540-75183-0_22","volume-title":"Proceedings of the 5th International Conference on Business Process Management","author":"G Decker","year":"2007","unstructured":"Decker G, Weske M. Local enforceability in interaction petri nets. In: Proceedings of the 5th International Conference on Business Process Management. 2007, 305\u2013319"},{"key":"1238_CR32","volume-title":"Choreography conformance checking: an approach based on BPEL and Petri Nets (extended version)","author":"W Aalst v. d","year":"2005","unstructured":"Aalst v. d W, Dumas M, Ouyang C, Rozinat A, Verbeek H. Choreography conformance checking: an approach based on BPEL and Petri Nets (extended version). Technical report, BPM Center Report BPM-05-25, BPMcenter.org, 2005"},{"key":"1238_CR33","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1145\/1242572.1242704","volume-title":"Proceedings of the 16th International World Wide Web Conference (www 2007)","author":"Z Qiu","year":"2007","unstructured":"Qiu Z, Zhao X, Cai C, Yang H. Towards the theoretical foundation of choreography. In: Proceedings of the 16th International World Wide Web Conference (www 2007). 2007, 973\u2013982"},{"key":"1238_CR34","first-page":"700","volume-title":"Proceedings of the 2008 IEEE International Conference on Web Services","author":"C Cai","year":"2008","unstructured":"Cai C, Qiu Z. An approach to check choreography with channel passing inWS-CDL. In: Proceedings of the 2008 IEEE International Conference on Web Services. 2008, 700\u2013707"},{"key":"1238_CR35","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1109\/SCC.2008.110","volume-title":"Proceedings of the 2008 IEEE International Conference on Services Computing","author":"C Cai","year":"2008","unstructured":"Cai C, Yang H, Zhao X, Qiu Z. A formal model for channel passing in web service composition. In: Proceedings of the 2008 IEEE International Conference on Services Computing. 2008, 495\u2013496"},{"key":"1238_CR36","first-page":"338","volume-title":"Proceedings of 10th International Conference on Formal Engineering Methods","author":"C Cai","year":"2008","unstructured":"Cai C, Qiu Z, Zhao X, Yang H. Correct channel passing by construction. In: Proceedings of 10th International Conference on Formal Engineering Methods. 2008, 338\u2013354"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-1238-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-013-1238-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-1238-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T06:32:06Z","timestamp":1563604326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-013-1238-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,5]]},"references-count":36,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["1238"],"URL":"https:\/\/doi.org\/10.1007\/s11704-013-1238-z","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,8,5]]}}}