基于逻辑petri网web服务组合建模及的分析

《基于逻辑petri网web服务组合建模及的分析》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、分类号：TP311密级：公开UDC：单位代码：10424学位论文基于逻辑Petri网的Web服务组合建模与分析朱昌彦申请学位级别：硕士学位专业名称：计算机软件与理论指导教师姓名：杜玉越职称：教授山东科技大学二零一一年六月论文题目：基于逻辑Petri网的Web服务组合建模与分析作者姓名：朱昌彦入学时间：2008年9月专业名称：计算机软件与理论研究方向：分布式系统理论与算法指导教师：杜玉越职称：教授论文提交日期：论文答辩日期：授予学位日期：2011年5月2011年6月Modeling

2、andAnalysisofWebServiceCompositionBased-onLogicPetriNetsADissertationsubmittedinfulfillmentoftherequirementsofthedegreeofMASTEROFPHILOSOPHYfromShandongUniversityofScienceandTechnologybyZhuChangyanSupervisor:ProfessorDuYuyueCollegeofInformationScienceandEngi

3、neeringJune2011声明本人呈交给山东科技大学的这篇硕士学位论文，除了所列参考文献和世所公认的文献外，全部是本人在导师指导下的研究成果。该论文资料尚没有呈交于其它任何学术机关作鉴定。硕士生签名：日期：AFFIRMATIONIdeclarethatthisdissertation,submittedinfulfillmentoftherequirementsfortheawardofMasterofPhilosophyinShandongUniversityofScienceandTechnolo

4、gy,iswhollymyownworkunlessreferencedofacknowledge.Thedocumenthasnotbeensubmittedforqualificationatanyotheracademicinstitute.Signature:Date:山东科技大学硕士学位论文摘要摘要近年来，随着Web服务兴起与发展，Web服务数量急剧增加，给信息服务带来越来越大的压力，这就需要改进Web服务的描述方法，以消除服务冗余，减轻网络负担。另外，随着学术界以及产业界对服务计算（SOC）

5、的关注越来越密切，加之Web服务是支持服务计算的关键技术之一，而单个的Web服务又很难满足用户的需求，因此对Web服务组合的研究也越来越多。本文提出一种基于领域本体的标准术语规范化Web服务的功能描述，将功能相同的多个Web服务进行合并，生成一个新的复合Web服务的思想。给出了一种基于逻辑Petri网的Web服务形式化描述方法，它不仅能有效刻画Web服务的输入/输出参数、质量约束及行为约束限制，而且能有效描述复合Web服务的参数不确定性。提出了用户请求的形式化表达方法，并基于逻辑推理技术，分析了用户请求的可接

6、受性，只向系统传送可实现的用户请求，提高了服务组合的效率。给出了基于逻辑Petri网的服务运算算子及其相应的服务运算基本结构：顺序结构、并发结构、选择结构及迭代结构，同时进行了性质分析，如封闭性、正确性等。在服务计算基础上，提出了一种Web服务组合模型，构建了服务组合框架。设计了一个基于关键字匹配和语义匹配的服务发现算法，通过实例验证了服务发现算法的可行性，并说明了算法的执行过程。通过仿真实验与基于关键字的服务发现算法、基于语义的服务发现算法进行了对比，证实了本文算法具有更强的服务发现能力。给出了基于服务计算

7、的服务组合规则，实现了服务组合，并证明了其有效性和正确性。最后，初步设计实现了一种Web服务组合建模系统，给出了建模工具的总体框架及实现技术，完成了对用户请求的实现。并通过仿真实验，证明了本文提出的服务组合方法具有较好的自适应性。本文主要是对基于逻辑Petri网的服务组合建模技术进行了相关研究，着重解决了Web服务描述问题及组合问题，对于推进Web服务组合技术的研究有一定的价值。关键词：逻辑Petri网，服务组合，服务运算，服务匹配，建模，分析山东科技大学硕士学位论文AbstractABSTRACTWith

8、therecentproliferationanddevelopmentofWebservices,thenumberofWebservicesisincreasingdramatically,andmoreandmorepressureisinducedtoservicecomposition.InordertoeliminatetheredundancyofWebServicesandallev