共查询到16条相似文献,搜索用时 93 毫秒
1.
2.
一种工作流模型的性能分析方法 总被引:30,自引:0,他引:30
在讨论了工作流模型分析的相关问题后,基于工作流网的定义,给出了包含资源、时间等信息的多维工作流网的概念,并讨论了由基于工作流联盟(WfMC)过程定义的一种有向网络图模型到自由选择多维工作流网模型的映射.为了处理工作流模型中的循环结构,对具有无环自由选择工作流网到一组变迁组件网(T—component)的分解算法进行了扩展,以处理工作流网中存在的循环结构.进而在模型结构分析的基础上,根据工作流模型的实际业务输入速率计算得到工作流网中每个变迁的输入速率.进而,结合开环Jackson排队网络理论,详细讨论了对工作流模型进行系统静态性能分析及基于系统资源状态的连续时间马尔科夫链(CTMC)的系统动态性能分析的方法,并以一个实例验证了作者提出的模型性能分析方法的有效性. 相似文献
3.
4.
一种基于扩展时间Petri网的工作流时间性能评价方法 总被引:6,自引:0,他引:6
时间性能分析是工作流模型分析和评价的重要方面.首先介绍了业务过程的一般Petri网模型,然后建立了工作流网的扩展时间模型,在可达图的基础上提出了简单路径图和可变换子网的概念,利用保持网响应时间和分配概率不变的网变换方法对扩展时间工作流网进行化简,给出了找出可变换子网的算法和计算工作流模型时间性能指标的方法. 相似文献
5.
基于随机Petri网的工作流仿真 总被引:2,自引:0,他引:2
工作流管理是今年来发展最为迅速的计算机应用技术之一,被广泛应用于多个领域.Petri网,是对具有并发、同步、异步、冲突、资源共享以及不确定性等特点的离散事件系统进行建模的有效工具.针对工作流的性能评价问题设计和实现了随机Petri网仿真工具.介绍了工作流和随机Petri网的基本概念,然后具体介绍了仿真策略和冲突解决方法的关键仿真技术问题,最后结合具体实例对仿真工具的有效性和正确性进行验证. 相似文献
6.
如何利用广义随机Petri网对WS-BPEL描述语言进行建模、验证以及评价,进而实现对Web服务组合过程可靠性和性能的分析,一直都是领域研究中的难点和热点。首先,给出WS-BPEL业务流程到GSPN的映射规则和转换方法;并通过对GSPN模型进行可达性和不变量分析,实现对WS-BPEL业务流程正确性的验证;然后,借助构造与GSPN模型同构的马尔可夫链,完成对系统性能的分析;最后,以某实例为分析对象,对模型的正确性和有效性进行了验证。 相似文献
7.
本文在扩展Petri网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计人员通过该工具建立业务过程,并根据模型的定义保存业务过程定义。 相似文献
8.
基于Petri网的工作流模型性能分析方法 总被引:17,自引:0,他引:17
除了有限的仿真支持以得到参考数据以外,目前对于工作流模型性能的理论上的严格分析几乎是空白。在深入分析了经营过程工作流模型特点的基础上,本文提出一种将工作流的Petri网模型分解为事件图的算法,并给出了利用事件图对单个业务实例的处理过程进行性能分析的基础上获得整个工作流模型性能指标的方法。 相似文献
9.
一个高效的产品研发流程可以提高企业的工作效率和市场的竞争力。针对嵌入式产品研发过程管理混乱、研发项目过程中时间管理控制不足等特点,运用广义随机Petri网理论和工作流技术建立嵌入式产品研发过程模型来优化当前的嵌入式产品研发过程,对模型进行定性分析和定量分析,得到模型正确性和工作流的关键性能指标。最后以此为基础实现嵌入式产品研发过程的优化,优化后的工作流模型符合企业的实际需求,缩短了工作流的平均执行时间。 相似文献
10.
11.
基于PETRI网的工作流模型分析与应用 总被引:6,自引:2,他引:6
目前,工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具。论文着重讨论基于Petri网的工作流模型的分析技术,对其基本的过程和所涉及的问题进行了分析,尤其对模型正确性的判定等问题,进行了详细的阐述。在文章最后,将给出一个应用的实例:全国高校网上招生录取系统。 相似文献
12.
工作流进程中的QoS受很多非功能性因素的影响,例如性能、可靠性以及安全性等等。对QoS度量的管理直接影响到参与工作流具体应用的服务能否顺利完成。因此,当服务被工作流或Web进程创建或管理时,底层的工作流引擎必须估计、检测并控制用户的QoS。基于已有的工作流模型分解算法,利用随机良构工作流网的数值分析,给出了分析工作流进程QoS的一种新方法,并结合实例加以验证。 相似文献
13.
一个基于TWF-net的扩展时间工作流模型及其应用 总被引:14,自引:0,他引:14
时间约束是分布式企业工作流程建模中的一个重要因素.基于时间Petri网工作流模型(TWF-net),通过分析TWF-net模型不足之处,建立了一种新的时间Petri网工作流模型——扩展时间Petri网工作流模型(XTWF-net).通过构建规则,可将多个TWF-net合并为一个XTWF-net,以描述并行流程中的时间约束;通过引入与时区相关的时间映射函数,XTWF-net可以描述分布于不同时区的流程.最后给出一个利用XTWF-net描述分布式企业中业务流程的实例. 相似文献
14.
P-F方法在工作流系统中的应用研究 总被引:1,自引:0,他引:1
P-F方法是作者正在进行的一项过程建模和过程改进的方法论研究,作为一种支持过程建模、控制和改进的方法,P-F方法同样可以应用于工作流系统中。P-F方法由概念模型和实施模型组成,概念模型包括Petrinet和形式化的PAB表,它可以应用于工作流的建模;P-F方法的复用机制支持工作流建模过程的复用;P-F引擎提供了工作流管理,并支持运行时的工作流模型的动态修改。论文在工作流和P-F方法的概念后,讨论了如何将P-F方法应用于工作流系统以及将P-F方法应用于工作流系统所带来的优点。 相似文献
15.
文章分析了我国电子政务应用的特点,提出了一种面向电子政务的基于活动网络图的工作流模型,描述了组成工作流的基本实体类型,讨论了模型如何支持电子政务应用中的复杂流程、如何利用已有组织模型、如何与现有系统集成,同时还讨论了工作流模型与XPDL的映射关系,最后介绍了基于该模型的工作流引擎的实现方法.该工作流引擎已经在税务等多个政府信息系统中得到成功应用,应用结果表明所讨论的工作流模型能够满足我国现有电子政务的应用需求. 相似文献