基于动态逻辑语义web服务组合的研究

基于动态逻辑语义web服务组合的研究

ID:23530586

大小:2.91 MB

页数:49页

时间:2018-11-08

基于动态逻辑语义web服务组合的研究_第1页
基于动态逻辑语义web服务组合的研究_第2页
基于动态逻辑语义web服务组合的研究_第3页
基于动态逻辑语义web服务组合的研究_第4页
基于动态逻辑语义web服务组合的研究_第5页
资源描述:

《基于动态逻辑语义web服务组合的研究》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、硕十学位论文摘要随着Web服务技术的迅速发展,越来越多的Web服务运行在Internet上,但单个Web服务功能有限,难以满足日益增长和不断变化的用户需求。因此,如何将已有的、运行在异构平台上的Web服务组合起来,提供给用户更为强大和增值的功能,成为Web服务研究领域中的一个热点。目前,Web服务组合还面临着一些问题:如何确定Web服务之间的逻辑及时序关系,以实现Web服务组合的自动化;如何测试和验证Web服务组合,以保证组合后Web服务执行结果的正确性。针对上述问题,文本提出了基于动态逻辑的Web服务组合方法,将OWL.S描述的语义Web服务映射为动态逻辑中的动作和公式,利用动

2、态逻辑的形式化推理来产生满足用户需求的服务组合,从而实现了Web服务组合的自动化,并保证了服务组合结果的正确性和完整性。本文的主要工作包括:1.从OWL.S中的过程模型出发,利用动态逻辑对语义Web服务进行形式化描述。对应于过程模型中的原子过程,可以对变量、变量绑定、输入、输出、前提条件和结果等多个方面进行刻画;对应于过程模型中的组合过程,可以相应地对顺序、条件、选择、循环等控制结构进行描述。2.在Web服务组合过程中,将W曲服务组合问题看成基于动态逻辑的规划问题,给出了Web服务组合的形式化定义。用户所有的输入被表示为规划的初始状态,用户的输出被表示为规划的目标状态,而服务组合

3、序列就是从初始状态到目标状态的一个规划。3.给出了基于动态逻辑的语义Web服务组合框架,用以实现自动化W曲服务组合。该框架分为用户层、语义层和执行层。用户层由本体图形界面模块构成。语义层由OWL.S描述模块,OWL.S到动态逻辑的转换器模块,动态逻辑知识库模块,组合引擎模块构成,而执行层则由执行引擎模块和执行结果模块构成。关键词:语义网;语义Web服务:服务组合;Web服务本体语言;动态逻辑;自动推理;基于动态逻辑的语义Web服务组合研究AbstractWiththerapiddevelopmentofWebservicetechnologies,moreandmoreWebse

4、rvicesarerunningontheInternet.However,asingleWebService’Sfunctionislimited,whichmakeitdifficulttomeetthegrowingandchanginguserneed.ThereforehowtocomposetheWebservicesofheterogeneousplantformstoprovidetheuserwithamorepowerfulandvaluablefunctionhasbecomesahottopicofResearchinthefieldofWebServic

5、e.Currently,manyresearchinstitutionsathomeorabroadbegintosudytheWebservicescompositionandachievedsomeSUCCESS.However,therearestillsomeproblemsneedtosolve.Forexample,howtodeterminethelogicandtimingrelationshipbetweenthebasicWebservicesSOthatcomplexWebservicescanbecomposedautomatically;howtotes

6、tandvalidateWebservicescompositionSOthattheresultofexecutonofWebservicesiscorrect.Aimingattheseproblems,thispaperproposedanautomaticsemanticWebservicecompostionmethodbasedondynamiclogic.SemanticWebservicesaremappetotheactionandformulaofthedynamiclogicandtheWebservicescompositoncanbeachievedby

7、thereasoningofdynamiclogic.TheadvantagesofthismethodlieintheautomationofWebservicescompositonandcorrectnessoftheresultofWebservicescompositon.Themainjobofthispaperincludes:1.TheOWL-SProcessModelofsemanticWebserviceswillbeformalizedbyactionand

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。