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

被引：26

作者：

李喜彤

范玉顺

机构：

[1] 清华大学自动化系

来源：

计算机学报 | 2009年 / 32卷 / 12期

关键词：

Web服务; 服务组合; 服务替换; 相容性; 相似性;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：2429 / 2437

页数：9

共 12 条

[1] Web服务行为一致性与相容性判定 [J].