Web务流程相容性和等价性分析.docVIP

Web服务流程相容性和相似性分析 李喜彤 范玉顺 (清华大学自动化系 北京 100084) 摘 要 服务组合和服务替换是面向服务计算的研究热点，服务流程的相容性和相似性分析是其中的两个密切相关的问题，具有较大实用价值。基于着色Petri网建模Web服务流程，定义服务流程的正确性和相容性。提出服务良构性的概念，证明良构性能够保证组合服务可达终止状态的正确性。在相容性分析的基础上，提出服务流程相似性的定义，证明若新服务与要被替换的服务流程相似，则所进行的替换是上下文无关的，替换后无须再做组合正确性验证，给出相似性的判定算法。结论和算法改进了现有服务组合验证和服务替换方法的不足。 关键词 Web服务；服务组合；服务替换；相容性；相似性 中图法分类号 TP311 Analyzing Compatibility and Similarity of Web Service Processes LI Xi-Tong FAN Yu-Shun (Department of Automation, Tsinghua University, Beijing 100084) Abstract Service composition and substitution are key research issues in Service-Oriented Computing (SOC). Among them, analyzing compatibility and similarity of Web service processes are two closely-related issues and of great importance. This paper models Web service processes using Colored Petri nets (CPN) and presents the definitions of correctness and compatibility of Web service processes. Then, the notion of well-structuredness of Web services is developed. The paper proves that all reachable final markings of a composite service composed by well-structured services are correct. Based on the compatibility analysis, the paper develops the definition of similarity of Web service processes in order to investigate service substitution. It is concluded that substituting a service in a composition can be performed independent of the context as long as the new service is similar to the substituted one. There is thus no need to verify the substituted service composition again. The paper develops an algorithm for verifying similarity between two services. The results and algorithm are used to improve the existing methods of service composition verification and service substitution. Key words Web service; service composition; service substitution; compatibility; similarity 1 引 言 Web服务是目前面向服务体系架构最流行的一种实现形式。单个Web服务通常无法满足用户需求，而需要将若干个Web服务组合起来协同工作。服务组合是指将若干个已存在的Web服务按照一定规则动态发现，并组装成一个增值的、更粗粒度的服务或系统以满足用户的复杂需求。服务组合已成为构建面向服务、松散耦合、高适应性的应用系统的主要途径[1,2]。 组合服务的流程能否正确执行直接影响到用户需求是否能够得到满足，因此需要分析和验