语义Web服务自动组合定义、方法及验证调查

• 来源期刊: 计算机应用研究
• 关键词: 语义Web服务 形式化定义 组合框架 组合方法 正确性检验
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 综述评论
• 页码范围: 1292-1301,1311
• 页数: 11页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2014.05.003

摘要

针对近几年在语义Web服务自动组合上的研究成果，深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术，对语义Web服务组合问题进行分类和形式化定义，并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法，同时总结了组合方案正确性验证技术。最后，根据前面的分析和总结，提出了语义Web服务自动组合当前面临的问题和挑战。