Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies

  • Conference paper
Advances in Web and Network Technologies, and Information Management (APWeb 2009, WAIM 2009)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5731))

Abstract

Current Web service choreography proposals, such as WSCI and BPEL, provide notations for describing the message flows in Web service collaborations. The kernel of WSCI consists of simple communication primitives that may be combined using control-flow constructs expressing sequence, branching, parallelism, synchronization, etc. Many efforts have been made on functional formalization and property verification of WSCI-based service choreography. However, QoS facet of service is yet to be given the importance it deserves. In this paper, we introduce a novel analytical approach to predict the QoS of web service choreographed based on WSCI using general stochastic Petri net (GSPN) as the intermediate representation. From the GSPN model and its corresponding continuous-time Markov chain, analytical estimation of three QoS metrics are obtained. In the case study, we also use computer simulation and confidence interval analysis to validate theoretical evaluations.

Supported by national 863 plans projects of China under grant number NO.2006AA10Z233.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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)

    Chapter  Google Scholar 

  3. Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci. 105, 73–94 (2004)

    Article  MATH  Google Scholar 

  4. Xiangpeng, Z., Hongli, Y., Zongyan, Q.: Towards the formal model and verification of web service choreography description language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 273–287. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  6. Huang, Y., Wang, H.: A petri net semantics for web service choreography. In: SAC 2007, pp. 1689–1690 (2007)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  12. Xie, J., Ye, X., Li, B., Xie, F.: A ConfigurableWeb Service Performance Testing Framework. In: HPCC 2008, pp. 312–319 (2008)

    Google Scholar 

  13. McGregor, C., Schiefer, J.: A Framework for Analyzing and Measuring Business Performance with Web Services. In: CEC 2003, pp. 405–412 (2003)

    Google Scholar 

  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)

    Google Scholar 

  15. Zhong, D., Qi, Z.: A Petri net approach for reliability prediction of web services. In: OTM workshop 2006, pp. 116–125 (2006)

    Google Scholar 

  16. Zarras, A., Vassiliadis, P., Issarny, V.: Model-Driven Dependability Analysis of Web Services. In: DOA 2004, pp. 1608–1625 (2004)

    Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  19. Niederreiter, H.: Random number generation, and quasi-Monte-Carlo methods. SIAM, Philadelphia (1992)

    Book  MATH  Google Scholar 

  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)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of computer science of Chongqing Univ., China

    Yunni Xia, Mingqiang Zhou & Yu Huang

  2. School of software of Chongqing Univ. of Posts and Telecommunications, China

    Jun Chen

Authors
  1. Yunni Xia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jun Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mingqiang Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yu Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Hong Kong University of Science and Technology, Hong Kong

    Lei Chen

  2. Swinburne University of Technology, Melbourne, Australia

    Chengfei Liu

  3. Renmin Universty of China, China

    Xiao Zhang

  4. Renmin University China, China

    Shan Wang

  5. Dept. of Industrial Economics and Technology Management, NTNU, Norway

    Darijus Strasunskas

  6. NTNU, Norway

    Stein L. Tomassen

  7. AOL, China

    Jinghai Rao

  8. SAP Research China, China

    Wen-Syan Li

  9. Comp. Sci. and Eng. Dept., Arizona State University, 85287, Tempe, AZ

    K. Selçuk Candan

  10. Dickson Computer Systems, 7A Victory Avenue 4th floor, Homantin, Kln, P.O. Box, Hong Kong

    Dickson K. W. Chiu

  11. Zhejiang Gongshang University, China

    Yi Zhuang

  12. University of Colorado at Boulder, USA

    Clarence A. Ellis

  13. Kyonggi University, Korea

    Kwang-Hoon Kim

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Xia, Y., Chen, J., Zhou, M., Huang, Y. (2009). A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies. In: Chen, L., et al. Advances in Web and Network Technologies, and Information Management. APWeb WAIM 2009 2009. Lecture Notes in Computer Science, vol 5731. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03996-6_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03996-6_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03995-9

  • Online ISBN: 978-3-642-03996-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation