Most of the existing approaches focus on identifying mismatches and synthesizing adaptors at design-time or recently at run-time. However, few works have been proposed to support adaptor reconfiguration when services ...Most of the existing approaches focus on identifying mismatches and synthesizing adaptors at design-time or recently at run-time. However, few works have been proposed to support adaptor reconfiguration when services in the composition evolve due to changes in business needs. To address the deficiencies, the problem of adaptor reconfiguration is targeted in the context of service composition. Firstly, the formal models for describing services and adaptors are presented. Then, under this formalization,the notion of reconfiguration compliance is proposed to determine the validity of an adaptor instance with respect to its history executions and future executions. Based on the notion,the algorithm for reconfiguration analysis of adaptors is presented and it can be used for determining the migratability of an adaptor instance and the corresponding target state of reconfiguration if migratable.Finally,feasibility of the proposed approach is validated on a realistic case study. The proposed approach improves the flexibility of adaptor-based service composition by equipping adaptors with reconfiguration capabilities.展开更多
基金National Natural Science Foundations of China(Nos.61272083,61262002,61170043)China Postdoctoral Science Foundation(Nos.20110491411,2014M562177)The Science Foundations of Nanjing Institute of Technology,China(Nos.QKJB201304,YKJ201420)
文摘Most of the existing approaches focus on identifying mismatches and synthesizing adaptors at design-time or recently at run-time. However, few works have been proposed to support adaptor reconfiguration when services in the composition evolve due to changes in business needs. To address the deficiencies, the problem of adaptor reconfiguration is targeted in the context of service composition. Firstly, the formal models for describing services and adaptors are presented. Then, under this formalization,the notion of reconfiguration compliance is proposed to determine the validity of an adaptor instance with respect to its history executions and future executions. Based on the notion,the algorithm for reconfiguration analysis of adaptors is presented and it can be used for determining the migratability of an adaptor instance and the corresponding target state of reconfiguration if migratable.Finally,feasibility of the proposed approach is validated on a realistic case study. The proposed approach improves the flexibility of adaptor-based service composition by equipping adaptors with reconfiguration capabilities.
