Towards Functional Dynamic Reconfiguration for Service-Based Applications

Service-based applications are typically based on dynamic reconfiguration, since it can be regarded as compositions of multiple Web services. Because service-based applications usually run in open, dynamic, ever-changing environments, providing function-consistent application becomes a big challenge. The paper proposes an effective dynamic reconfiguration approach for services based applications. The approach tries to replace each faulty service firstly. If the attempts fail, it will construct regions for each faulty service and tries to replace the region. In order to ensure the correctness of dynamic reconfiguration, we use services-behavioral type to formally describe services and propose subtype rule services-behavioral type to judge the substitutability between services. Also, the case study is given to show that how to verify the correctness of dynamic reconfiguration.