| 多Web服务组合兼容性的自动化验证 |
| |
| 引用本文： | 贾志淳,邢 星.多Web服务组合兼容性的自动化验证[J].计算机工程与应用,2016,52(7):67-73. |
| |
| 作者姓名： | 贾志淳 邢 星 |
| |
| 作者单位： | 1.渤海大学 信息科学与技术学院，辽宁 锦州 121013
2.哈尔滨工业大学 航天学院，哈尔滨 150001 |
| |
| 摘 要： | Web服务组合的目的是实现单一服务无法满足的复杂功能，而保证组合的正确性以实现服务增值是十分必要，因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合，在提出行为兼容性的相关理论的基础上，给出基于Pi演算的多Web服务组合行为兼容性的自动化验证算法，通过将多Web服务组合自动转化为Pi演算中的组合进程，实现多Web服务组合的自动化验证。
|
| 关 键 词： | Pi演算 Web服务组合 行为兼容性 Web服务行为 自动化验证 |
Automated verification of compositional compatibility for multiple Web service |
| |
| JIA Zhichun,XING Xing.Automated verification of compositional compatibility for multiple Web service[J].Computer Engineering and Applications,2016,52(7):67-73. |
| |
| Authors: | JIA Zhichun XING Xing |
| |
| Affiliation: | 1.College of Informational Science and Technology, Bohai University, Jinzhou, Liaoning 121013, China
2.School of Astronautics, Harbin Institute of Technology, Harbin 150001, China |
| |
| 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. |
| |
| Keywords: | Pi-calculus Web service composition behavior compatibility Web service behavior automated verification |
|
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
