A QoS view of web service choreography

Proceedings - ICEBE 2007: IEEE International Conference on e-Business Engineering - Workshops: SOAIC 2007; SOSE 2007; SOKM 2007

Volumn , Issue , 2007, Pages 607-611

  Zhao, Xiangpeng ^a   Cai, Chao ^a   Yang, Hongli ^a   Qiu, Zongyan ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

Choreography; Formal semantics; QoS; Web service

Indexed keywords

INFORMATION SERVICES; INFORMATION THEORY; WEB SERVICES; WORLD WIDE WEB;

E BUSINESS; ESTIMATION METHODS; FORMAL MODELING; INTERNATIONAL CONFERENCES; MULTIPLE SERVICES; OBSERVABLE BEHAVIOR; TRACE SEMANTICS; WEB SERVICE CHOREOGRAPHY;

ELECTRONIC COMMERCE;

EID: 47349133736     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICEBE.2007.95     Document Type: Conference Paper

References (16)

1. QoS for web services: Requirements and possible approaches, http://www.w3c.or.kr/kr-office/TR/2003/ws-qos/.
2. SOAP service description language, http://ssdl.org.
3. Web services choreography description language, version 1.0, 2005. http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/.
4. Business process execution language for web services, version 1.1, May 2003. http://www-10 6.ibm.com/developerworks/webservices/library/ws-bpel.
5. M. Aiello, F. Rosenberg, C. Platzer, A. Ciabattoni, and S. Dustdar. Service QoS composition at the level of part names. In Proc. of WS-FM 2006, volume 4184 of Lecture Notes in Computer Science, pages 24-37. Springer, 2006.
6. D. Austin, A. Barbir, E. Peters, and S. Ross-Talbot. Web services choreography requirements. 2004.
7. J. Cardoso, A. P. Sheth, J. A. Miller, J. Arnold, and K. Kochut. Quality of service for workflows and web service processes. J. Web Sem, 1(3):281-308, 2004.
8. D. Gouscos, M. Kalikakis, and P. Georgiadis. An approach to modeling web service QoS and provision price. In the 1st Web Services Quality Workshop (WQW2003), 2003.
9. D. A. Menascé. QoS issues in web services. IEEE Internet Computing, 6(6):72-75, 2002.
10. D. A. Menascé. Composing web services: A QoS view. IEEE Internet Computing, 8(6):88-90, 2004.
11. J. O'Sullivan, D. Edmond, and A. T. Hofstede. What's in a service? towards accurate description of non-functional service properties. Distrib. Parallel Databases, 12(2-3): 117-133, 2002.
12. Z. Qiu, X. Zhao, C. Cai, and H. Yang. Towards the theoretical foundation of choreography, 2007. Accepted by WWW'07. Available as a tech. report at http://www.is.pku.edu.cn/~fmows/.
13. H. Yang, X. Zhao, Z. Qiu, C. Cai, and G. Pu. Type checking choreography description language. In Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, volume 4260 of LNCS, pages 264-283. Springer, 2006.
14. H. Yang, X. Zhao, Z. Qiu, G. Pu, and S. Wang. A formal model for web service choreography description language (WS-CDL). In Proc. of ICWS'06, pages 893-894. IEEE Computer Society, 2006.
15. L. Zeng, B. Benatallah, M. Dumas, J. Kalagnanam, and Q. Z. Sheng. Quality-driven web services composition. In Proceedings of the 12th International Conference on World Wide Web (WWW'03), pages 411-421. ACM Press, 2003.
16. X. Zhao, H. Yang, and Z. Qiu. Towards the formal model and verification of web services choreography description language. In Proc. of WS-FM 2006, LNCS 4184. Springer, 2006.