基于行为投影的Web服务组合行为兼容性研究

计算机工程与应用 ›› 2016, Vol. 52 ›› Issue (20): 46-51.

基于行为投影的Web服务组合行为兼容性研究

张驰，褚楚，唐颖军，陈升

江西财经大学软件与通信工程学院，南昌 330013

出版日期:2016-10-15 发布日期:2016-10-14

Research on behavioral compatibility of Web service composition based on behavioral projection

ZHANG Chi, CHU Chu, TANG Yingjun, CHEN Sheng

School of Software and Communication Engineering, Jiangxi University of Finance and Economics, Nanchang 330013, China

Online:2016-10-15 Published:2016-10-14

摘要/Abstract

摘要： Web服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图，根据服务间的连接关系，将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系，将两个服务在该连接上的交互过程表示为两个LTS投影间同步变迁，通过同步积模拟在该连接上的交互行为，检查同步积中是否出现死锁状态来进行行为兼容性判定，并设计了判定算法以实现兼容性的自动分析，最后通过一个电子商务应用示例说明该方法有效性。

关键词: Web服务组合, 服务视图, 行为投影, 行为兼容性, 标签转换系统

Abstract: Behavioral compatibility is the premise to ensure the system composited by Web services running correctly. Firstly, this paper presents Web service view including not only external interface operation call information but also internal logic behavior information. Secondly, service behavior is projected to different connector according to connect relationship of the services. Thirdly, interaction process is expressed as synchronous transition of two projected LTSs according messages sent and received along the connector. Then it simulates dynamic interaction behavior by LTS synchronous product and checks whether there are deadlock states in synchronous product of LTSs to judge compatibility of composited system with the help of LTS operation semantics. Lastly, an algorithm is designed to verify behavioral compatibility automatically and illustrate its validity by an e-business application.

Key words: Web service composition, service view, behavioral project, behavioral compatibility, Labeled Transition System（LTS）

张驰，褚楚，唐颖军，陈升. 基于行为投影的Web服务组合行为兼容性研究[J]. 计算机工程与应用, 2016, 52(20): 46-51.

ZHANG Chi, CHU Chu, TANG Yingjun, CHEN Sheng. Research on behavioral compatibility of Web service composition based on behavioral projection[J]. Computer Engineering and Applications, 2016, 52(20): 46-51.

[1]	王亮1，2，郭星1，2. 基于柯西烟花算法的大规模服务组合优化[J]. 计算机工程与应用, 2018, 54(24): 34-40.
[2]	汪潇洒1，付晓东1，刘骊1，岳昆2，刘利军1. 随机QoS感知的Web服务组合概率分析[J]. 计算机工程与应用, 2017, 53(14): 70-75.
[3]	贾志淳1，邢星1，2. 多Web服务组合兼容性的自动化验证[J]. 计算机工程与应用, 2016, 52(7): 67-73.
[4]	张驰，褚楚. 软件组件组装行为兼容性检查研究[J]. 计算机工程与应用, 2016, 52(11): 30-33.
[5]	王飞明，董荣胜，胡元闯，骆翔宇. 全局优化的分层动态Web服务组合[J]. 计算机工程与应用, 2011, 47(12): 72-74.
[6]	贾志淳¹ ，陈荣^1，2，张维石¹. 航空订票业务的Web服务建模及组合兼容性验证[J]. 计算机工程与应用, 2010, 46(24): 237-242.
[7]	汪永琳¹，蒋爱军². 结构化组合事务补偿精化性质研究[J]. 计算机工程与应用, 2010, 46(18): 30-34.
[8]	吴明晖^1，2，熊向辉^1，2，应晶^1，2. 面向QoS全局优化的大规模Web服务组合方法[J]. 计算机工程与应用, 2010, 46(15): 72-76.
[9]	汪永琳¹，蒋爱军². 组合Web服务事务的补偿语义研究[J]. 计算机工程与应用, 2010, 46(14): 38-41.
[10]	李树华. 一种QoS与语义关联驱动的服务选取方法[J]. 计算机工程与应用, 2009, 45(29): 237-240.
[11]	程永上,王志坚 . Web服务组合在水利领域中的应用[J]. 计算机工程与应用, 2008, 44(7): 209-212.
[12]	辜希武,李瑞轩,卢正鼎. 面向应用的Web服务组合设计和验证框架[J]. 计算机工程与应用, 2008, 44(34): 132-136.
[13]	张永胜¹,徐丽丽¹,齐峰²,王强¹. 基于三层组织模型的一种Web服务组合策略[J]. 计算机工程与应用, 2008, 44(22): 89-91.
[14]	靖红叶,余雪丽. 基于Pi-演算的WS-CDL编舞的描述和验证[J]. 计算机工程与应用, 2008, 44(13): 39-43.
[15]	彭杨,崔曙光,高春鸣. 一种基于数据流约束的Web服务组合划分方法[J]. 计算机工程与应用, 2007, 43(29): 150-153.