基于模糊petri网的服务组合方法研究

《基于模糊petri网的服务组合方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、＇ｇ琴单位代码１０１４４，分类号－＿ＩＭｉ＿编号硕±学位论文题目專斗换綱网巧船矣細名肯建＾吞妍究生姓名＾３＃ｔ＜＾（办化届针篇ｋ亩巧妓术专业）导师姓名王ｉ王雷论文完成日期２４年巧〇目７日藻地化＾火凑’ＳｈｅｎｙａｎｇＬｉｇｏ凸ｇＵｎｉｖｅｒｓｉｔｙ’－＇．与’ｗ＇Ｉ．三；分类号：TP393密级：ＵＤＣ：621.39编号：工学硕士学位论文基于模糊Petri网的服务组合方法研究硕士研究生：盛建家指导教师：王红霞学科、专业：计算机应用技术沈阳理工大学2016年3

2、月分类号：TP393密级：ＵＤＣ：621.39编号：工学硕士学位论文基于模糊Petri网的服务组合方法研究硕士研究生：盛建家指导教师：王红霞学位级别：工学硕士学科、专业：计算机应用技术所在单位：信息科学与工程学院论文提交日期：2015年12月07日论文答辩日期：2016年03月07日学位授予单位：沈阳理工大学ClassificationIndex:TP393U.D.C:621.39AThesisfortheMasterDegreeofEngineeringServiceCompositionMethodBasedonFuzzyPetrinet

3、Candidate:ShengJianjiaSupervisor:WangHongxiaAcademicDegreeAppliedfor:MasterofEngineeringSpeciality:ComputerApplicationTechnologyDateofSubmission:December07,2015DateofExamination:March07,2016University:ShenyangLigongUniversity沈阳理工大学硕±学位论文原创性声明：本人郑重声明本论文的所有工作，是在导师的指导下，由作者

4、本人独立完成的。有关观点、方法、数据和文献的引用已在文中指出，并与参考文献相对应。除文中已注明引用的内容外，本论文不包含任何其他个人或集体己经公开发表的作品成果。对本文的研究做出重要贡献的个人和集体，均己在文中Ｗ明确方式标明。本人完全意识到本声明的法律结果由本人承担。作者（签字＞；感义争曰期月曰《年／戶＾ｔ学位论文版权使用授权书本学位论文作者完全了解沈阳理工大学有关保留、使用学位论文的规定，目Ｐ：沈阳理工大学有权保留并向国家有关部口或机构送交学位论文的复印件和磁盘，允许论文被查阅和借阅。本人授

5、权沈阳理工大学可将学位论文的全部或部分内容编入有关数据库进行检索，可レッ采用影印、缩印或其它复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本授权书）学位论文作者签名：指导教师签名：成畫秦－曰期：日期：＾摘要随着软件产业的快速发展，基于SOC和SOA的分布式应用系统迅速抢占市场。在这个大环境下，因特网上Web服务数量正呈现急速增长的趋势。但是目前因特网上的服务大多都是孤立存在的并且只提供简单的功能。所以，当遇到个性特征较强的需求时，不能指望那些功能单一的服务满足其需求。因此，面对个性请求越来越突出的情

6、况下，我们重点研究了如何提高Web服务组合的效率。本文借助模糊Petri网知识，研究Web服务自动组合方法。论文主要工作如下：由于不同Web服务功能差异会给计算QoS带来差异，所以改进两层QoS模型服务选择算法，这个算法是基于功能分组的，为Web服务组合中服务选择奠定了良好的基础；借助Petri网和模糊Petri网的知识，研究了在IOPE服务匹配上的服务依赖关系，改进了一种服务依赖关系生成图算法，并构建服务实例；在对服务依赖关系图反向推理的过程中，先建立了邻接矩阵，并用矩阵命令来简化矩阵维数，然后根据目标输出库所搜索与之相关的前驱库所。使用该

7、反向搜索方法，减少了计算量，提高了算法效率。关键词：Petri网；模糊推理；Web服务组合；形式化验证AbstractWiththerapiddevelopmentofthesoftwareindustry,thedistributedapplicationsystembasedonSOCandSOAquicklyseizethemarket.Inthisenvironment,thenumberofWebservicesontheInternetisgrowingrapidly.ButmostoftheservicesontheIntern

8、etareallinisolationandprovideasimplefunction.So,whentheneedtomeetthestrongpersonal