Skip to main content
SpringerLink
Log in

A Petri Net Based Approach for Reliability Prediction of Web Services

  • Conference paper
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (OTM 2006)

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

Abstract

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.

An erratum to this chapter can be found at http://dx.doi.org/10.1007/11915034_125.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. http://www.w3.org/TR/wsdl

  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)

    Article  Google Scholar 

  3. http://www128.ibm.com/developerworks/library/ws-bpel/

  4. BPML.org.Business process modeling language (2002), http://www.bpmi.org

  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. 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)

    Article  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  13. Humboldt-Universit At Zu, Analyzing Web Service based Business Processes Axel Martens (2005)

    Google Scholar 

  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)

    Article  Google Scholar 

  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. Cheung, R.C.: A User-Oriented Software Reliability Model. IEEE Transactions on Software Engineering 6(2), 118–125 (1980)

    Article  Google Scholar 

  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. Musa, J.D.: Opeartional profiles in software reliability engineering. IEEE Software 10(2) (1993)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  21. http://www.ee.duke.edu/~chirel/research.html

  22. Bernardi, S.: Phd Paper, Building Stochastic Petri Net models for the verification of complex software systems, Torino

    Google Scholar 

  23. Marsan, A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modeling with Generalized Stochastic Petri Nets. Wiley, Chichester (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, National University of Defense Technology, Changsha, 410073, P.R. China

    Duhang Zhong & Zhichang Qi

Authors
  1. Duhang Zhong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhichang Qi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STARLab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, 3001, Melbourne, VIC, Australia

    Zahir Tari

  3. Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo S/N, 28660, Boadilla del Monte, Madrid, Spain

    Pilar Herrero

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhong, D., Qi, Z. (2006). A Petri Net Based Approach for Reliability Prediction of Web Services. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops. OTM 2006. Lecture Notes in Computer Science, vol 4277. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11915034_34

Download citation

  • DOI: https://doi.org/10.1007/11915034_34

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-48269-7

  • Online ISBN: 978-3-540-48272-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation