Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks
Web services providers often commit service-level agreements (SLAs) with their customers for guaranteeing the quality of the services. These SLAs are related not just to functional attributes of the services but to performance and reliability attributes as well. When combining several services into a composite service, it is non-trivial to determine, prior to service deployment, performance and reliability values of the composite service appropriately. Moreover, once the service is deployed, it is often the case that during operation it fails to meet its SLA and needs to detect what has gone wrong (i.e., performance/reliabilty bottlenecks).
To resolve these, we develop a continuous-time Markov chain (CTMC) formulation of composite services with failures. By explicitly including failure states into the CTMC representation of a service, we can compute accurately both its performance and reliability using the single CTMC. We can also detect its performance and reliability bottlenecks by applying the formal sensitivity analysis technique. We demonstrate our approach by choosing a representative example of composite Web services and providing a set of closed-form formulas for its bottleneck detection.
- 1.Blake, J., Reibman, A., Trivedi, K.: Sensitivity analysis of reliability and performability measures for multiprocessor systems. In: ACM SIGMETRICS, pp. 177–186. ACM Press, New York (1988)Google Scholar
- 4.Chowdhary, P., Bhaskaran, K., Caswell, N.S., Chang, H., Chao, T., Chen, S., Dikun, M., Lei, H., Jeng, J., Kapoor, S., Lang, C.A., Mihaila, G., Stanoi, I., Zeng, L.: Model driven development for business performance management. IBM Systems Journal 45(3) (2006)Google Scholar
- 5.Fox, J.: An R and S-Plus Companion to Applied Regression. Sage Publications, Thousand Oaks (2002)Google Scholar
- 6.Garg, S., Kintala, C., Yajnik, S., Huang, Y., Trivedi, K.: Performance and reliability evaluation of passive replication schemes in application level fault tolerance. In: the 29th Annual International Symposium on Fault-Tolerant Computing, p. 322 (1999)Google Scholar
- 10.Hirel, C., Sahner, R., Zang, X., Trivedi, K.: Reliability and Performability Modeling using SHARPE 2000. In: Haverkort, B., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, Springer, Heidelberg (2000)Google Scholar
- 13.OASIS: Specification: Business Process Execution Language for Web Services (1.1) (2004)Google Scholar
- 14.Sharma, V., Trivedi, K.: Reliability and performance of component based software systems with restarts, retries, reboots and repairs. In: International Symposium on Software Reliability Engineering (2006)Google Scholar
- 15.Tobias, P., Trindade, D.: Applied Reliability, 2nd edn. Kluwer, Dordrecht (1995)Google Scholar
- 17.Trivedi, K.: SPNP User’s Manual Version 6.0. Duke University (September 1999)Google Scholar
- 18.Trivedi, K.: Probability and Statistics with Reliability, Queuing, and Computer Science Applications. John Wiley & Sons, West Sussex, England (2001)Google Scholar
- 19.Wang, D., Fricks, R., Trivedi, K.: Dealing with Non-Exponential Distributions in Dependability Models. In: Performance Evaluation and Perspectives, pp. 273–302 (2003)Google Scholar
- 22.Whitt, W.: The queueing network analyzer. Bell System Technical Journal 62(9), 2779–2815 (1983)Google Scholar