| 语义Web服务自动组合定义、方法及验证调查 |
| |
| 引用本文： | 王向辉,冯志勇.语义Web服务自动组合定义、方法及验证调查[J].计算机应用研究,2014,31(5):1292-1301. |
| |
| 作者姓名： | 王向辉 冯志勇 |
| |
| 作者单位： | 1．山东建筑大学 计算机学院，济南 250101；2．天津大学 计算机学院，天津 300072 |
| |
| 基金项目： | 山东省高等学校优秀青年教师国内访问学者资助项目(2013);国家自然科学基金资助项目(61173155,61070202);山东省软件工程重点实验室开放项目(2011SE001) |
| |
| 摘 要： | 针对近几年在语义Web服务自动组合上的研究成果，深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术，对语义Web服务组合问题进行分类和形式化定义，并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法，同时总结了组合方案正确性验证技术。最后，根据前面的分析和总结，提出了语义Web服务自动组合当前面临的问题和挑战。
|
| 关 键 词： | 语义Web服务 形式化定义 组合框架 组合方法 正确性检验 |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
