一种需求驱动的服务行为适配方法
A Requirement Driven Approach for Service Behavioral Adaptation
作者：范大娟(南京航空航天大学 计算机科学与技术学院)；黄志球(南京航空航天大学 计算机科学与技术学院)；肖芳雄(南京航空航天大学 计算机科学与技术学院)；彭焕峰(南京航空航天大学 计算机科学与技术学院)；李雯睿(南京晓庄学院 数学与信息技术学院)
Author：Fan Dajuan(College of Computer Sci. and Technol.,Nanjing Univ. of Aeronautics and Astronautics)；Huang Zhiqiu(College of Computer Sci. and Technol.,Nanjing Univ. of Aeronautics and Astronautics)；Xiao Fangxiong(College of Computer Sci. and Technol.,Nanjing Univ. of Aeronautics and Astronautics)；Peng Huanfeng(College of Computer Sci. and Technol.,Nanjing Univ. of Aeronautics and Astronautics)；Li Wenrui(School of Mathematics and Info. Technol.,Nanjing Xiaozhuang Univ.)
收稿日期：2013-07-10 年卷（期）页码：2014,46(2):95-104
期刊名称：工程科学与技术
Journal Name：Advanced Engineering Sciences
关键字：Web服务;FSM模型;行为模型;适配器;用户需求
Key words：Web service;FSM model;behavioral model;adaptor;user requirement
基金项目：国家自然科学基金资助项目(61272083;61202136;61262002)；国家“863”高技术研究发展计划资助项目(2009AA010307)；中国博士后科学基金资助项目(20110491411)
中文摘要
现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义。证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证。通过一个贯穿全文的实例分析表明了方法的可行性和有效性。
英文摘要
Existing approaches for service behavioral adaptation often only focus on eliminating behavioral 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 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 approach 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.
下一条：基于模糊推理和李亚普诺夫理论的有源电力滤波器控制
【关闭】
