A probabilistic QoS model-checking for dynamic routing protocol

Proceedings - International Conference on Quality Software

Volumn , Issue , 2010, Pages 441-448

  Yang, Hongli ^a   Zhou, Liang ^a   He, Kang ^a   Deng, Chen ^a   Zhao, Xiangpeng ^b   Qiu, Zongyan ^c  

^a BEIJING UNIVERSITY OF TECHNOLOGY   (China)

^b MICROSOFT   (United States)

^c PEKING UNIVERSITY   (China)

Author keywords

Dynamic routing protocol; PRISM; Probabilistic model checking; QoS; Web service choreography

Indexed keywords

DYNAMIC ROUTING; MULTIPLE SERVICES; NON FUNCTIONAL PROPERTIES; PROBABILISTIC MODELS; PURCHASE ORDERS; QOS; QOS MODELS; STOCHASTIC ANALYSIS; WEB SERVICE CHOREOGRAPHY;

AD HOC NETWORKS; INTERNET PROTOCOLS; PRISMS; PURCHASING; QUALITY OF SERVICE; ROUTING PROTOCOLS; STOCHASTIC MODELS; WEB SERVICES;

MODEL CHECKING;

EID: 77958180647     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2010.39     Document Type: Conference Paper

References (21)

1. Alistair P. Barros, Marlon Dumas, and Arthur H. M. ter Hofstede, "Service Interaction Patterns," Available: http://dblp.uni-trier.de/ db/conf/bpm/bpm2005.html#BarrosDH05, 2005.
2. D. A. Menascé, "Composing Web Services: A QoS view," IEEE Internet Computing, vol. 8, no. 6, pp. 88-90, 2004.
3. D. A. Menascé, "QoS issues in web services," IEEE Internet Computing, vol. 6, no. 6, pp. 72-75, 2002.
4. 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, vol. 12, no. 2-3, pp. 117-133, 2002.
5. "QoS for web services: Requirements and possible approaches." [Online]. Available: http://www.w3c.or.kr/kr-office/TR/2003/ws-qos/.
6. "Web Services Choreography Description Language (WSCDL), version 1.0," 2005. [Online]. Available: http://www.w3.org/TR/2005/CR-ws-cdl-10- 20051109.
7. D. Austin, A. Barbir, E. Peters, and S. Ross-Talbot, "Web services choreography requirements," 2004. [Online]. Available: http://www.w3.org/ TR/2004/WD-ws-chor-reqs-20040311/.
8. Z. Xiangpeng, C. Chao, Y. Hongli, and Q. Zongyan, "A QoS view of web service choreography," in Proceedings of ICEBE '07. IEEE Computer Society, 2007, pp. 607-611.
9. S.-Y. Hwang, H. Wang, J. Tang, and J. Srivastava, "A probabilistic approach to modeling and estimating the QoS of web-services-based workflows," Inf. Sci., vol. 177, no. 23, pp. 5484-5503, 2007.
10. Y. Hongli, Z. Xiangpeng, C. Chao, and Q. zongyan, "Model-checking of web services choreography," in Proceedings of SOSE'08. IEEE CS, 2008, pp. 79-84.
11. PRISM. [Online]. Available: http://www.prismmodelchecker.org/.
12. N. Kavantzas, D. Burdett, G. Ritzinger, et al., "Web Services Choreography Description Language, version 1.0," 2005, http://www.w3.org/ TR/2005/CR-ws-cdl-10-20051109/.
13. N. Kavantzas, "A post at petri-pi mailing list," August 2005.
14. J. Cardoso, A. P. Sheth, J. A. Miller, et al., "Quality of service for workflows and web service processes," J. Web Sem, vol. 1, no. 3, pp. 281-308, 2004.
15. S.-Y. Hwang, H. Wang, J. Srivastava, and R. A. Paul, "A probabilistic QoS model and computation framework for web services-based workflows," in Conceptual Modeling C ER 2004, LNCS 3288. Springer, 2004, pp. 596-609.
16. M. Aiello, F. Rosenberg, C. Platzer, et al., "Service QoS composition at the level of part names," in Proc. of WS-FM 2006, LNCS 4184. Springer, 2006, pp. 24-37.
17. L. Zeng, B. Benatallah, M. Dumas, et al., "Quality-driven web services composition," in Proceedings of WWW'03. ACM Press, 2003, pp. 411-421.
18. F. Arbab, T. Chothia, et al., "From coordination to stochastic models of qos," in Proceedings of Coordination 2009, LNCS 5521. Springer, 2009, pp. 268-287.
19. F. Arbab, "Reo: a channel-based coordination model for component composition," Mathematical Structures in Computer Science, vol. 14, pp. 329-336, 2004.
20. Y. Xia, J. Chen, M. Zhou, and Y. Huang, "A petri-net-based approach to QoS estimation of web service choreographies," in Advances in Web and Network Technologies, and Information Management, LNCS 5731. Springer, 2010, pp. 113-124.
21. Y. Hongli, Z. Xiangpeng, C. Chao, and Q. Zongyan, "Exploring the connection of choreography and orchestration with exception handling and finalization/compensation," in Proceedings of FORTE '07. Springer, 2007, pp. 81-96.