WS-CDL+: An extended WS-CDL execution engine for web service collaboration

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Volumn , Issue , 2007, Pages 928-935

  Kang, Zuling ^a   Wang, Hongbing ^a   Hung, Patrick C K ^b  

^a SOUTHEAST UNIVERSITY   (China)

^b UNIVERSITY OF ONTARIO INSTITUTE OF TECHNOLOGY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

(PL) PROPERTIES; APPLICATION FIELDS; BUSINESS COLLABORATIONS; ELECTRONIC-BUSINESS; EXECUTION ENGINES; IN ORDER; INTERNATIONAL CONFERENCES; ONLINE BUSINESS; PEER-TO-PEER (P2P); SERVICE SPECIFICATIONS; WEB SERVICES CHOREOGRAPHY DESCRIPTION LANGUAGE (WS CDL);

ELECTRONIC COMMERCE; ENGINES; LEARNING SYSTEMS; SOFTWARE PROTOTYPING; WEB SERVICES; WORLD WIDE WEB;

INFORMATION SERVICES;

EID: 46849098792     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2007.196     Document Type: Conference Paper

References (21)

1. D. Austin, A. Barbir, E. Peters, and S. Ross-Talbot, Web Services Choreography Requirements, http://www.w3.org/, 2004.
2. D. Burdett, and N. Kavantzas, WS Choreography Model Overview, http://www.w3.org/. 2004.
3. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon, and C. Barreto, Web Services Choreography Description Language Version 1.0, http://www.w3.org/. 2005.
4. S. Ross-Talbot, and T. Fletcher, Web Services Choreography Description Language: Primer, http://www.w3.org/. 2006.
5. C. Yushi, L.E. Wah, and D.K. Limbu, "Web Services Composition - An Overview of Standards", Synthesis Journal, iTSC, Singapore, 2005, pp. 137-150.
6. N. Milanovic and M. Malek, "Current Solutions for Web Service Composition", IEEE Internet Computing, USA, Novembers December 2004, pp. 51-59.
7. R. Milner, J. Parrow, and D.Walker, "A Calculus of Mobile Processes, Part I and Part II", Information and Computation, 1992, Volume. 100, Issue. 1, pp. 1-77.
8. J. Liao, H. Tan and J.D. Liu, "Describing and Verifying Web Service Using Pi-Calculus", Chinese Journal of Computers, China, April 2005, pp. 635-643.
9. M. Carbone, K. Honda, N. Yoshida, R. Milner, G. Brown, and S. Ross-Talbot, A Theoretical Basis of Communication-Centred Concurrent Programming, http://www.w3.org/, 2006.
10. H.L. Yang, X.P. Zhao, and Z.Y. Qiu. "A Formal Model for Web Service Choreography Description Language (WS-CDL)", International Conference on Web Services 2006 (ICWS 2006), Chicago, USA, Sep. 2006.
11. M.P. Papazoglou, and D. Georgakopoulos, "Serive-Oriented Computing", Communcications of the ACM, October 2003, pp. 25-65.
12. C.A. Petri, Kommunikation mit Automaten, PhD thesis, Institut fuer Instrumentelle Mathematik, Bonn, 1962.
13. D. Martin, M. Burstein, J. Hobbs, O. Lassila, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, B. Parsia, T. Payne, E. Sirin, N. Srinivasan, and K. Sycara, OWL-S: Semantic Markup for Web Services, http://www.daml.org/, 2004.
14. The ESSI WSMO working group, Web Service Modeling Ontology, http://www.wsmo.org/.
15. D. Nau, T.C. Au, O. Ilghami, U. Kuter, J. William, D. Wu, and F. Yaman, "SHOP2: An HTN Planning System", Journal of Artificial Intelligence Research, December 2003, pp. 379-404.
16. F. Leymann, Web Services Flow Language (WSFL) Version 1.0. http://www-3.ibm.com/, 2001.
17. S. Thatte, XLANG, http://www.gotdotnet.com/. 2001.
18. A. Arkin, S. Askary, S. Fordin, W. Jekeli, K. Kawaguchi, D. Orchard, S.o Pogliani, K. Riemer, S. Struble, P. Takacsi-Nagy, I. Trickovic, and S. Zimek, Web Service Choreography Interface (WSCI) 1.0, http://www.w3.org/. 2002.
19. A. Arkin, S. Askary, B. Bloch, Y. Goland, N. Kartha, C.K. Liu, S. Thatte, P. Yendluri, and A. Yiu, Web Services Business Process Execution Language Version 2.0, http://www.oasis-open.org/, 2004.
20. J. Mendling and M. Hafner. "From Inter-Organizational Workflows to Process Execution: Generating BPEL from WS-CDL", OTM 2005 Workshops, Lecture Notes in Computer Science 3762, Springer Verlag, October 2005, pp. 506-515.
21. G.J. Holzmann, The SPIN Model Checker: Primer and Reference Manual, Addison-Wesley, 2003.