会议专题

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.

Zuohua Ding Mingyue Jiang

Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou, Zhejiang 31 Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou,Zhejiang 310

国际会议

2009 Third IEEE International Conference on Secure Integration and Reliability Improvement SSIRI 2009(第三届IEEE安全软件集成及可信性改进国际会议)

上海

英文

449-450

2009-07-08(万方平台首次上网日期,不代表论文的发表时间)