摘要
现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义。证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证。通过一个贯穿全文的实例分析表明了方法的可行性和有效性。
Existing approaches for service behavioral adaptation often only focus on eliminating behavioral incompatibility between serv- ices and ignore user requirements, thus it is required to verify whether the adaptor-based service composition satisfies user require- ments. This makes the process of adaptor-based service composition complex and inefficient. To solve this problem, a requirement driv- en approach for service behavioral adaptation was presented by considering user requirements in the process of adaptor generation. The syntax and semantics of the requirement model were also proposed. It was proved that the adaptor generated by utilizing the proposed ap- proach not only eliminates behavioral incompatibility between services, but also makes the adaptor-based service composition satisfy temporal properties given by user requirements without performing verifications. A case analysis indicated the feasibility and validity of the proposed approach.
出处
《四川大学学报(工程科学版)》
EI
CAS
CSCD
北大核心
2014年第2期95-104,共10页
Journal of Sichuan University (Engineering Science Edition)
基金
国家自然科学基金资助项目(61272083
61202136
61262002)
国家"863"高技术研究发展计划资助项目(2009AA010307)
中国博士后科学基金资助项目(20110491411)