异步交互的Web服务的相容性分析

摘要

Web服务合成的相容性是服务合成研究领域的重要问题.相容性分析需要考虑异步交互的服务合成环境.用形式化的分析方法为Web服务的合成建模,给出服务合成满足相容性要求的限制条件,并提供了相容性的判断方法.%Compatibility of Web services is an important issue in the research field of Web services.In Web environment, Web services from different organizations communicate asynchronously.In this paper, based on formal description of Web services and services composition, we analyzed the constraints of compatibility of services and developed the method to check compatibility of component services.