吉林大学学报(工学版) ›› 2014, Vol. 44 ›› Issue (4): 1094-1103.doi: 10.13229/j.cnki.jdxbgxb201404030

• • 上一篇    下一篇

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

范大娟, 黄志球, 肖芳雄, 祝义, 王进   

  1. 1.南京航空航天大学 计算机科学与技术学院, 南京 210016;
    2.南京工程学院 计算机工程学院, 南京 211167
  • 收稿日期:2013-01-14 出版日期:2014-07-01 发布日期:2014-07-01
  • 作者简介:范大娟(1982-), 女, 博士研究生.研究方向:软件工程, 形式化方法, 服务计算. E-mail:fanbingjie523@126.com
  • 基金资助:
    国家自然科学基金项目(61272083, 61170043); “863”国家高技术研究发展计划项目(2009AA010307); 中国博士后科学基金项目; (20110491411); 江苏省博士后科研资助计划项目(1101092C)

Compatibility analysis and adaptor generation for multi-service interaction

FAN Da-juan1, 2, HUANG Zhi-qiu1, XIAO Fang-xiong1, ZHU Yi1, WANG Jin1   

  1. 1.College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China;
    2.School of Computer Engineering, Nanjing Institute of Technology, Nanjing 211167, China
  • Received:2013-01-14 Online:2014-07-01 Published:2014-07-01

摘要: 针对已有服务适配方法大多只考虑两个服务交互的简单场景且不支持BPEL代码的自动生成的问题, 提出了一种面向多个服务交互的适配器自动生成方法。在通过对有限自动机进行扩展以建模服务的签名和行为信息的基础上, 给出了分析多个服务之间相容性的方法。对于不相容的情况, 定义了适配器模型的语法和操作语义, 给出了适配器模型的自动生成算法, 并对得到的适配器模型进行约简以支持适配器BPEL代码的自动生成。通过一个实例分析说明本文所提方法的可行性。

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

Abstract: 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.

Key words: computer software, service composition, adaptor model, compatibility analysis, multi-service interactions, message mapping

中图分类号: 

  • TP311
[1] 朱勇, 罗军舟, 李伟.一种工作流环境下能耗感知的多路径服务组合方法[J].计算机学报, 2012, 35(3):627-638. Zhu Yong, Luo Jun-zhou, Li Wei. An approach for energy aware multipath service composition based on workflow[J]. Chinese Journal of Computers, 2012, 35(3):627-638.
[2] 龙军, 刘昕民, 袁鑫攀, 等.一种基于信任推理与演化的Web服务组合策略[J].计算机学报, 2012, 35(2):298-314. Long Jun, Liu Xin-min, Yuan Xin-pan, et al. A web services composition strategy based on trust reasoning and evolution[J]. Chinese Journal of Computers, 2012, 35(2):298-314.
[3] 肖芳雄, 李燕, 黄志球, 等.基于时间概率代价进程代数的Web服务组合建模和分析[J].计算机学报, 2012, 35(5):918-936. Xiao Fang-xiong, Li Yan, Huang Zhi-qiu, et al. Modeling and analyzing web services composition using timed probabilistic priced process slgebra[J]. Chinese Journal of Computers, 2012, 35(5):918-936.
[4] Li Gang, Han Yan-bo, Wang Jing, et al. Facilitating dynamic service compositions by adaptable service connectors[J]. International Journal of Web Services Research, 2006, 3(1):68-84.
[5] Dumas M, Benatallah B, Nezhad H R M. Web service protocols: Compatibility and adaptation[J]. IEEE Data Engineering Bulletin, 2008, 31(3):40-44.
[6] 张广泉, 戎玫, 王昇.时间感知Web 服务交互行为建模与失配检测方法研究[J].电子学报, 2011, 39(11):2568-2575. Zhang Guang-quan, Rong Mei, Wang Sheng. Research on interaction modeling and mismatch checking of time-aware web services[J]. Acta Electronica Sinica, 2011, 39(11):2568- 2575.
[7] Ponnekanti S, Fox A. Interoperability among independently evolving web services[C]∥Proc of the 5th International Middleware Conference. LNCS 3231, Berlin: Springer-Verlag, 2004:331-351.
[8] Fuchs M. Adapting web services in a heterogeneous environment[C]∥Proc of the 2th IEEE International Conference on Web Services (ICWS 2004). Washington DC: IEEE Computer Society, 2004:656-664.
[9] Brogi A, Popescu R. Automated generation of BPEL adapters[C]∥Proc of the 4th International Conference on Service-Oriented Computing( ICSOC 2006). LNCS 4294, Berlin: Springer-Verlag, 2006:27-39.
[10] Seguel R, Eshuis R, Grefen P. Generating minimal protocol adaptors for loosely coupled services[C]∥Proc of the 8th IEEE International Conference on Web Services (ICWS 2008). Washington DC: IEEE Computer Society, 2010:417-424.
[11] Benatallah B, Casati F, Grigori D, et al. Developing adapters for web services integration[C]∥Proc of the International Conference on Advanced Information Systems Engineering(CAiSE 2005). Berlin: Springer-Verlag, 2005:415-429.
[12] Nezhad H R M, Benatallah B, Martens A, et al. Semi-automated adaptation of service interactions[C]∥Proc of the 16th International Conference on World Wide Web. New York: ACM 2007:993-1002.
[13] Bordeaux L, Salaün G, Berardi D, et al. When are two web services compatible?[C]∥Proc of the TES. Berlin : Springer, 2004: 15-28.
[14] Van der Aalst WMP, Mooij A J, Stahl C, et al. Service interaction: Patterns, formalization, and analysis[C]∥Proc of the 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2009). LNCS 5569, Berlin: Springer, 2009:42-88.
[15] Zhou Z, Bhiri S, Gaaloul W, et al. Developing process mediator for supporting mediated web service interactions[C]∥Proc of the 6th IEEE European Conference on Web Services (ECOWS 2008). Washington, DC: IEEE Computer Society 2008:155-164.
[16] Carlos Canal, Pascal Poizat, Gwen Salaün. Model-Based adaptation of behavioral mismatching components[J]. IEEE Transaction on Software Engineering, 2008, 34(4): 546-563.
[1] 马健, 樊建平, 刘峰, 李红辉. 面向对象软件系统演化模型[J]. 吉林大学学报(工学版), 2018, 48(2): 545-550.
[2] 罗养霞, 郭晔. 基于数据依赖特征的软件识别[J]. 吉林大学学报(工学版), 2017, 47(6): 1894-1902.
[3] 应欢, 王东辉, 武成岗, 王喆, 唐博文, 李建军. 适用于商用系统环境的低开销确定性重放技术[J]. 吉林大学学报(工学版), 2017, 47(1): 208-217.
[4] 李亚洁, 李炜. 网络化控制系统α/H容错控制与网络通讯的协同设计[J]. 吉林大学学报(工学版), 2016, 46(6): 2010-2020.
[5] 李勇, 黄志球, 王勇, 房丙午. 基于多源数据的跨项目软件缺陷预测[J]. 吉林大学学报(工学版), 2016, 46(6): 2034-2041.
[6] 王念滨, 祝官文, 周连科, 王红卫. 支持高效路径查询的数据空间索引方法[J]. 吉林大学学报(工学版), 2016, 46(3): 911-916.
[7] 特日跟, 江晟, 李雄飞, 李军. 基于整数数据的文档压缩编码方案[J]. 吉林大学学报(工学版), 2016, 46(1): 228-234.
[8] 康辉, 王家琦, 梅芳. 基于Pi演算的并行编程语言[J]. 吉林大学学报(工学版), 2016, 46(1): 235-241.
[9] 陈鹏飞, 田地, 杨光. 基于MVC架构的LIBS软件设计与实现[J]. 吉林大学学报(工学版), 2016, 46(1): 242-245.
[10] 刘磊, 王燕燕, 申春, 李玉祥, 刘雷. Bellman-Ford算法性能可移植的GPU并行优化[J]. 吉林大学学报(工学版), 2015, 45(5): 1559-1564.
[11] 冯晓宁, 王卓, 张旭. 基于L-π演算的WSN路由协议形式化方法[J]. 吉林大学学报(工学版), 2015, 45(5): 1565-1571.
[12] 李明哲, 王劲林, 陈晓, 陈君. 基于网络处理器的流媒体应用架构模型(VPL)[J]. 吉林大学学报(工学版), 2015, 45(5): 1572-1580.
[13] 王克朝, 王甜甜, 苏小红, 马培军. 基于频繁闭合序列模式挖掘的学生程序雷同检测[J]. 吉林大学学报(工学版), 2015, 45(4): 1260-1265.
[14] 黄宏涛,王静,叶海智,黄少滨. 基于惰性切片的线性时态逻辑性质验证[J]. 吉林大学学报(工学版), 2015, 45(1): 245-251.
[15] 贺秦禄1, 李战怀1, 王乐晓1, 王瑞2. 云存储系统聚合带宽测试技术[J]. 吉林大学学报(工学版), 2014, 44(4): 1104-1111.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!