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

A Requirement Driven Approach for Service Behavioral Adaptation

作　　者：范大娟[1] 黄志球[1] 肖芳雄[1] 彭焕峰[1] 李雯睿[2] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,江苏南京210016 [2]南京晓庄学院数学与信息技术学院,江苏南京211171

出　　处：《四川大学学报（工程科学版）》2014年第2期95-104,共10页Journal of Sichuan University (Engineering Science Edition)

基　　金：国家自然科学基金资助项目(61272083;61202136;61262002);国家"863"高技术研究发展计划资助项目(2009AA010307);中国博士后科学基金资助项目(20110491411)

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

关 键 词：WEB服务 FSM模型 行为模型 适配器 用户需求 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]