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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
BPML.org.Business process modeling language (2002), http://www.bpmi.org
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
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)
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)
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)
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)
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)
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)
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)
Humboldt-Universit At Zu, Analyzing Web Service based Business Processes Axel Martens (2005)
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)
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)
Cheung, R.C.: A User-Oriented Software Reliability Model. IEEE Transactions on Software Engineering 6(2), 118–125 (1980)
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)
Musa, J.D.: Opeartional profiles in software reliability engineering. IEEE Software 10(2) (1993)
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)
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)
Bernardi, S.: Phd Paper, Building Stochastic Petri Net models for the verification of complex software systems, Torino
Marsan, A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modeling with Generalized Stochastic Petri Nets. Wiley, Chichester (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)