基于改进模糊Petri网的Web服务组合正确性验证研究

发布时间：2017-11-14 05:26

  本文关键词：基于改进模糊Petri网的Web服务组合正确性验证研究

  更多相关文章： Web服务组合 服务组合验证 模糊Petri网 建模 正确性

【摘要】：近年来,Web服务技术发展迅猛,具有相同或者相似功能的Web服务数量也越来越多,面对众多繁杂的需求,将单一的Web服务组合成一组正确的服务尤为重要。Petri网具有直观的图形化表示、严谨的数学理论基础等特点,本文基于Petri网建模应用的一些问题进行验证分析。研究内容和贡献如下:(1)服务的数量越来越多,Web服务组合的正确性与可靠性是组合成功执行的保障,由于Petri网具有异步并发等特点,本文提出一种改进的模糊Petri网对Web服务组合进行建模。在模糊Petri网中加入一个集合,用不同的值来表示组合可靠性等级、数据流和控制流。(2)由于模糊Petri网具有严谨的推理优势,是一种结合模糊性原理的网结构,Web服务组合的依赖关系以及关系依赖图的生成可以根据模糊产生式来分析。所以,本文引入的改进模糊Petri网的MYCIN算法来计算服务组合的可靠性等级。(3)现有的Web服务种类繁多,功能各异,在组合阶段,保证其正确性是服务组合的首要任务。基于改进的模糊Petri网对服务组合的安全性、可达性和死锁进行验证。(4)针对调用股票汇率兑换服务建立模型,分析该实例的可达标识图,验证了模型的正确性。又通过仿真实验,从而说明本文提出的策略能够有效解决Web服务组合可靠性问题的验证。
【学位授予单位】：南京财经大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：TP393.09;TP301.1

【相似文献】

中国期刊全文数据库 前10条

1 孙洁丽;龚立群;;Web服务组合标准规范的研究[J];现代图书情报技术;2007年05期

2 万里平;蔡美玲;高春鸣;;基于服务联盟的Web服务组合模型及方法[J];计算机工程与应用;2007年31期

3 郭峰;张萌;;Web服务组合的可靠性分析[J];系统仿真学报;2008年S2期

4 程永上;王志坚;;Web服务组合在水利领域中的应用[J];计算机工程与应用;2008年07期

5 陈世展;冯志勇;;服务网络:Web服务组合的新基点[J];计算机应用研究;2008年05期

6 刘志红;;Web服务组合的相关研究[J];农业科技与装备;2009年01期

7 熊伟;;Web服务组合综述[J];信息化纵横;2009年05期

8 曾伟;胡W，

本文编号：1184076