Abstract
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+.
Similar content being viewed by others
References
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.
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 http://www.oasis-open.org/committees/download.php/10347/wsbpel-specification-draft-120204.htm.
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 http://www.w3.org/TR/wsci/.
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.
Austin, D., Barbir, A., Ferris, C., & Garg, S., (Eds.) (2004). Web services architecture requirements. In W3C working group note. Retrieved February 11, 2004 from http://www.w3.org/TR/wsa-reqs/.
Austin, D., Barbir, A., Peters, E., & Ross-Talbot, S. (Eds.) (2004). Web services choreography requirements. In W3C working draft. Retrieved March 11, 2004 from http://www.w3.org/TR/2004/WD-ws-chor-reqs-20040311/.
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 http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/.
Brown, A., & Haas, H. (Eds.) (2004). Web services glossary. In W3C working group note. Retrieved February 11, 2004 from http://www.w3.org/TR/ws-gloss/.
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 http://www.w3.org/2002/ws/chor/edcopies/theory/note.pdf.
Burdett, D., & Kavantzas, N. (Eds.) (2004). WS choreography model overview. In W3C working draft. Retrieved March 24, 2004 from http://www.w3.org/TR/2004/WD-ws-chor-model-20040324/.
Burstein, M., Hobbs, J., Lassila, O., Martin, D., McDermott, D., McIlraith, S., et al. (2004). OWL-S: Semantic markup for web services. Retrieved from http://www.daml.org/services/owl-s/1.1/overview/.
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.
ESSI WSMO Working Group. Web service modeling ontology. Retrieved from http://www.wsmo.org/index,html.
Fletcher, T., & Ross-Talbot, S. (Eds.). (2006). Web services choreography description language: Primer. In W3C working draft. Retrieved from http://www.w3.org/TR/2006/WD-ws-cdl-10-primer-20060619/.
Georgakopoulos, D., & Papazoglou, M. P. (2003). Service-oriented computing. Communications of the ACM, 46(10), 25–65.
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 http://www.w3.org/TR/soap12-part1/.
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.
Hao, T., Jinde, L., & Jun, L. (2005). Describing and verifying Web service using pi-calculus. Chinese Journal of Computers, 28(4), 635–643.
Holzmann, G. J. (2004). The SPIN model checker: Primer and reference manual. Boston, MA: Pearson Education Inc.
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.
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.
Huhns, M. N., & Singh, M. P. (2005). Service-oriented computing: Semantics, processes, agents. West Sussex, England: Wiley.
Lafon, Y., & Mitra, N. (Eds.) (2007). SOAP version 1.2 part 0: Primer (2nd ed.). W3C recommendation. Retrieved April 27, 2007 from http://www.w3.org/TR/soap12-part0/.
Leymann, F. (2001). Web services flow language (wsfl): Version 1.0. Retrieved from http://www3.ibm.com/software/solutions/webservices/pdf/WSFL/pdf.
Malek, M., & Milanovic, N. (2004). Current solutions for Web service composition. IEEE Internet Computing, 18(6), 51–59.
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.
Milner, R., Parrow, J., & Walker, D. (1992). A calculus of mobile processes: Part I and part II. Information and Computation, 100(1), 1–77.
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.
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.
Petri, C.A. (1962). Kommunikation mit automaten, Ph.D. thesis. Bonn: Institut für Instrumentelle Mathematik.
Petri, C. A. (1979). Introduction to general net theory. Lecture Notes in Computer Science, 84, 1–19.
Thatte, S. (2001). XLANG: Web services for building process design. Retrieved from http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/defualt.htm.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kang, Z., Wang, H. & Hung, P.C.K. WS-CDL+ for web service collaboration. Inf Syst Front 9, 375–389 (2007). https://doi.org/10.1007/s10796-007-9041-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10796-007-9041-8