{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:12:00Z","timestamp":1725520320591},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540881933"},{"type":"electronic","value":"9783540881940"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88194-0_21","type":"book-chapter","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T10:56:21Z","timestamp":1224240981000},"page":"338-354","source":"Crossref","is-referenced-by-count":0,"title":["Correct Channel Passing by Construction"],"prefix":"10.1007","author":[{"given":"Chao","family":"Cai","sequence":"first","affiliation":[]},{"given":"Zongyan","family":"Qiu","sequence":"additional","affiliation":[]},{"given":"Xiangpeng","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Hongli","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Web Services Choreography Description Language (WS-CDL), version 1.0 (2005), \n                    \n                      http:\/\/www.w3.org\/TR\/2005\/CR-ws-cdl-10-20051109\/"},{"key":"21_CR2","unstructured":"Business Process Execution Language for Web Services (WS-BPEL), version 2.0 (April 2007), \n                    \n                      http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11549970_19","volume-title":"Formal Techniques for Computer Systems and Business Processes","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: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 257\u2013271. Springer, Heidelberg (2005)"},{"key":"21_CR4","volume-title":"Proc. of Software Composition 2007","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Towards a unifying theory for choreography conformance and contract compliance. In: Proc. of Software Composition 2007. Springer, Heidelberg (2007)"},{"key":"21_CR5","unstructured":"Burdett, D., Kavantzas, N.: WS Choreography Model Overview, \n                    \n                      http:\/\/www.w3.org\/TR\/ws-chor-model\/"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11596141_18","volume-title":"Service-Oriented Computing - ICSOC 2005","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: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 228\u2013240. Springer, Heidelberg (2005)"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11767954_5","volume-title":"Coordination Models and Languages","author":"N. Busi","year":"2006","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 63\u201381. Springer, Heidelberg (2006)"},{"key":"21_CR8","unstructured":"Cai, C., Qiu, Z.: An approach to check choreography with channel passing in WS-CDL. In: The Proceeding of International Conference on Web Service (ICWS) (to appear, 2008)"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"key":"21_CR10","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), \n                    \n                      http:\/\/www.w3.org\/2002\/ws\/chor\/edcopies\/theory\/note.pdf"},{"key":"21_CR11","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Service Definition Language (WSDL) 1.1, \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-75183-0_22","volume-title":"Business Process Management","author":"G. Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Local enforceability in interaction petri nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 305\u2013319. Springer, Heidelberg (2007)"},{"key":"21_CR13","unstructured":"Fu, X., Bultan, T., Su, J.: A top-down approach to modeling global behaviors of web services. In: REOS 2003 (2003)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: A formalism for specification and verification of reactive electronic services. Theoretical Computer Science\u00a0328 (2004)","DOI":"10.1016\/j.tcs.2004.07.004"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/11768869_18","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C. Guidi","year":"2006","unstructured":"Guidi, C., Lucchi, R.: Mobility mechanisms in service oriented computing. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 233\u2013250. Springer, Heidelberg (2006)"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Information Retrieval Technology","author":"Laneve","year":"2005","unstructured":"Laneve, Zavattaro: Foundations of web transactions. In: Myaeng, S.-H., Zhou, M., Wong, K.-F., Zhang, H.-J. (eds.) AIRS 2004. LNCS, vol.\u00a03411. Springer, Heidelberg (2005)"},{"issue":"1","key":"21_CR17","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","volume":"70","author":"R. Lucchi","year":"2007","unstructured":"Lucchi, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming\u00a070(1), 96\u2013118 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"21_CR18","volume-title":"Proc. of WWW 2007","author":"Z. Qiu","year":"2007","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: Proc. of WWW 2007, Banff, Canada. ACM Press, New York (2007)"},{"key":"21_CR19","unstructured":"van der Aalst, 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":"21_CR20","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/TASE.2008.19","volume-title":"TASE 2008. 2nd IFIP\/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: TASE 2008. 2nd IFIP\/IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 135\u2013142. IEEE Computer Society Press, Los Alamitos (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88194-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T15:52:19Z","timestamp":1551628339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88194-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540881933","9783540881940"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88194-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}