題 目：An approach to Service Dynamic Reconfiguration Using Probabilistic Model Checking
講演者：Prof. Huaikou Miao, Shanghai University, Shanghai, China
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.
Huaikou Miao is a Professor of Computer Science at Shanghai University. He received his Master’s Degree from Shanghai University of Science and Technology in 1986. He was a Visiting Scholar at the University of York, UK, from October 1992 to January 1995. His interests include formal methods, software testing and verification, and software development environments. He has published numerous articles and 5 co-authored books about formal methods and software engineering. He was the program chair of ICFEM 2002 held in Shanghai, China in 2002, the program chair of IEEE/ACIS ICIS 2009 in Shanghai, China in 2009 and the conference co-chair of IEEE/ACIS ICIS 2012 in Shanghai, China.