{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:51:36Z","timestamp":1725889896319},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540388623"},{"type":"electronic","value":"9783540388654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841197_18","type":"book-chapter","created":{"date-parts":[[2006,9,11]],"date-time":"2006-09-11T03:59:47Z","timestamp":1157947187000},"page":"273-287","source":"Crossref","is-referenced-by-count":12,"title":["Towards the Formal Model and Verification of Web Service Choreography Description Language"],"prefix":"10.1007","author":[{"given":"Zhao","family":"Xiangpeng","sequence":"first","affiliation":[]},{"given":"Yang","family":"Hongli","sequence":"additional","affiliation":[]},{"given":"Qiu","family":"Zongyan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Pi4soa, http:\/\/www.pi4soa.org\/"},{"key":"18_CR2","unstructured":"World wide web consortium, http:\/\/www.w3.org\/"},{"key":"18_CR3","unstructured":"Business process execution language for web services, version 1.1. (May 2003), http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-bpel"},{"key":"18_CR4","series-title":"ENTCS","volume-title":"Proc. of WS-FM 2004","author":"A. Brogi","year":"2004","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web service choreographies. In: Proc. of WS-FM 2004. ENTCS, vol.\u00a0105. Elsevier, Amsterdam (2004)"},{"key":"18_CR5","unstructured":"Arkin, A.: Business process modeling language (November 2002), http:\/\/www.bpmi.org\/"},{"key":"18_CR6","unstructured":"Barros, A., Dumas, M., Oaks, P.: A Critical Overview of the Web Services Choreography Description Language (2005), http:\/\/www.bptrends.com"},{"key":"18_CR7","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":"18_CR8","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"Proc. of WWW 2004","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. of WWW 2004, pp. 621\u2013630. ACM Press, New York (2004)"},{"key":"18_CR9","series-title":"ENTCS","volume-title":"Proc. of WLFM 2005","author":"G. Pu","year":"2006","unstructured":"Pu, G., Zhao, X., Wang, S., Qiu, Z.: Towards the semantics and verification of BPEL4WS. In: Proc. of WLFM 2005. ENTCS, vol.\u00a0151. Elsevier, Amsterdam (2006)"},{"key":"18_CR10","volume-title":"Proc. of International Conference on Internet and Web Applications and Services 2006","author":"H. Foster","year":"2006","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based analysis of obligations in web service choreography. In: Proc. of International Conference on Internet and Web Applications and Services 2006. IEEE Computer Society, Los Alamitos (2006)"},{"key":"18_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, Reading (2003)"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Yang, H., Zhao, X., Qiu, Z.: A formal model of web service choreography description language (WS-CDL). Technical report, Preprint of the Institute of Mathematics, Peking University (March 2006), Available at: http:\/\/www.is.pku.edu.cn\/~fmows\/","DOI":"10.1109\/ICWS.2006.3"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/11575863_70","volume-title":"On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops","author":"J. Mendling","year":"2005","unstructured":"Mendling, J., Hafner, M.: From inter-organizational workflows to process execution: Generating BPEL from WS-CDL. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol.\u00a03762, pp. 506\u2013515. Springer, Heidelberg (2005)"},{"key":"18_CR14","volume-title":"Proc. of SEFM 2004","author":"J. Misra","year":"2004","unstructured":"Misra, J.: A programming model for the orchestration of web services. In: Proc. of SEFM 2004. IEEE Computer Society, Los Alamitos (2004)"},{"key":"18_CR15","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: Web Services Choreography Description Language Version 1.0 (November 9, 2005), http:\/\/www.w3.org\/TR\/2005\/CR-ws-cdl-10-20051109\/"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/11526841_24","volume-title":"FM 2005: Formal Methods","author":"Z. Qiu","year":"2005","unstructured":"Qiu, Z., Wang, S.-L., Pu, G., Zhao, X.: Semantics of BPEL4WS-like fault and compensation handling. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 350\u2013365. Springer, Heidelberg (2005)"},{"key":"18_CR17","unstructured":"Ross-Talbot, S.: Web services choreography and process algebra (April 29, 2004)"},{"key":"18_CR18","volume-title":"Proc. of ICWS 2004","author":"G. Salaun","year":"2004","unstructured":"Salaun, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: Proc. of ICWS 2004. IEEE, Los Alamitos (2004)"},{"key":"18_CR19","unstructured":"Thatte, S.: XLANG: Web services for business process design. Technical report, Microsoft (2001)"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11549970_4","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N., Verbeek, H.M.W., Wohed, P.: Life after BPEL? In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-FM 2005. LNCS, vol.\u00a03670, pp. 35\u201350. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841197_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:40:43Z","timestamp":1605624043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841197_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540388623","9783540388654"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11841197_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}