| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | Web服务流程相容性和相似性分析 |
| 作者 | 李喜彤 范玉顺 |
| 作者单位 | (清华大学自动化系 北京 100084) |
| 发表年份 | 2009 |
| 发表月份 | 12期(2429—2437) |
| 文章摘要 | 摘要 服务组合和服务替换是面向服务计算的研究热点，服务流程的相容性和相似性分析是其中的两个密切相关的问题，具有较大实用价值.基于着色Petri网建模Web服务流程，定义服务流程的正确性和相容性.提出服务良构性的概念，证明良构性能够保证组合服务可达终止状态的正确性.在相容性分析的基础上，提出服务流程相似性的定义，证明若新服务与要被替换的服务流程相似，则所进行的替换是上下文无关的，替换后无须再做组合正确性验证，给出相似性的判定算法.文中结论和算法改进了现有服务组合验证和服务替换方法的不足. 关键词 Web服务；服务组合；服务替换；相容性；相似性 中图法分类号 TP311 DOI号: 10.3724/SP.J.1016.2009.02429 |