A petri-net-based approach to QoS estimation of web service choreographies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5731 LNCS, Issue , 2009, Pages 113-124

  Xia, Yunni ^a   Chen, Jun ^b   Zhou, Mingqiang ^a   Huang, Yu ^a  

^a CHONGQING UNIVERSITY   (China)

^b BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYTICAL APPROACH; ANALYTICAL ESTIMATIONS; COMMUNICATION PRIMITIVES; CONFIDENCE INTERVAL; CONTINUOUS TIME MARKOV CHAIN; CONTROL-FLOW; GENERAL STOCHASTIC PETRI NET; GSPN MODELS; INTERMEDIATE REPRESENTATIONS; MESSAGE FLOWS; PROPERTY VERIFICATION; QOS METRICS; THEORETICAL EVALUATION; WEB SERVICE CHOREOGRAPHY;

GRAPH THEORY; INFORMATION MANAGEMENT; MARKOV PROCESSES; PETRI NETS; TECHNICAL PRESENTATIONS; WEB SERVICES;

COMPUTER SIMULATION;

EID: 70349306520     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03996-6_11     Document Type: Conference Paper

References (20)

1. W3C, Web Service Choreography Interface (WSCI) 1.0, World Wide Web Consortium (2002), http://www.w3.org/TR/wsci
2. Liu, F., Shi, Y., Zhang, L., Lin, L., Shi, B.-L.: Analysis of web services composition and substitution via CCS. In: Lee, J., Shim, J., Lee, S.-g., Bussler, C.J., Shim, S. (eds.) DEECS 2006. LNCS, vol.4055, pp. 236-245. Springer, Heidelberg (2006)
3. Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci. 105, 73-94 (2004)
4. Xiangpeng, Z., Hongli, Y., Zongyan, Q.: Towards the formal model and verifica-tion of web service choreography description language. In: Bravetti, M., unez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.4184, pp. 273-287. Springer, Heidelberg (2006)
5. Huang, Y., Xu, C., Wang, H., Xia, Y., Zhu, J., Zhu, C.: Formalizing Web Service Choreography Interface. In: AINA Workshops, vol. (2), pp. 576-581 (2007)
6. Huang, Y., Wang, H.: A petri net semantics for web service choreography. In: SAC 2007, pp. 1689-1690 (2007)
7. Deng, X., Lin, Z., Chen, W., Xiao, R., Fang, L., Li, L.: Modeling Web Service Choreography and Orchestration with Colored Petri Nets. In: SNPD 2007, pp. 838-843 (2007)
8. Diaz, G., Pardo, J.J., Cambronero, M.-E., Valero, V., Cuartero, F.: Verification of Web Services with Timed Automata. Electr. Notes Theor. Comput. Sci. 157(2), 19-34 (2006)
9. Shi, Y., Zhang, L., Liu, F., Lin, L., Shi, B.-L.: Web service collaboration analysis via automata. In: Fan, W., Wu, Z., Yang, J. (eds.) WAIM 2005. LNCS, vol.3739, pp. 858-863. Springer, Heidelberg (2005)
10. Mashado, A.C.C., Ferraz, C.A.G.: JWSPerf: A Performance Benchmarking Utility with Support to Multiple Web Services Implementations. In: AICT-ICIW 2006, pp. 159-165 (2006)
11. Chen, S., Yan, B., Zic, J., Liu, R., Ng, A.: Evaluation and Modeling of Web Services Performance. In: ICWS 2006, pp. 437-444 (2006) (Pubitemid 351209881)
12. Xie, J., Ye, X., Li, B., Xie, F.: A ConfigurableWeb Service Performance Testing Framework. In: HPCC 2008, pp. 312-319 (2008)
13. McGregor, C., Schiefer, J.: A Framework for Analyzing and Measuring Business Performance with Web Services. In: CEC 2003, pp. 405-412 (2003)
14. Koizumi, S., Koyama, K.: Workload-aware business process simulation with statistical service analysis and timed Petri net. In: ICWS 2007, pp. 70-77 (2007)
15. Zhong, D., Qi, Z.: A Petri net approach for reliability prediction of web services. In: OTM workshop 2006, pp. 116-125 (2006)
16. Zarras, A., Vassiliadis, P., Issarny, V.: Model-Driven Dependability Analysis of Web Services. In: DOA 2004, pp. 1608-1625 (2004)
17. Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K.: Quality of service for workflows and web service processes. Elsevier Transaction on web semantics 1(3), 281-308 (2004)
18. Balbo, G.: Introduction to generalized stochastic petri nets. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.4486, pp. 83-131. Springer, Heidelberg (2007)
19. Niederreiter, H.: Random number generation, and quasi-Monte-Carlo methods. SIAM, Philadelphia (1992)
20. Leemis, L.M., Trivedi, K.S.: A Comparison of Approximate Interval Estimators for the Bernoulli Parameter. The American Statistician 50(1), 63-68 (1996)