应用科学学报 ›› 2012, Vol. 30 ›› Issue (6): 661-668.doi: 10.3969/j.issn.0255-8297.2012.06.017

• 计算机科学与应用 • 上一篇    下一篇

Web 服务行为相容性和可适配性的一种分析方法

范大娟, 黄志球, 曹子宁, 王进   

  1. 南京航空航天大学计算机科学与技术学院,南京210016
  • 收稿日期:2011-09-17 修回日期:2011-12-13 出版日期:2012-11-27 发布日期:2011-12-13
  • 通信作者: 范大娟,博士生,研究方向:软件工程、形式化方法、服务计算,E-mail: fanbingjie523@126.com
  • 作者简介:范大娟,博士生,研究方向:软件工程、形式化方法、服务计算,E-mail: fanbingjie523@126.com;黄志球,教授,博导,研究方向:软件工程、形式化方法、服务计算、知识工程等,E-mail: zqhuang@nuaa.edu.cn
  • 基金资助:

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

Analysis of Behavioral Compatibility and Adaptability of Web Services

FAN Da-juan, HUANG Zhi-qiu, CAO Zi-ning, WANG Jin   

  1. College of computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
  • Received:2011-09-17 Revised:2011-12-13 Online:2012-11-27 Published:2011-12-13

摘要: 基于有限状态机模型,在服务组合层面上提出了Web 服务之间3种相容性的判定方法. 对于两个不相容的Web 服务,通过分析它们的行为路径对的可适配性来判断Web 服务之间的可适配性;对于两个可适配的Web服务,通过生成它们的行为路径对的子适配器模型并将其合并,从而得到Web 服务之间的适配器模型并自动映射生成实际可运行的BPEL 代码. 通过实例分析表明了该方法的可行性和有效性.

关键词: Web 服务, FSM 模型, 行为路径, 相容性, 可适配性

Abstract: Based on the finite state machine (FSM) model, a method for determining three kinds of compatibility between two interacting Web services from the perspective of whole service composition is proposed. A method for determining adaptability between two incompatible Web services is also proposed by analyzing adaptability of behavioral path pairs between them. The adaptor model of two adaptable Web services is generated by merging the sub-adaptor models of their behavioral path pairs and automatically mapped into executable BPEL codes. Feasibility and validity of the proposed approach is verified by a case analysis.

Key words: Web services, FSM model, behavioral path, compatibility, adaptability

中图分类号: