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

Previous Articles     Next Articles

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

RICH HTML

0   

PDF (PC)

292

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

CLC Number: 

  • 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] MA Jian, FAN Jian-ping, LIU Feng, LI Hong-hui. The evolution model of objective-oriented software system [J]. 吉林大学学报(工学版), 2018, 48(2): 545-550.
[2] LUO Yang-xia, GUO Ye. Software recognition based on features of data dependency [J]. 吉林大学学报(工学版), 2017, 47(6): 1894-1902.
[3] YING Huan, WANG Dong-hui, WU Cheng-gang, WANG Zhe, TANG Bo-wen, LI Jian-jun. Efficient deterministic replay technique on commodity system environment [J]. 吉林大学学报(工学版), 2017, 47(1): 208-217.
[4] LI Ya-jie, LI Wei. Co-design between α/H∞ fault-tolerant control of networked control system and network communication [J]. 吉林大学学报(工学版), 2016, 46(6): 2010-2020.
[5] LI Yong, HUANG Zhi-qiu, WANG Yong, FANG Bing-wu. New approach of cross-project defect prediction based on multi-source data [J]. 吉林大学学报(工学版), 2016, 46(6): 2034-2041.
[6] WANG Nian-bin, ZHU Guan-wen, ZHOU Lian-ke, WANG Hong-wei. Novel dataspace index for efficient processing of path query [J]. 吉林大学学报(工学版), 2016, 46(3): 911-916.
[7] TE Ri-gen, JIANG Sheng, LI Xiong-fei, LI Jun. Document compression scheme based on integer data [J]. 吉林大学学报(工学版), 2016, 46(1): 228-234.
[8] CHEN Peng-fei, TIAN Di, YANG Guang. Design and implementation of LIBS software based on MVC architecture [J]. 吉林大学学报(工学版), 2016, 46(1): 242-245.
[9] LIU Lei, WANG Yan-yan, SHEN Chun, LI Yu-xiang, LIU Lei. Performance portable GPU parallel optimization technique on Bellman-Ford algorithm [J]. 吉林大学学报(工学版), 2015, 45(5): 1559-1564.
[10] FENG Xiao-ning, WANG Zhuo, ZHANG Xu. Formal method for routing protocol of WSN based on L-π calculus [J]. 吉林大学学报(工学版), 2015, 45(5): 1565-1571.
[11] LI Ming-zhe, WANG Jin-lin, CHEN Xiao, CHEN Jun. Architecture model of streaming media applications on network processors(VPL) [J]. 吉林大学学报(工学版), 2015, 45(5): 1572-1580.
[12] WANG Ke-chao, WANG Tian-tian, SU Xiao-hong, MA Pei-jun. Plagiarism detection in student programs based on frequent closed sequence mining [J]. 吉林大学学报(工学版), 2015, 45(4): 1260-1265.
[13] HUANG Hong-tao,WANG Jing,YE Hai-zhi,HUANG Shao-bin. Lazy slicing based method for verifying linear temporal logic property [J]. 吉林大学学报(工学版), 2015, 45(1): 245-251.
[14] HE Qin-lu, LI Zhan-huai, WANG Le-xiao, WANG Rui. Testing technology for aggregate bandwidth of cloud storage system [J]. 吉林大学学报(工学版), 2014, 44(4): 1104-1111.
[15] LIU Guo-qi, LIU Hui, GAO Yu, LIU Ying, ZHU Zhi-liang. Resource dynamic pricing strategy based on utility in cloud computing [J]. 吉林大学学报(工学版), 2013, 43(06): 1631-1637.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright © Journal of Jilin University(Engineering and Technology Edition), All Rights Reserved.
Tel: +86-431-85095297　Fax: +86-431-85094074　E-mail: xbgxb@jlu.edu.cn
Powered by Beijing Magtech Co. Ltd