Web服务流程相容性和相似性分析

摘要：

服务组合和服务替换是面向服务计箅的研究热点,服务流程的相容性和相似性分析是其中的两个密切相关的问题,具有较大实用价值.基于着色Petri网建模Web服务流程,定义服务流程的正确性和相容性.提出服务良构件的概念,证明良构件能够保证组合服务可达终止状态的正确性.在相容性分析的基础上,提出服务流程相似性的定义,证明若新服务与要被替换的服务流程相似,则所进行的替换是上下文无关的,替换后无须再做组合正确性验证,给出相似性的判定算法.文中结论和算法改进了现有服务组合验证和服务替换方法的不足.

关键词：Web服务、服务组合、服务替换、相容性、相似性

所属期刊栏目：32

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60674080,60704027;国家"八六三"高技术研究发展计划项目基金2007AA04Z150

在线出版日期：2010-02-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：2429-2437