A Petri Net Based Approach for Reliability Prediction of Web Services

  • Duhang Zhong
  • Zhichang Qi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4277)


Web service composition is a distributed model to construct new web service on top of existing primitive or other composite web services. Many research efforts have been made in web services composition and coordination. In such a scenario, an important issue is how to assess the degree of trustworthiness one can have about the web service composition, especially their performance and dependability characteristics. In this paper, we propose a petri net based approach to predict the reliability of web service composition. The first step of the approach involves the transformation of web service composition specification into Stochastic Petri Nets (SPN) model. The proposed transformation is built upon BPEL. From the SPN model, we can derive the reliability and performance measure of web service composition.


Business Process Reliability Prediction Discrete Time Markov Chain Primitive Activity Software Reliability Model 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Curbera, F., Duftler, M., Khalaf, R., Nagy, W., Mukhi, N., Weerawarana, S.: Unraveling the web services web: An introduction to SOAP, WSDL, and UDDI. IEEE Internet Computing 6(2), 86–93 (2002)CrossRefGoogle Scholar
  3. 3.
  4. 4.
    BPML.org.Business process modeling language (2002), http://www.bpmi.org
  5. 5.
    BEA, IBM, Microsoft, SAP AG, and Siebel Systems. Business process execution language for web services (version 1.1) (2003), ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf
  6. 6.
    Reussner, R.H., Schmidit, H.W., Poernomo, I.H.: Reliability prediction for component-based software architectures. Journal of Systems and Software 66, 241–252 (2003)CrossRefGoogle Scholar
  7. 7.
    Wang, W.-L., Wu, Y., Chen, M.-H.: An Architecture-based software reliability model. In: Proc. IEEE Pacific Rim Int. Symposium on Dependable Computing, Hong Kong, China (December 1999)Google Scholar
  8. 8.
    Zarras, A., Vassiliadis, P., Issarny, V.: Model-Driven Dependability Analysis of Web Services. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3291, Springer, Heidelberg (2004)Google Scholar
  9. 9.
    Grassi, V.: Architecture-Based reliability Prediction for Service-Oriented Computing. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems III. LNCS, vol. 3549, pp. 279–299. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    Goseva-Popstojanova, K., Mathur, A.P., Trivedi, K.S.: Comparision of architecture-based software reliability models. In: Proc. of the 12th Int. Symposium on Software Reliability Engineering (ISSRE 2001) (2001)Google Scholar
  11. 11.
    Verbeek, H.M.W., van der Aalst, W.M.P.: Analyzing BPEL Processes using Petri Nets. In: Marinescu, D. (ed.) Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, pp. 59–78. Florida International University, Miami, Florida (2005)Google Scholar
  12. 12.
    Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Humboldt-Universit At Zu, Analyzing Web Service based Business Processes Axel Martens (2005)Google Scholar
  14. 14.
    Ciardo, G., Muppala, J.K., Trivedi, K.S.: Analyzing Concurrent and Fault-Tolerant Software using Stochastic Reward Nets. Journal of Parallel and Distributed Computing 15, 255–269 (1992)CrossRefGoogle Scholar
  15. 15.
    Hirel, C., Tuffin, B., Trivedi, K.S.: SPNP: Stochastic Petri Nets. Version 6.0. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, Springer, Heidelberg (2000)Google Scholar
  16. 16.
    Cheung, R.C.: A User-Oriented Software Reliability Model. IEEE Transactions on Software Engineering 6(2), 118–125 (1980)CrossRefGoogle Scholar
  17. 17.
    Yacoub, S.M., Cubic, B., Ammar, H.H.: Scenario-Based Reliability Analysis of Component-Based Software. In: Proc. of the 10th ISSRE, IEEE, Boca Raton (1999)Google Scholar
  18. 18.
    Musa, J.D.: Opeartional profiles in software reliability engineering. IEEE Software 10(2) (1993)Google Scholar
  19. 19.
    Happe, J., Firus, V.: Using Stochastic Petri Nets to Predict Quality of Services Attributes of Component-Based Software Architectures. In: The Tenth International Workshop on Component-Oriented Programming, Glasgow, Scotland, July 25-29 (2005)Google Scholar
  20. 20.
    Tan, Z., Lin, C., Yin, H., Hong, Y., Zhu, G.: Approximate Performance Analysis of web Services Flow Using Stochastic Petri Net. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol. 3251, pp. 193–200. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  21. 21.
  22. 22.
    Bernardi, S.: Phd Paper, Building Stochastic Petri Net models for the verification of complex software systems, TorinoGoogle Scholar
  23. 23.
    Marsan, A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modeling with Generalized Stochastic Petri Nets. Wiley, Chichester (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Duhang Zhong
    • 1
  • Zhichang Qi
    • 1
  1. 1.School of Computer ScienceNational University of Defense TechnologyChangshaP.R. China

Personalised recommendations