Formal Modeling and Analyzing the Reliability for Service Composition

Service composition is an important means for integrating the individual Web services for creating new value added systems. However, Web service runs in the heterogeneous environments on the Internet, it is difficult to guarantee the reliability of service composition. To address this problem, we propose a systematic method to model and analyze reliability for service composition. First, we present a formal description language to model the different components of service composition, and use it to analyze the reliability of service composition. Second, we propose reliability assurance strategy to ensure that service composition dynamically meet the required reliability. Third, we present operational semantics and related theories of Petri nets for establishing the correctness of our proposed method. We have also performed a series of simulations to evaluate our proposed approach. Results show that the method can help reveal the structural and behavioral characteristics of service composition, and improve the reliability of service composition.