WS-CDL+ for web service collaboration

Information Systems Frontiers

Volumn 9, Issue 4, 2007, Pages 375-389

  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

Collaboration; Execution engine; Web service; WS CDL+

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SUPPORTED COOPERATIVE WORK; ONLINE SYSTEMS;

COLLABORATIONS; ELECTRONIC BUSINESS; EXECUTION ENGINES; WEB SERVICES CHOREOGRAPHY DESCRIPTION LANGUAGES;

WEB SERVICES;

EID: 36148944304     PISSN: 13873326     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10796-007-9041-8     Document Type: Article

References (32)

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.
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 http://www.oasis-open.org/committees/download.php/ 10347/wsbpel-specification-draft-120204.htm.
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 http://www.w3.org/TR/wsci/.
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.
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 http://www.w3.org/TR/wsa-reqs/.
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 http://www.w3.org/TR/2004/WD-ws-chor-reqs-20040311/.
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 http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/.
8. 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/.
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 http://www.w3.org/2002/ws/chor/edcopies/theory/note.pdf.
10. 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/.
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 http://www.daml.org/services/owl-s/1.1/overview/.
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.
13. ESSI WSMO Working Group. Web service modeling ontology. Retrieved from http://www.wsmo.org/index,html.
14. 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/.
15. Georgakopoulos, D., & Papazoglou, M. P. (2003). Service-oriented computing. Communications of the ACM, 46(10), 25-65.
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 http://www.w3.org/TR/ soap12-part1/.
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.
18. Hao, T., Jinde, L., & Jun, L. (2005). Describing and verifying Web service using pi-calculus. Chinese Journal of Computers, 28(4), 635-643.
19. Holzmann, G. J. (2004). The SPIN model checker: Primer and reference manual. Boston, MA: Pearson Education Inc.
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.
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.
22. Huhns, M. N., & Singh, M. P. (2005). Service-oriented computing: Semantics, processes, agents. West Sussex, England: Wiley.
23. 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/.
24. Leymann, F. (2001). Web services flow language (wsfl): Version 1.0. Retrieved from http://www3.ibm.com/software/solutions/webservices/pdf/WSFL/pdf.
25. Malek, M., & Milanovic, N. (2004). Current solutions for Web service composition. IEEE Internet Computing, 18(6), 51-59.
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.
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.
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.
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.
30. Petri, C.A. (1962). Kommunikation mit automaten, Ph.D. thesis. Bonn: Institut für Instrumentelle Mathematik.
31. Petri, C. A. (1979). Introduction to general net theory. Lecture Notes in Computer Science, 84, 1-19.
32. Thatte, S. (2001). XLANG: Web services for building process design. Retrieved from http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/defualt.htm.