An approach to service dynamic reconfiguration using probabilistic model checking

Summary form only given: Web service has been an important solution to achieve resource sharing and application integration in the Internet era, which can develop the most promising software application with the on-demand changing computing paradigm, through service reuse and dynamic synthesis. Now, more and more enterprises and organizations have taken part in the emerging service software industry, expand their cooperation and explore enterprise solution via Web service and service composition. In this talk, I survey recent research in Service Dynamic Reconfiguration. Service-oriented software needs an effective approach to constantly adjust its architecture for responding to varying user requirements and instable runtime environments, where one of the most challenging issues is how to effectively execute a dynamic evolution for Web service and to ensure that the critical business application is trustworthy. To this end, we apply the probabilistic model checking to the implementation of Web service dynamic reconfiguration. According to the lifecycle of Web service dynamic reconfiguration, our research is partitioned into three parts including Web service monitoring, Web service dynamic reconfiguration and Web service dynamic reconfiguration verification. As a result, the verified reconfiguration will be used for handling the failed service.