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). 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 behaviour model for specifying the interface behaviour of the service component by port activities. Then the failure behaviors of ports are defined through the enhanced non-homogeneous Poisson process (ENHPP). Based on the semantics of ports, several rules have been generated to compute reliabilities of port expressions, thus the overall system reliability can be automatically computed.