基于工作流网的过程模型的合理性分析

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网(WF-net)。基于两种不破坏原工作流网络结构特性和系统行为的调整映射,将工作流网调整为完全的扩展自由选择网(EFC-net),结合秩定理,给出了验证工作流合理性的算法。     

基于Petri网的保险工作流系统建模及验证

提出基于Petri网的工作流系统业务模型.该模型将Petri网的理论和性质应用于业务工作流系统当中,从系统的运行过程和形式化的图形描述方式两方面实现对工作流系统的快速建模和分析.通过工作流Petri网的语义性质,对所建立的中国人民保险公司的索赔业务工作流系统模型的正确性进行验证和分析,表明此模型有较好的应用效果.     

工作流过程的语义验证方法应用

工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.描述了在一个实际的工作流系统中,如何使用过程建模工具实现一个电子商务过程订货购买过程的定义和验证.特别是详细阐述了基于三维工作流网化简技术的过程语义验证方法的应用,说明了该方法的有效性.     

基于复合状态的工作流授权

提出了一个新的工作流授权模型,目的是解决工作流的执行流和授权流不能同步的问题.新模型是基于工作流任务调度的授权系统.通过分析工作流授权状态和工作流任务执行状态之间的转换,将授权状态和执行状态进行绑定,提出了复合状态的概念.然后使用预授权操作和复合状态转换操作完成复合状态的转换,从任务调度的角度解决了工作流的执行流和授权流不能同步的问题.最后通过针对授权同步性能的测试验证了新模型能够使授权流和执行流同步的结论.     

工作流管理系统研究

总结了工作流管理系统的研究现状,详细介绍了工作流管理系统的一些相关概念,分析了工作流管理联盟提出的工作流参考模型,给出了工作流系统的分类,并指出了今后的研究方向。     

一种基于UML活动图的工作流模式描述与验证方式

随着工作流技术应用的越来越广泛,对于工作流技术的要求也越来越高。而工作流模型的好坏对于整个工作流管理系统性能来说意义重大。在这里,引入了UML活动图来对工作流模式进行描述,并提出图论中的邻接矩阵和Warshall算法来进行验证的方法,这为开发健壮的、合理的大型工作流系统提供了很好的描述方法与验证方式。     

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.     

基于Petri网的工作流时间建模

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法.并以某一检查案例为工作流模型,进行了工作流建模和时间性能分析.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

工作流与工作流管理技术综述

工作流是近年来引起许多研究者、开发人员和用户注意的一类软件和系统技术,是企业管理的主要研究内容之一,为企业更好的实现经营目标提供了先进的。本文对工作流技术和工作流管理系统的相关概念、术语进行了介绍;简要说明了当前工作流技术的研究内容,给出了工作流管理系统的几种分类方法,并对工作流管理系统标准进行了简要介绍。     

基于移动Agent和Web Service的动态工作流互操作模型

工作流产品之间的协作成为企业间有效合作的瓶颈．虽然大多数厂商之间已解决了一些工作流互操作问题，但往往是静态的，为了提高工作流互操作的灵活性，需要各工作流系统支持动态工作流互操作．在此分析了动态工作流互操作中存在的问题，归纳了实现动态工作流互操作需要解决的问题，然后提出了一个基于移动Agent和Web Senrice的动态工作流互操作模型，给出动态工作流互操作相关的实现描述，最后结合一个具体实例通过数据验证此模型的优越性．     

基于WEB服务的工作流管理系统

首先介绍了当前工作流管理系统的一些相关概念,分析了在本系统中的一些关键技术,包括系统的体系结构,工作流模型中主要实体的XML描述及工作流执行机的设计与实现等;研究开发了一个基于Web的工作流管理系统,其中工作流过程定义采用了基于XML的过程定义语言;阐述了该系统的总体结构、设计原理和实现机制,并对该系统在实际中的应用进行了实例介绍。该系统的开发为异地办公及跨企业的合作提供了良好的基础。     

基于构件的工作流系统

本文首先对工作流和构件技术进行了简要概述,然后根据工作流系统的一种开发方法,结合构件技术提出了工作流构件的概念。工作流构件既包括部分流程定义和相关应用程序,也能实现完成某种功能的应用逻辑。在构件化的工作流系统中,系统的过程定义被分散到工作流各构件中,和其相关的工作流构件构成一个独立的部分。基于构件的工作流系统既简化了过程定义的复杂度又保持了系统的灵活性。     

基于WEB的工作流管理系统研究与应用

介绍了工作流及工作流管理系统的概念和发展现状,分析了基于网络的工作流管理系统的现实意义和特点.对工作流技术在OA产品业务流程重组和协同工作技术方面进行了研究,然后以一个小型的工作流系统为例说明其在实际业务中的应用.     

一个柔性工作流引擎设计

工作流引擎是工作流管理系统的核心,为提高工作流管理系统的开放性、灵活性、易用性和跨平台性,提出了一种基于B/S架构、JAVA语言和关系型数据库的柔性工作流引擎设计方法.首先对工作流系统体系结构进行分析,其次对柔性工作流引擎的数据模型和控制模型进行设计,并给出了工作流引擎的路由控制算法;最后对柔性工作流引擎的动态适应机制进行说明.     

基于UML活动图的工作流建模方法

对工作流管理系统的功能特性进行了分析，提出了一种工作流执行系统的体系结构，并详细描述了用UML活动图为工作流建模的过程。     

分布式工作流技术研究综述

分布式工作流管理系统是当前工作流技术研究的趋势和热点.对分布式工作流系统的研究现状进行综述,主要包括从理论和和实现两个层次深入探讨了分布式工作流系统的解决策略和方法,并对一些具体的实现机制进行了讨论和比较,介绍了一些成熟的分布式工作流系统, 分析了支持分布式工作流的系统体系结构和系统中相关的分布式实现,并且指出了理论研究的不足和系统实践的未来趋势和发展方向.     

基于工作流的办公自动化系统研究

本文首先对办公自动化系统的定义、内涵、功能和开发平台进行了概述;然后介绍了工作流技术的相关概念和术语;最后分析了基于工作流的办公自动化系统,即工作流管理系统的实施过程,并对自动化办公系统的发展前景进行了展望。     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

基于工作流技术MIS系统的分析与设计

运用Petri网工具对工作流技术进行了详细的分析与描述,并结合MIS系统开发的实际,对工作流技术在MIS系统中的应用进行了Petri网分析,最后春出了工作流的管理和控制模式以及分布式MIS系统中工作流技术的实现形式,实践证明,工作流技术既有助于系统的分析与设计,又方便了用用户的使用,从而大大提高了系统的性能。