Information Systems Frontiers

, Volume 9, Issue 4, pp 375–389 | Cite as

WS-CDL+ for web service collaboration

  • Zuling KangEmail author
  • Hongbing Wang
  • Patrick C. K. Hung


Web services are becoming the prominent paradigm for distributing, computing, and electronic business, while there is an increasing surge to provide online Business-to-Business collaborations. The Web Services Choreography Description Language (WS-CDL) is a Web service specification developed by W3C, in order to provide peer-to-peer collaborations for participants from different parties. Despite the great research interests it has received during recent years, no practical or even prototype execution engine has been built for WS-CDL, which is, however, essential to test and evaluate the properties of WS-CDL when doing research on it, and also a crucial component to put WS-CDL into the application field. This paper implements an execution engine for WS-CDL, which has never been built before, and enhance its functionalities and usability by introducing six extended features into the execution engine, namely WS-CDL+. Several experiments are then done to test the functionalities and performance of the execution engine, making sure that it works properly according to the WS-CDL+ specification and its performance is acceptable. Finally, the whole paper is concluded, as well as the discussion of the application perspectives of WS-CDL/WS-CDL+.


WS-CDL+ Web service Execution engine Collaboration 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Apple, A. W., & MacQueen, D. B. (1991). Standard ml of New Jersey. Proceedings from International Symposium on Programming Language Implementation and Logic Programming, New York, NY, pp. 1–13.Google Scholar
  2. Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., et al. (Eds.) (2004). Web services business process execution language version 2.0. Oasis. Retrieved from
  3. Arkin, A., Askary, S., Fordin, S., Jekeli, W., Kawaguchi, K., Orchard, D., et al. (Eds.) (2002). Web service choreography interface (wsci) 1.0. W3C Note. Retrieved August 8, 2002 from
  4. Au, T.-C., Ilghami, O., Kuter, U., Nau, D., William, J., Wu, D., et al. (2003). SHOP2: An htn planning system. Journal of Artificial Intelligence Research, 20, 379–404.Google Scholar
  5. Austin, D., Barbir, A., Ferris, C., & Garg, S., (Eds.) (2004). Web services architecture requirements. In W3C working group note. Retrieved February 11, 2004 from
  6. Austin, D., Barbir, A., Peters, E., & Ross-Talbot, S. (Eds.) (2004). Web services choreography requirements. In W3C working draft. Retrieved March 11, 2004 from
  7. Barreto, C., Burdett, D., Fletcher, T., Kavantzas, N., Lafon, Y., & Ritzinger, G. (Eds.) (2005). Web services choreography description language version 1.0. In W3C candidate recommendation. Retrieved November 9, 2005 from
  8. Brown, A., & Haas, H. (Eds.) (2004). Web services glossary. In W3C working group note. Retrieved February 11, 2004 from
  9. Brown, G., Carbone, M., Honda, G., Milner, R., Ross-Talbot, S., & Yoshida, N. (2006). A theoretical basis of communication-centred concurrent programming. Web services choreography working group. Retrieved October 23, 2006 from
  10. Burdett, D., & Kavantzas, N. (Eds.) (2004). WS choreography model overview. In W3C working draft. Retrieved March 24, 2004 from
  11. Burstein, M., Hobbs, J., Lassila, O., Martin, D., McDermott, D., McIlraith, S., et al. (2004). OWL-S: Semantic markup for web services. Retrieved from
  12. Erol, K., Hendler, J., & Nau, D.S. (1994). HTN planning: Complexity and expressivity. Proceeding from AAAI-94: The 12th National Conference on Artificial Intellegence, Seattle, WA, pp. 1123–1128.Google Scholar
  13. ESSI WSMO Working Group. Web service modeling ontology. Retrieved from,html.
  14. Fletcher, T., & Ross-Talbot, S. (Eds.). (2006). Web services choreography description language: Primer. In W3C working draft. Retrieved from
  15. Georgakopoulos, D., & Papazoglou, M. P. (2003). Service-oriented computing. Communications of the ACM, 46(10), 25–65.Google Scholar
  16. Gudgin, M., Hadley, M., Karmarkar, A., Lafon, Y., Mendelsohn, N., Moreau, J.J., et al. (Eds.) (2007). SOAP version 1.2 part 1: Messaging framework (2nd ed.), W3C recommendation. Retrieved April 27, 2007 from
  17. Hafner, M., & Mendling, J. (2005). From inter-organizational workflows to process execution: Generating bpel from ws-cdl. Proceedings from OTM 2005 Workshops: Lecture notes in copmuter science 3762 (pp. 506-515). Larnaca, Cyprus: Springer.Google Scholar
  18. Hao, T., Jinde, L., & Jun, L. (2005). Describing and verifying Web service using pi-calculus. Chinese Journal of Computers, 28(4), 635–643.Google Scholar
  19. Holzmann, G. J. (2004). The SPIN model checker: Primer and reference manual. Boston, MA: Pearson Education Inc.Google Scholar
  20. Hongli, Y., Xiangpeng, Z., & Zongyan, Q. (2006a). A formal model for web service choreography description language (WS-CDL). Proceedings from ICWS September 2006: International conference on Web services 2006, Chicago, IL.Google Scholar
  21. Hongli, Y., Xizngpeng, Z., & Zongyan, Q. (2006b). Towards the formal model and verification of web services choreography description language. Proceedings from WS-FM September ’06: 3rd international workshop on Web services and formal methods. Vienna, Austria: Springer.Google Scholar
  22. Huhns, M. N., & Singh, M. P. (2005). Service-oriented computing: Semantics, processes, agents. West Sussex, England: Wiley.Google Scholar
  23. Lafon, Y., & Mitra, N. (Eds.) (2007). SOAP version 1.2 part 0: Primer (2nd ed.). W3C recommendation. Retrieved April 27, 2007 from
  24. Leymann, F. (2001). Web services flow language (wsfl): Version 1.0. Retrieved from
  25. Malek, M., & Milanovic, N. (2004). Current solutions for Web service composition. IEEE Internet Computing, 18(6), 51–59.Google Scholar
  26. Milner, R. (1993). The polyadic π-calculus: a tutorial. In F. L. Bauer, W. Bauer, & H. Schichtenberg (Eds.), Logic and algebra of specification (pp. 203–246). New York: Springer.Google Scholar
  27. Milner, R., Parrow, J., & Walker, D. (1992). A calculus of mobile processes: Part I and part II. Information and Computation, 100(1), 1–77.CrossRefGoogle Scholar
  28. Moller, F., & Victor, B. (1994). The mobility workbench: A tool for the pi-calculus. Proceedings from 6th international conference in computer aided verification (pp. 428–440). Stanford, CA: Springer.Google Scholar
  29. Papazoglou, M. P. (2003). Service-oriented computing: Concepts, characteristics and directions. Proceedings from WISE’03: Fourth International Conference on Web Information Systems Engineering. Washington, DC: IEEE.Google Scholar
  30. Petri, C.A. (1962). Kommunikation mit automaten, Ph.D. thesis. Bonn: Institut für Instrumentelle Mathematik.Google Scholar
  31. Petri, C. A. (1979). Introduction to general net theory. Lecture Notes in Computer Science, 84, 1–19.Google Scholar
  32. Thatte, S. (2001). XLANG: Web services for building process design. Retrieved from

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  • Zuling Kang
    • 1
    Email author
  • Hongbing Wang
    • 1
  • Patrick C. K. Hung
    • 2
  1. 1.School of Computer Science and EngineeringSoutheast UniversityNanjingChina
  2. 2.Faculty of Business and Information TechnologyUniversity of Ontario Institute of TechnologyOntarioCanada

Personalised recommendations