一种需求驱动的服务行为适配方法

现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效.针对此问题,本文在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义.证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证.通过一个贯穿全文的实例分析表明了方法的可行性和有效性

A Requirement Driven Approach for Service Behavioral Adaptation

Existing service behavior adaptation approaches often only focus on eliminating behavior incompatibility between services and ignore user requirements, thus it is required to verify whether the adaptor-based service composition satisfies user requirements. This makes the process of adaptor-based service composition complex and inefficient. To solve this problem, a requirement driven approach for service behavioral adaptation is presented by considering user requirements in the process of adaptor generation. The syntax and semantics of the requirement model is also proposed. It is proved that the adaptor generated by utilizing the proposed approach not only eliminates behavior incompatibility between services, but also makes the adaptor-based service composition satisfy temporal properties given by user requirements without performing verifications. A case analysis throughout the paper indicates feasibility and validity of the proposed approach.