论文研究多Web服务组合兼容性的自动化验证.pdf

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