共查询到20条相似文献,搜索用时 62 毫秒
1.
基于颜色Petri网的Web服务组合建模及应用 总被引:1,自引:0,他引:1
给出了用颜色Petri网来对Web服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟Web服务执行的引发规则,从静态、动态两方面描述了Web服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。 相似文献
2.
夏妍 《数字社区&智能家居》2011,(7X):5154-5156
该文提出一个基于扩展颜色Petri网的Web服务组合描述模型,该模型在描述组合流程的控制流和数据流的同时还能描述流程中的参数、操作的语义和服务质量,能较全面地刻画Web服务组合流程;最后通过该建模方法给出一个建模实例。 相似文献
3.
4.
5.
基于Petri网的Web服务组合建模 总被引:1,自引:1,他引:1
针对Web服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于Petri网理论的Web服务组合建模方法,对服务组合进行形式化建模,然后通过分析Web服务网的可迭性和活性对Web服务组合进行验证,最后举例说明此方法的应用。 相似文献
6.
一种基于扩展颜色Petri网的Web服务组合验证机制 总被引:2,自引:0,他引:2
Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画Web服务组合流程。还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了Web服务组合流程的正确性。 相似文献
7.
针对现有的组件服务发现方法存在自动识别率和重复使用率低下的问题,文中首先利用Petri网理论设计了一种自动组件服务发现框架,用于支持组件服务的发现及复用;在此基础上提出了时序Petri网服务模型(TPNSM);通过借鉴Petri网中关联矩阵的概念,将组件服务间的邻接关系映射为矩阵,通过邻接关联矩阵给出相似度计算方法;最后,提出了基于Petri网的组件服务发现方法。通过将文中方法与现有服务发现方法进行仿真对比实验,结果表明该方法能根据用户需求快速响应,在组件服务发现方面具有更好的查全率与查准率。 相似文献
8.
9.
通过Web服务构建复杂应用存在的问题是:Web服务是无状态操作,所以只能提供相对较小的原子应用。但Web服务是可以集成的,这是它的一个重要特征。因此,可以通过原有web服务的组合构成新的更复杂、功能更强大的Web服务。Peri网理论作为组合Web服务的一个主要机制,可以用来快速创建功能更强大的Web服务。该文围绕Petri网理论在web服务组合中的应用,研究如何基于Petri内构建web服务动态组合的模型,从而实现web服务的集成。 相似文献
10.
交通信息网格系统以高性能计算网格环境为支撑平台,综合运用网格及Web服务技术提供交通信息服务。系统请求响应过程复杂且有功能复用,为了确保系统各响应流程设计的正确性,建立了基于颜色Petri网的分层描述模型,在模型基础上利用形式化方法验证了系统设计的正确性。 相似文献
11.
Petri网有严格的数学定义,具有描述分布式通信计算系统的能力.通过分析网格系统的特点,高度抽象网格系统概念,基于Petri网原理,构造网格系统的库所和变迁,用有色Petri网系统给出网格系统的形式化定叉,并对相关概念进行了讨论. 相似文献
12.
工作流的合理、有效调度有利于改善整个工作流系统的性能,从而提高业务流程的执行效率。静态调度有利于在静态环境下达到全局调度的最优,但不能有效地处理工作流的动态不确定性。而动态调度在考虑工作流的动态不确定性的同时,优化每个任务的调度方案,但很难达到所有任务的全局最优。在总结静态调度和动态调度两种方法各自的优缺点的基础上,本文提出了一种基于有色Petri网的工作流阶段性调度方法。该方法能够妥善地处理工作流的动态性和不确定性,并在静态全局最优和动态单个最优之间达到较好的均衡。仿真实验说明了该方法的有效性和优越性。 相似文献
13.
14.
15.
着色Petri网是在经典Petri网理论基础上增加了token类型和网的模块这两个功能,它现在已成为一种较完善的语言,可以用来对各种系统规范和协议等进行设计、规范描写、仿真和验证等。文章对着色Petri网的基本理论进行了简单介绍,并对一个简单的通信协议进行建模和分析,提出了今后着色Petri网发展的一个主要方向。 相似文献
16.
17.
本文给出了网格计算资源的三层调度方案,并利用层次颜色Petri网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延Petri网模型,不同层次的颜色时延Petri网模型可以有不同的行为表现,体现了网格计算资源的异构、自治等特点。给出了层次颜色Petri网的可迭任务图的概念及构造算法,并利用可达任务图,对网格计算资源调度系统的运行状态进行了分析。 相似文献
18.
19.
20.
基于Petri网的BPR建模方法的研究 总被引:2,自引:0,他引:2
文章论述了基于Petri网的事务流程模型和流程建模方法。经过40多年的研究与应用,Petri 网在自动控制、通信和计算机科学等许多领域已经获得了较为成熟的应用。但把它作为支持BPR实施的流程建模工具,还没有得到广泛的应用。文中提出了一种基于Petri网的流程建模方法-BPM,在增加适当的属性后,用BPM设计的流程可直接用于仿真,这样就可得到必要的流程优化数据,以实现流程的优化。文章最后用一个简单的例子对BPM的有效性进行了验证。 相似文献