Issue No.03 - Third Quarter (2012 vol.5)
pp: 422-436
Zuohua Ding , Zhejiang Sci-Tech University, Hangzhou
Mingyue Jiang , Zhejiang Sci-Tech University, Hangzhou
Abraham Kandel , University of South Florida, Tampa
Web service composition is a distributed model to construct new web service on top of existing primitive or other composite web services. However, current service technologies, including proposed composition languages, do not address the reliability of web service composition. Thus, it is hard to predict the system reliability. In this paper, we propose a method to compute system reliability based on Service Component Architecture (SCA), a standard that provides a language-independent way to define and compose service components in the system. We first present a formal service component signature model with respect to the specification of the SCA assembly model, and then propose a language-independent dynamic behavior model for specifying the interface behavior of the service component by port activities. Then, the failure behaviors of ports are defined through the Nonhomogeneous Poisson Process (NHPP). Based on the semantics of ports, several rules have been generated to compute reliability of port expressions, thus the overall system reliability can be automatically computed. An Online Shop example from IBM web site is given to illustrate our method, together with a testing bed to calculate port reliability.
Software reliability, Computational modeling, Web services, Testing, Markov processes, Computer architecture, NHPP., Service composition, service component architecture, reliability computing
Zuohua Ding, Mingyue Jiang, Abraham Kandel, "Port-Based Reliability Computing for Service Composition", IEEE Transactions on Services Computing, vol.5, no. 3, pp. 422-436, Third Quarter 2012, doi:10.1109/TSC.2011.17
[1] B. Beizer, Software Testing Techniques. Van Nostrand Reinhold Company, 1983.
[2] D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella, "Automatic Composition of Transition-Based Semantic Web Services with Messaging," Proc. 31st Int'l Conf. Very Large Data Bases (VLDB '05), pp. 613-624, 2005.
[3] M. Chen, M.R. Lyu, and W.E. Wong, "Effect of Code Coverage on Software Reliability Measurement," IEEE Trans. Reliability, vol. 50, no. 2, pp. 165-170, June 2001.
[4] R.C. Cheung, "A User-Oriented Software Reliability Model," IEEE Trans. Software Eng., vol. SE-6, no. 2, pp. 118-125, Mar. 1980.
[5] M. Delamaro, J. Maldonado, and A.P. Mathur, "Integration Testing Using Interface Mutations," Proc. Seventh Int'l Symp. Software Reliability Eng. (ISSRE '96), pp. 112-121, 1996.
[6] Z. Ding, Z. Chen, and J. Liu, "A Rigorous Model of Service Component Architecture," Electronic Notes in Theoretical Computer Science, vol. 207, pp. 33-48, 2008.
[7] Z. Ding, K. Zhang, and J. Hu, "A Rigorous Approach Towards Test Case Generation," Information Sciences, vol. 178, pp. 4057-4079, 2008.
[8] J. Dolbec and T. Shepard, "A Component Based Software Reliability Model," Proc. Conf. Center for Advanced Studies on Collaborative Research, pp. 19-29, 1995.
[9] G. Engels, A. Forster, R. Heckel, and S. Thone, "Process Modeling Using UML," Process-Aware Information Systems, M. Dumas, W.M.P.Van der Aalst, and A. ter Hofstede, eds., John Wiley and Sons, 2005.
[10] A. Ferrara, "Web Services: A Process Algebra Approach," Proc. Second Int'l Conf. Service Oriented Computing (ICSOC '04), pp. 242-251, 2004.
[11] A.L. Goel and K. Okumoto, "Time-Dependent Error-Detection Rate Model for Software and Other Performance Measures," IEEE Trans. Reliability, vol. R-28, no. 3, pp. 206-211, Aug. 1979.
[12] S.S. Gokhale, W.E. Wong, K.S. Trivedi, and J.R. Horgan, "An Analytical Approach to Architecture-Based Software Reliability Prediction," Proc. IEEE Int'l Computer Performance and Dependability Symp. (IPDS '98), pp. 13-22, Sept. 1998.
[13] D. Hamlet, "Are We Testing for True Reliability?" IEEE Software, vol. 9, no. 4, pp. 21-27, July 1992.
[14] Handbook of Software Reliability Engineering, M.R. Lyu, ed. Mc- Graw-Hill and IEEE CS Press, 1996.
[15] X.X. Huang, "The Hypergeometric Distribution Model for Predicting the Reliability of Software," Microelectronics and Reliability, vol. 24, no. 1, pp. 11-20, 1984.
[16] N. Huang, D. Wang, and X. Jia, "An Algebra-Based Reliability Prediction Approach for Composite Web Services," Proc. 19th Int'l Symp. Software Reliability Eng., pp. 285-286, 2008.
[17] S.Y Hwang, E.P. Lim, C.H. Lee, and C.H. Chen, "Dynamic Web Service Selection for Reliable Web Service Composition," IEEE Trans. Services Computing, vol. 1, no. 2, pp. 104-116, Apr.-June 2008.
[18] A. Keller and G. Kar, "Dynamic Dependencies in Application Service Management," Proc. Int'l Conf. Parallel and Distributed Processing Techniques and Applications, 2002.
[19] S. Krishnamurthy and A.P. Mathur, "On the Estimation of Reliability of Software Using Reliabilities of Its Components," Proc. Eighth Int'l Symp. Software Reliability Eng. (ISSRE '97), Nov. 1997.
[20] J.C. Laprie and K. Kanoun, "Software Reliability and System Reliability," Handbook of Software Reliability Engineering, M.R. Lyu, ed., pp. 27-69, McGraw-Hill, 1996.
[21] J.C. Laprie, K. Kanoun, C. Béounes, and M. Kaaniche, "The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth," IEEE Trans. Software Eng., vol. 17, no. 4, pp. 370-382, Apr. 1991.
[22] M. Lipow, "Number of Faults Per Line of Code," IEEE Trans. Software Eng., vol. 8, no. 4, pp. 437-439, July 1982.
[23] B. Littlewood, "Software Reliability Modeled for Modular Program Structure," IEEE Trans. Reliability, vol. 28, no. 3, pp. 241-246, Aug. 1979.
[24] J. Ma and H. Chen, "A Reliability Evaluation Framework on Composite Web Service," Proc. IEEE Int'l Symp. Service-Oriented System Eng., pp. 123-128, 2008.
[25] D.A. Menascé, "QoS Issues in Web Services," IEEE Internet Computing, vol. 6, no. 6, pp. 72-75, Nov./Dec. 2006.
[26] P.N. Misra, "Software Reliability Analysis," IBM Systems J., vol. 22, pp. 262-270, 1983.
[27] J.D. Musa, A. Lannino, and K. Okumoto, Software Reliability: Measurement, Prediction, and Application. McGraw-Hill, 1987.
[28] S. Narayanan and S.A. McIlraith, "Simulation, Verification and Automated Composition of Web Services," Proc. 11th Int'l Conf. World Wide Web (WWW '02), pp. 77-88, 2002.
[29] M. Ohba and X.M. Chou, "Does Imperfect Debugging Affect Software Reliability Growth?" Proc. 11th Int'l Conf. Software Eng. (ICSE '89), pp. 237-244, 1989.
[30] H. Pham, Software Reliability and Testing. IEEE CS Press, 1995.
[31] H. Pham, L. Nordmann, and X. Zhang, "A General Imperfect Software Debugging Model with S-Shaped Fault Detection Rate," IEEE Trans. Reliability, vol. 48, no. 2, pp. 169-175, June 1999.
[32] S. Ran, "A Model for Web Services Discovery with QoS," ACM SIGecom Exchanges, vol. 4, no. 1, pp. 1-10, 2003.
[33] J. Sun and H. Miao, "A Formal Architecture Supporting Dynamic Composition of Web Services," Proc. Int'l Conf. Networking and Services (ICNS '06), pp. 48-48, 2006.
[34] W. Wang, D. Pan, and M. Chen, "Architecture-Based Software Reliability Modeling," J. System and Software, vol. 79, pp. 132-146, 2006.
[35] M. Xie, Software Reliability Modelling. World Scientific, 1991.
[36] P.C. Xiong, Y.S. Fan, and M.C. Zhou, "QoS-Aware Web Service Configuration," IEEE Trans. Systems, Man, and Cybernetics, vol. 38, no. 4, pp. 888-895, July 2008.
[37] S. Yacoub, B. Cukic, and H.H. Ammar, "A Scenario-Based Reliability Analysis Approach for Component-Based Software," IEEE Trans. Reliability, vol. 53, no. 4, pp. 465-480, Dec. 2004.
[38] S. Yacoub, B. Cukic, and H. Ammar, "Scenario-Based Reliability Analysis of Component-Based Software," Proc. 10th Int'l Symp. Software Reliability Eng. (ISSRE '99), pp. 22-31, 1999.
[39] S. Yamada, M. Onha, and S. Osaki, "S-Shaped Reliability Growth Modeling for Software Error Detection," IEEE Trans. Reliability, vol. R-32, no. 5, pp. 475-484, Dec. 1983.
[40] S. Yamada and S. Osaki, "Software Reliability Growth Modeling: Models and Applications," IEEE Trans. Software Eng., vol. 11, no. 12, pp. 1431-1437, Dec. 1985.
[41] S. Yamada, H. Ohtera, and H. Narihisa, "Software Reliability Growth Models with Testing-Effort," IEEE Trans. Reliability, vol. 35, no. l, pp. 19-23, Apr. 1986.
[42] J. Yang, "Web Service Componentization," Comm. ACM, vol. 46, no. 10, pp. 35-40, 2003.
[43] L. Zeng, B. Benatallah, A. Ngu, M. Dumas, J. Kalagnanam, and H. Chang, "QoS-Aware Middleware for Web Services Composition," IEEE Trans. Software Eng., vol. 30, no. 5, pp. 311-327, May 2004.
[44] H. Zo, D.L. Nazareth, and H.K. Jain, "Measuring Reliability of Applications Composed of Web Services," Proc. 40th Ann. Hawaii Int'l Conf. System Sciences, pp. 4688-4697, 2007.