Issue No. 03 - Third Quarter (2012 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSC.2011.17
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
A. Kandel, Z. Ding and M. Jiang, "Port-Based Reliability Computing for Service Composition," in IEEE Transactions on Services Computing, vol. 5, no. , pp. 422-436, 2012.