共查询到15条相似文献,搜索用时 109 毫秒
1.
工作流过程定义可以采用不同的建模方法,由于Petri网有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具,XPDL是基于XML技术的工作流过程定义语言。文中提出了六种基本的Petri网流程模块,给出了由Petri网向XPDL转换的方法以及由XPDL构造Petri网的方法。 相似文献
2.
工作流网Soundness验证 总被引:1,自引:0,他引:1
工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。 相似文献
3.
分布式工作流管理系统是相对于早期的集中式工作流管理系统而言的。在讨论了工作流的基础上引入工作流基于XML的过程定义语言XPDL,提出了一种基于XPDL的分布式工作流管理系统的设计方法。 相似文献
4.
基于对象Petri网工作流建模的研究与实现 总被引:11,自引:2,他引:9
结合XPDL(XML Process Definition Language)标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。 相似文献
5.
按工作流管理联盟(WfMC)的参考模型,工作流过程定义处于工作流管理系统的工作流模型创建阶段。工作流过程定义采用的建模方法有多种,采用工作流网(WFNet)方法,开发了一个基于工作流网的过程定义工具。 相似文献
6.
陈翔 《计算机工程与应用》2008,44(24):12-14
目前,基于Petri网的工作流网的应用技术比较缺乏,很难被实际的工作流管理系统所应用。在通过资源管理器扩展工作流网的基础上,给出了将工作流网的过程定义转化为Agent的抽象结构的方法。在此基础上,建立基于Agent和着色工作流网的工作流管理系统框架,结合了工作流网的良好的建模特性和Agent的良好的应用特性,容易在实际系统中加以执行和控制。 相似文献
7.
本文在扩展Petri网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计人员通过该工具建立业务过程,并根据模型的定义保存业务过程定义。 相似文献
8.
9.
周丽芬 《数字社区&智能家居》2009,(15)
实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。 相似文献
10.
基于活动网络图的工作流过程定义工具的研究 总被引:6,自引:0,他引:6
该文基于工作流管理联盟(WFMC)制定的工作流过程定义元数据模型,提出了一个独立通用的基于活动网络图的工作流过程定义工具,它遵从WFMC制定的XPDL规范,可以输出一个标准通用的过程定义并能被不同的工作流运行系统解释执行,从而实现完全的过程定义的分离存储。 相似文献
11.
基于Web的工作流过程定义模型的研究与实现 总被引:1,自引:0,他引:1
针对传统Client/Server结构的局限性,结合Internet技术的飞速发展,提出了一种基于Web模式下的工作流过程定义的设计模型.该模型运用面向对象的思想,利用活动网络图来定义工作流,输出的过程定义遵从工作流管理联盟(WFMC)制定的XPDL规范,并能被不同的工作流运行系统解释执行.最后通过具体的实例说明了该模型在实际流程中的有效运用. 相似文献
12.
13.
首先介绍了工作流和XML过程定义语言(XPDL),并提出了XPDL在实际使用过程中的不足之处。对XPDL进行了一定的改进,提出一种基于模板的过程定义语言,包括对该语言的元模型的介绍、该语言如何在XPDL的基础上将流程数据和业务数据相分离,从而实现可重用性和可扩展性。最后,利用该语言实现了一个进行过程定义的工具。 相似文献
14.
TONG Xing 《数字社区&智能家居》2008,(14)
系统阐述了工作流技术的来源、应用背景以及发展情况,主要研究了基于XPDL的工作流模型,给出了基于过程控制的XPDL工作流体系结构模型,建立了基于XPDL技术的工作流元模型,并利用建模工具JAWE创建业务流程图得到符合XPDL标准的XML文件。 相似文献
15.
本文在基于Petri网的工作流网的控制流的正确性验证的基础上,提出了基于数据流的资源限制流网的概念,并在资源限制流网的基础上,提出了工作流网的正确性概念,提出了并发变迁的并发性错误检查算法. 相似文献