Port-Based Reliability Computing for Service Composition

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.

[1]  Shunji Osaki,et al.  Software Reliability Growth Modeling: Models and Applications , 1985, IEEE Transactions on Software Engineering.

[2]  Jean-Claude Laprie,et al.  Software reliability and system reliability , 1996 .

[3]  Roger C. Cheung,et al.  A User-Oriented Software Reliability Model , 1978, IEEE Transactions on Software Engineering.

[4]  Zhenbang Chen,et al.  A Rigorous Model of Service Component Architecture , 2008, Electron. Notes Theor. Comput. Sci..

[5]  Min Xie,et al.  Software Reliability Modelling , 1991, Series on Quality, Reliability and Engineering Statistics.

[6]  Dong Wang,et al.  An Algebra-Based Reliability Prediction Approach for Composite Web Services , 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

[7]  Swapna S. Gokhale,et al.  An analytical approach to architecture-based software reliability prediction , 1998, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248).

[8]  Hoang Pham,et al.  Software Reliability and Testing , 1995 .

[9]  Richard G. Hamlet Are we testing for true reliability? , 1992, IEEE Software.

[10]  Jean-Claude Laprie,et al.  The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth , 1991, IEEE Trans. Software Eng..

[11]  BRAZILAditya P. MathurzSoftware Integration Testing Using Interface Mutations , 1996 .

[12]  Alexander Keller,et al.  Dynamic Dependencies in Application Service Management , 2000, PDPTA.

[13]  Michael R. Lyu,et al.  Effect of code coverage on software reliability measurement , 2001, IEEE Trans. Reliab..

[14]  Jian Yang Web service componentization , 2003, CACM.

[15]  Daniel A. Menascé,et al.  QoS Issues in Web Services , 2002, IEEE Internet Comput..

[16]  Dai Pan,et al.  Architecture-based software reliability modeling , 2006, J. Syst. Softw..

[17]  Hany H. Ammar,et al.  Scenario-based reliability analysis of component-based software , 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).

[18]  Huaikou Miao,et al.  A Formal Architecture Supporting Dynamic Composition of Web Services , 2006, International conference on Networking and Services (ICNS'06).

[19]  Diego Calvanese,et al.  Automatic Composition of Transition-based Semantic Web Services with Messaging , 2005, VLDB.

[20]  Zuohua Ding,et al.  A rigorous approach towards test case generation , 2008, Inf. Sci..

[21]  Reiko Heckel,et al.  Process Modeling Using UML , 2005, Process-Aware Information Systems.

[22]  K Okumoto,et al.  TIME-DEPENDENT ERROR-DETECTION RATE MODEL FOR SOFTWARE AND OTHER PERFORMANCE MEASURES , 1979 .

[23]  Terry Shepard,et al.  A component based software reliability model , 1995, CASCON.

[24]  M. Lipow,et al.  Number of Faults per Line of Code , 1982, IEEE Transactions on Software Engineering.

[25]  Andrea Ferrara,et al.  Web services: a process algebra approach , 2004, ICSOC '04.

[26]  Pratap N. Misra,et al.  Software Reliability Analysis , 1983, IBM Syst. J..

[27]  Sigrid Eldh Software Testing Techniques , 2007 .

[28]  John D. Musa,et al.  Software reliability - measurement, prediction, application , 1987, McGraw-Hill series in software engineering and technology.

[29]  Ee-Peng Lim,et al.  Dynamic Web Service Selection for Reliable Web Service Composition , 2008, IEEE Transactions on Services Computing.

[30]  Mitsuru Ohba,et al.  Does imperfect debugging affect software reliability growth? , 1989, ICSE '89.

[31]  Hangjung Zo,et al.  Measuring Reliability of Applications Composed of Web Services , 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

[32]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[33]  Hoang Pham,et al.  A general imperfect-software-debugging model with S-shaped fault-detection rate , 1999 .

[34]  Shuping Ran,et al.  A model for web services discovery with QoS , 2003, SECO.

[35]  Hany H. Ammar,et al.  A scenario-based reliability analysis approach for component-based software , 2004, IEEE Transactions on Reliability.

[36]  MengChu Zhou,et al.  QoS-Aware Web Service Configuration , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[37]  Shigeru Yamada,et al.  S-Shaped Reliability Growth Modeling for Software Error Detection , 1983, IEEE Transactions on Reliability.

[38]  Jiang Ma,et al.  A Reliability Evaluation Framework on Composite Web Service , 2008, 2008 IEEE International Symposium on Service-Oriented System Engineering.

[39]  Huang Xi Zhi The hypergeometric distribution model for predicting the reliability of softwares , 1984 .

[40]  Swapna S. Gokhale,et al.  Unification of finite failure non-homogeneous Poisson process models through test coverage , 1996, Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering.

[41]  Dong Wang,et al.  FAST ABSTRACT: An Algebra-Based Reliability Prediction Approach for Composite Web Services 1 , 2008 .

[42]  Aditya P. Mathur,et al.  Integration testing using interface mutation , 1996, Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering.

[43]  B. Littlewood Software Reliability Model for Modular Program Structure , 1979, IEEE Transactions on Reliability.

[44]  Anne H. H. Ngu,et al.  QoS-aware middleware for Web services composition , 2004, IEEE Transactions on Software Engineering.

[45]  Shigeru Yamada,et al.  Software Reliability Growth Models with Testing-Effort , 1986, IEEE Transactions on Reliability.