一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

基于扩展模型的工作流描述方法和最大时间控制问题

根据客观世界人们协作完成任务的工作流控制方式,提出了一种扩展的工作流管理模型的描述方法,它将传统的工作流建模表示方法按灵活性,功能完备性和自治进行改造,使之能较好地适应复杂的管理模式。     

一种基于Petri网的时间工作流模型的研究与验证

时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时提高了验证的有效性。     

一种基于工作流图的时间资源分配策略

研究了工作流中时间分配问题。在具体活动基础上增加标记活动，以记录所在路由分支的资源使用情况； 将时间看作一种不可更新资源，并将时间资源分为私有资源、公有资源和双重资源三类； 提出了一种路由结构的时间资源分析方法和分配算法，根据不同路由分支的特点及初始分配资源在实际执行过程中的使用情况，通过裂变与聚合进行时间资源再分配，保证整个工作流的顺利完成。通过实例说明工作流图中时间资源分配过程。     

一种基于语义控制的长事务工作流模型

在工作流系统中,长事务普遍存在,现有借鉴数据库事务处理方法的事务模型在对工作流长事务进行处理时存在着一定的局限性。为了解决工作流中长事务的共享资源访问控制和冲突解决效率等问题,在新模型中引入了语义控制协议,强调人的参与在事务处理中的重要性,并结合一致性状态和日志,能够有效的提高解决冲突的灵活性和效率、缩小事务规模和降低事务回滚的代价。     

接力式协作的工作流控制模型

针对工作流管理系统的描述、构造和实现问题，讨论了工作流的建模原则，分析了工作流要素间的关系，提出了一个描述工作流控制过程和组织结构的模型——接力式协作的工作流控制模型RCW，给出了实现工作流管理系统的理论框架．     

工作流管理系统时间模型wTM研究

主要研究面向工作流管理系统的时间定义方法和模型。在分析工作流管理系统对时间维的要求的基础上,提出基于XML的时间模型wTM,最后给出了一个实现实例,并指出了其创新及不足之处。     

一种支持分布式工作流模型的工作流管理系统

通过研究分析当前对跨企业工作流进行集成时所面临的问题,提出了一种支持分布式工作流模型的工作流管理系统,阐述了系统的设计原理和总体结构,并给出了一个跨企业工作流管理的实例。     

一种工作流时间约束的动态验证方法

时间约束的动态验证是保障工作流及时、有效的完成的关键.本文采用具有满足、弱不满足、强不满足3种状态的时间约束,改进了时间约束的动态验证方法.对于部分弱不满足的时间约束,通过基于角色信任度和时间延迟的松弛时间分配方法,可调整其状态至满足的,降低了异常的触发频率,提高了运行效率.实验表明,该方法有效地降低了异常处理的代价.     

一种用于工作流引擎的任务预测与分配算法

为了检测工作流系统在中短期内是否会出现任务超载的情况,首先利用灰色预测算法来预测不同类型任务在预测窗口内的变化趋势,并根据预测结果建立一种负载均衡偏差可控的整数线性规划模型,以求解最优的任务分配策略。当工作流系统在预测窗口内出现任务超载时,该方法可计算出在保证不同工作人员之间任务负载均衡和任务分配合理性的情况下所需增加的最少工作人员数量,并且在一定程度上提高了任务处理的时效性。     

面向电子政务的工作流模型的研究与应用

文章分析了我国电子政务应用的特点,提出了一种面向电子政务的基于活动网络图的工作流模型,描述了组成工作流的基本实体类型,讨论了模型如何支持电子政务应用中的复杂流程、如何利用已有组织模型、如何与现有系统集成,同时还讨论了工作流模型与XPDL的映射关系,最后介绍了基于该模型的工作流引擎的实现方法.该工作流引擎已经在税务等多个政府信息系统中得到成功应用,应用结果表明所讨论的工作流模型能够满足我国现有电子政务的应用需求.     

工作流模型挖掘算法及其应用研究

工作流管理系统由工作流模型所驱动,但产业界的实践表明定义工作流模型的工作不仅费时而且易错。工作流挖掘技术能够帮助解决这一问题,并能为现有工作流的分析与优化提供参考。简要介绍三种典型且具有应用价值的工作流模型挖掘算法,并应用其中一种挖掘算法,详细讨论了一个实际的工作流模型挖掘过程。挖掘过程以某Staffware系统的工作流日志文件为起点,包括数据预处理、初始工作流模型挖掘、初始工作流模型化简三个主要步骤,具体实现可通过一个工作流模型挖掘子系统参与完成。     

基于TBAC的分布式工作流访问控制模型研究

基于分布式的工作流系统面临着日益复杂的数据资源安全管理难题,基于TBAC的访问控制可以与工作事务处理流程紧密结合,因此可根据工作流中任务和任务状态实现对数据资源的动态访问控制。本文在分析基于任务的访问控制原理基础之上,将基于角色的授权机制与基于任务的访问控制相结合,采用任务层次分解方法建立全局工作流图,应用
用分散管理策略建立分布式工作流的安全访问控制模型,并对该模型实现进行了详细阐述。     

基于角色的工作流模型研究与应用

论文的目的是将角色的概念引入工作流模型中,从角色及其合作的角度,分析基于角色的工作流模型及其表示方法,并分析在安全性方面的控制,结果表明在工作流模型中引入角色的概念,可以提高系统的安全性并且能方便地实现系统的安全访问控制。     

一种工作流任务回撤机制的动态模型研究

工作流管理系统在不同的领域得到了广泛应用,但仍然未能满足任务回撤等特殊业务需求。文章首先对任务回撤进行了描述,并简要介绍目前的几种解决策略,然后在研究典型工作流过程元模型的基础上,引入新的模型因子——服务接口(Interface),提出并建立基于服务过程分解(Service Process Division,SPD)的、具有动态特性的工作流过程模型。最后通过改造开放源代码产品JBPM,在实际中得到应用。     

基于ECA规则的工作流模型应用研究

本文以工作流参考模型为基础,结合办公自动化工作流的应用特点,阐明了工作流模型的设计与实现方案,应用ECA规则模型,对工作流模型进行定义和描述.     

工作流程中的任务委托模型

针对现有工作流程管理系统在安全性与灵活性上的不足,提出一个基于任务的细粒度委托模型,该模型中的委托具有临时性、单步性、单调性、协议性及对称性等特征,规范了委托关系、委托条件、委托时效以及委托实施到撤消的整个委托生命过程。结果表明,该模型解决了由于执行人无法及时执行任务而引起的工作流程阻塞的问题,能提高系统的工作效率。     

模糊环境中工作流任务分配的多级模型

对工作流实例中各用户型任务进行自动优化分配是提高工作流管理系统运行效率的关键技术之一 .在详细分析了影响用户型任务分配的多种因素及其语意模糊性后,提出了一个可组合的任务分配多级模型以及相应的任务分配方法,详细讨论了具有自适应能力的影响因素权重设计方法 .最后,通过与其他任务分配方法对比,分析了该任务分配方法的性能 .     

基于任务和角色的工作流访问控制模型

提出一种基于角色和任务的工作流访问控制模型,并描述模型中用户、角色、许可、活动等要素间的指派关系和该模型的静态、动态约束规则,然后以此模型为上下文背景提出一个描述基于角色和任务的工作流授权约束的直观的形式化语言,称为ERCL。它以系统函数、集合一级变量符作为基本元素。最后给出一个该模型在实际工作流系统中的应用。     

自适应分布式工作流引擎的研究与设计

目前,分布式工作流系统已经取代集中式系统成为工作流系统主流。针对当前分布式工作流应用中执行环境和需求的变化性,提出了一种基于MVC结构和中介者模式的自适应的分布式工作流系统框架。在该框架中,一方面,执行引擎动态迁入迁出;另一方面,系统对过程和活动两个粒度进行任务调度,从而提高系统对运行环境的适应性以实现分布式工作流系统的柔性和扩展性。