论文部分内容阅读
形式化的分析有助于Web服务的合成．已有的合成分析方法，验证的重点是Web服务合成时形成的全局交互流程是否与预先定义的模型相匹配，忽略了合成时各个Web服务之间的行为是否相容．通过自动机对基于WSCI规范描述的web服务进行形式化描述．在此基础上，提出了一个Client／Server模型，定义了web服务合成的相容性概念，并提供相应的算法进行验证，保证了web服务合成的正确性．在相容性分析的基础上，考虑到web服务动态性的特点，定义了Web服务的替换性概念，并给出了保证替换服务正确性的定理．