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

《基于动态逻辑的语义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，moreandmoreWebservi

4、cesarerunningontheInternet．However，asingleWebService’Sfunctionislimited，whichmakeitdifficulttomeetthegrowingandchanginguserneed．ThereforehowtocomposetheWebservicesofheterogeneousplantformstoprovidetheuserwithamorepowerfulandvaluablefunctionhasbecomesahottopicofResearchinthefieldofWebService．Cu

5、rrently，manyresearchinstitutionsathomeorabroadbegintosudytheWebservicescompositionandachievedsomeSUCCESS．However，therearestillsomeproblemsneedtosolve．Forexample，howtodeterminethelogicandtimingrelationshipbetweenthebasicWebservicesSOthatcomplexWebservicescanbecomposedautomatically；howtotestandv

6、alidateWebservicescompositionSOthattheresultofexecutonofWebservicesiscorrect．Aimingattheseproblems，thispaperproposedanautomaticsemanticWebservicecompostionmethodbasedondynamiclogic．SemanticWebservicesaremappetotheactionandformulaofthedynamiclogicandtheWebservicescompositoncanbeachievedbytherea

7、soningofdynamiclogic．TheadvantagesofthismethodlieintheautomationofWebservicescompositonandcorrectnessoftheresultofWebservicescompositon．Themainjobofthispaperincludes：1．TheOWL-SProcessModelofsemanticWebserviceswillbeformalizedbyactionand