计算机工程与应用2016，Vol.52Issue(7)：67-73,7.DOI:10.3778/j.issn.1002-8331.1405-0194
多We b服务组合兼容性的自动化验证
Automated verification of compositional compatibility for multiple Web service
贾志淳 1邢星1
作者信息
- 1. 渤海大学 信息科学与技术学院，辽宁 锦州 121013
- 折叠
摘要
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 cor-rectness 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.关键词
Pi演算/Web服务组合/行为兼容性/Web服务行为/自动化验证Key words
Pi-calculus/Web service composition/behavior compatibility/Web service behavior/automated verification分类
信息技术与安全科学引用本文复制引用
贾志淳,邢星..多We b服务组合兼容性的自动化验证[J].计算机工程与应用,2016,52(7):67-73,7.
