文件名称:论文研究-语义Web服务自动组合定义、方法及验证调查.pdf
文件大小:945KB
文件格式:PDF
更新时间:2022-08-11 15:41:30
语义Web服务,形式化定义,组合框架,组合方法,正确性检验
针对近几年在语义Web服务自动组合上的研究成果,深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术,对语义Web服务组合问题进行分类和形式化定义,并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。