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

Web服务流程相容性和相似性分析收稿日期： 修改稿收到日期： 本课题得到 收稿日期： 修改稿收到日期： 本课题得到国家自然科学基金、国家“八六三”高技术研究发展计划项目基金(2007AA04Z150) 资助。李喜彤, 男, 1982年生, 博士研究生, 研究方向为Web服务、面向服务计算、Petri网原理及应用。E-mail： lxt04@。联系地址：北京清华大学紫荆公寓14＃1218B（邮编：100084）。范玉顺, 男, 1962年生, 博士, 教授, 博士生导师, 研究领域包括企业建模、工作流管理、面向服务体系架构。 李喜彤 范玉顺 (清华大学自动化系 北京 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 s