多Web服务组合兼容性的自动化验证

计算机工程与应用 ›› 2016, Vol. 52 ›› Issue (7): 67-73.

多Web服务组合兼容性的自动化验证

贾志淳1，邢星1，2

1.渤海大学信息科学与技术学院，辽宁锦州 121013
2.哈尔滨工业大学航天学院，哈尔滨 150001

出版日期:2016-04-01 发布日期:2016-04-19

Automated verification of compositional compatibility for multiple Web service

JIA Zhichun1, XING Xing1，2

1.College of Informational Science and Technology, Bohai University, Jinzhou, Liaoning 121013, China
2.School of Astronautics, Harbin Institute of Technology, Harbin 150001, China

Online:2016-04-01 Published:2016-04-19

摘要/Abstract

摘要： Web服务组合的目的是实现单一服务无法满足的复杂功能，而保证组合的正确性以实现服务增值是十分必要，因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合，在提出行为兼容性的相关理论的基础上，给出基于Pi演算的多Web服务组合行为兼容性的自动化验证算法，通过将多Web服务组合自动转化为Pi演算中的组合进程，实现多Web服务组合的自动化验证。

关键词: Pi演算, Web服务组合, 行为兼容性, Web服务行为, 自动化验证

Abstract: The objective of Web service composition is to realize the complex functions which a single service cannot meet. It’s very necessary to assure the compositional correctness in order to implement the amplifying service. So the correctness verification after composition is an important research direction of Web service composition. This paper extends the available theories on behavior compatibility and proposes algorithms to generate processes in order to automate the verification of the composition of Web services with multiple interactions by using pi-calculus.

Key words: Pi-calculus, Web service composition, behavior compatibility, Web service behavior, automated verification

贾志淳1，邢星1，2. 多Web服务组合兼容性的自动化验证[J]. 计算机工程与应用, 2016, 52(7): 67-73.

JIA Zhichun1, XING Xing1，2. Automated verification of compositional compatibility for multiple Web service[J]. Computer Engineering and Applications, 2016, 52(7): 67-73.

[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]	张驰，褚楚，唐颖军，陈升. 基于行为投影的Web服务组合行为兼容性研究[J]. 计算机工程与应用, 2016, 52(20): 46-51.
[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]	谭煌,高春鸣,袁勇福. 基于异步PI演算的Web服务长事务协议性质分析[J]. 计算机工程与应用, 2008, 44(11): 80-85.