面向多服务交互的相容性分析与适配器生成  

Compatibility analysis and adaptor generation for multi-service interaction

作　　者：范大娟[1,2] 黄志球[1] 肖芳雄[1] 祝义[1] 王进[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京210016 [2]南京工程学院计算机工程学院,南京211167

出　　处：《吉林大学学报（工学版）》2014年第4期1094-1103,共10页Journal of Jilin University:Engineering and Technology Edition

基　　金：国家自然科学基金项目(61272083;61170043);'863'国家高技术研究发展计划项目(2009AA010307);中国博士后科学基金项目(20110491411);江苏省博士后科研资助计划项目(1101092C)

摘　　要：针对已有服务适配方法大多只考虑两个服务交互的简单场景且不支持BPEL代码的自动生成的问题,提出了一种面向多个服务交互的适配器自动生成方法。在通过对有限自动机进行扩展以建模服务的签名和行为信息的基础上,给出了分析多个服务之间相容性的方法。对于不相容的情况,定义了适配器模型的语法和操作语义,给出了适配器模型的自动生成算法,并对得到的适配器模型进行约简以支持适配器BPEL代码的自动生成。通过一个实例分析说明本文所提方法的可行性。Most existing service adaptation methods only consider the simple scenarios where two services interact and do not support the automatic generation of BPEL codes. To overcome these shortcomings, an automatic service adaptation approach for multi-service interactions is proposed. The signatures and behaviors of services are modeled by extending the finite automata. Based on the extended model, the compatibility for multiple services is analyzed. For incompatible cases, the syntax and operational semantic of the adaptor model are defined and the automatic generation algorithm for the adaptor model is presented. The generated adaptor model is then reduced in order to be automatically mapped into the BPEL codes. The feasibility of the proposed approach is validated by a case analysis.

关 键 词：计算机软件 服务组合 适配器模型 相容性分析 多服务交互 消息映射 

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