学位论文 > 优秀研究生学位论文题录展示

基于模糊Petri网的独立全局约束Web服务组合优化方法

作　者: 冯英华
导　师: 许志才
学　校: 安徽理工大学
专　业: 应用数学
关键词: Web服务组合模糊Petri网独立全局约束小生境遗传算法验证
分类号: TP301.1
类　型: 硕士论文
年　份: 2011年
下　载: 25次
引　用: 0次
阅　读: 论文下载

内容摘要

服务组合近来成为一个研究热点。目前而言,服务组合方法分为人工组合、半自动组合和全自动组合三种。找到一个合成服务要求对服务描述和使用者要求有准确的说明。约束条件就是用于使用者要求中来准确地描述需要的服务,共分为全局约束和局部约束两种。全局约束又分为严格依赖全局约束和独立全局两种情况。本文针对独立全局约束的Web服务组合问题采用半自动方法进行了研究。独立全局约束条件就是对于一个全局约束条件,如果其中的一个属性被赋值,那么剩下的受限制属性的值不能唯一确定。如果一个给定的独立全局约束定义了q个属性,服务描述给每个属性都赋予了p个值,那么寻找一个满足需要的服务就需要考虑p*q种情况,所以独立全局约束的服务组合是一个比较困难的问题。半自动方法就是开发者先构造一个进程模型,然后自动地为每个抽象任务选择服务组件。本文首先介绍了Web服务及其组合的相关概念和研究现状,然后介绍了模糊Petri网和约束的相关知识,接着讨论了两个全局约束的模糊网的组合的不同情况。随后本文利用模糊Petri网对独立全局约束的Web服务组合进行建模,并给出了一个小生境遗传算法,利用该算法在模型中找到最优组合。通过实验仿真,我们可以看出文中的方法既节省了时间又有较高的可行解比率。文中最后还提出来了约束条件下的Web服务组合的正确性和可靠性的验证方法。正确性就是要验证约束满足情况还有服务功能的正确。可靠性就是在考虑约束的情况下来保证服务的质量,通过将单个服务的可靠性转换成模糊网模型中的依赖关系下的变迁可靠性,并给出了库所中代表组合服务运行时可靠性的托肯值的计算方法,然后构造论文服务组合的可靠性验证图,通过该验证图来说明服务组合的可靠性。

全文目录

摘要  5-6
Abstract  6-11
插图清单  11-12
表清单  12-13
引言  13-14
1 绪论  14-18
  1.1 研究意义  14
  1.2 研究现状  14-17
  1.3 内容安排  17-18
2 Petri网和Web服务的相关知识  18-33
  2.1 Petri网的相关知识  18-25
  2.2 Web服务组合及其相关知识  25-33
3 基于FPN和小生境遗传算法的独立全局约束Web服务组合优化  33-46
  3.1 模糊Petri网和约束的相关知识  33-35
  3.2 带有约束的两个模糊Petri网的组合  35-40
  3.3 基于FPN的服务组合模型的建立  40-41
  3.4 基于NGA的模型求解  41-44
  3.5 实验仿真结果  44-46
4 独立全局约束服务组合模型的验证与分析  46-57
  4.1 约束Web服务组合的结构正确性验证  46-47
  4.2 约束Web服务组合的可靠性验证  47-49
  4.3 简例分析  49-57
结论  57-59
参考文献  59-63
致谢  63-64
作者简介及读研期间主要科研成果  64

相似论文

仿真系统模型验证方法和工具研究,TP391.9
复杂仿真系统VV&A工作流技术研究,TP391.9
辐射自显影胶片用于调强放疗剂量验证的可行性研究,R815
魔力平台业务过程建模冲突消解的研究与实现,TP311.5
多功能车辆总线控制器MVBC综合验证研究,TP273
蛋内注射leptin对肉鸡肝脏胆固醇代谢相关基因及microRNA表达的影响,S831
基于windows日志的计算机取证模型设计,D918.2
油包水型乳化油液水击谐波破乳LabVIEW仿真及实验研究,X703
船厂管加工车间生产计划仿真,U673.2
秘密共享方案中若干问题的研究,TN918.1
几种秘密共享方案的研究,TN918.1
低成本RFID系统安全协议研究,TP391.44
基于医学图像序列匹配的分割及三维建模研究,TP391.41
嵌入式Web系统安全性的研究与实现,TP393.08
多层VLAN实现汇接设备快速拓扑、快速接入的方法及平台设计,TP393.1
NUCSoC芯片的物理设计,TN47
低功耗、多主接口、多图层的液晶控制器设计,TN873.93
基于QoS感知的Web服务组合,TP393.09
禾谷镰刀菌蛋白激酶基因PUF1功能验证,S435.121
基于OVM的SoC功能验证系统的设计与实现,TN47
EPA网络芯片验证平台的设计与实现,TN407