A denotational model for web services choreography

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5375 LNCS, Issue , 2008, Pages 1-12

  Pu, Geguang ^a   Zhao, Yongxin ^a   Wang, Zheng ^a   Feng, Libo ^a   Zhu, Huibiao ^a   He, Jifeng ^a  

^a EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

Choreography; Denotational Semantics; Web Services; WS CDL

Indexed keywords

INFORMATION THEORY; INTERNET; MACHINE DESIGN; SEMANTICS; WEB SERVICES;

CHOREOGRAPHY; DENOTATIONAL SEMANTICS; WS-CDL;

WORLD WIDE WEB;

EID: 58449084620     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89737-8_1     Document Type: Conference Paper

References (16)

1. Brogi, A, Canal, C, Pimentel, E., Vallecillo, A,: Formalizing web service choreographies. In: Proc. of WS-FM 2004, Electr. Notes Theor. Comput. Sci., pp. 73-94 (2004)
2. Business Process Execution Language for Web Services version 1.1, http://www.ibm.com/developerworks/library/specification/ws-bpel/
3. Dunne, S., Stoddart, B. (eds.): UTP 2006. LNCS, vol. 4010. Springer, Heidelberg (2006)
4. Gorrieri, R., Guidi, C, Lucchi, R.: Reasoning about interaction patterns in choreography. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-FM 2005. LNCS, vol. 3670, pp. 333-348. Springer, Heidelberg (2005)
5. Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice Hall, En-glewood Cliffs (1998)
6. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Mannual. Addison-Wesley, Reading (2003)
7. Milner, R, Parrow, J., Walker, D.: A calculus of mobile processes. Journal of information and Computation 100, 1-77 (1992)
8. Pu, G., Zhao, X., Wang, S., Qiu, Z.: Towards the semantics and verification of BPEL. In: Proc. of Electronic Notes in Theoretical Computer Science, vol. 151(2), pp. 33-52 (2006)
9. Pu, G., Zhu, H., Qiu, Z., Wang, S., Zhao, X., He, J.: Theoretical foundations of scope-based compensable flow language for web service. In: Gorrieri, R,., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 251-266. Springer, Heidelberg (2006)
10. Roscoe, A.W., Hoare, C.A.R.: The laws of Occam programming. Theoretical Computer Science 60, 177-229 (1988)
11. Thatte, S.: XLANG: Web Services for Business Process Design. Microsoft (2001), http://www.gotdotnet.com/team/xml-wsspecs/xlang-c/default.html
12. Web Services Choreography Description Language, Version 1.0 (November 2005), http://www.w3.org/TR/ws-cdl-10/
13. WS-CDL Eclipse Plug-in, http://wscdl-eclipse.sourceforge.net Web Service Choreography Interface (WSCI) 1.0, ;http://www. w3.org/TR/wsci/
14. Web Services Flow Language (WSFL), http://xml.coverpages.org/wsfl.html
15. Yang, H., Zhao, X., Qiu, Z., Cai, C Pu, G.: Type checking choreography description language, in: Liu, Z., He, J. (eds.) 1CFEM 2006. LNCS, vol. 4260, pp. 264-283. Springer, Heidelberg (2006)
16. Yang, H., Zhao, X., Qiu, Z., Pu, G., Wang, S.: A Formal Model forWeb Service Choreography Description Language (WS-CDL). In: Proc. of ICWS 2006, pp. 93-894 (2006)