基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

自动调整柔性工作流系统模型

针对目前的工作流管理系统中存在缺乏自动、及时的工作流调整功能的问题．提出建立柔性工作流管理系统模型，并结合实例讨论了柔性工作流调整方法。     

一个柔性工作流引擎设计

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

工作流分层模型的PNML表示

PNML是一种基于XML的Petri网交换格式，在工作流引擎内部使用PNML表示业务流程的模型，可以使得引擎和其他支持PNML表示的工具之间具有很强的互操作性．为此需要先定义新的标签，然后给出新的Petri网类型定义，最后通过例子阐明了如何用扩展后的PNML表示工作流分层模型．借助PNML表示，实现的工作流引擎工具具有很强的扩展性，能够和其他支持PNML的工具进行数据交换．     

基于三层调度机制的工作流引擎的研究

通过对工作流执行的本质的研究，根据影响工作流执行的3个基本要素对工作流过程进行逻辑上的分层，提出了基于3层调度的工作流引擎．该方法将工作流过程分成应用层、业务层和表示层，简化了工作流的执行过程，提高了工作流的柔性，增强了对复杂的业务流程应用的支持度．     

真并发等价性下的流程模型转换方法

针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制流模型,以完全并发互模拟为真并发等价概念,定义两个安全网间是完全并发互模拟关系的充分条件;基于Petri网的网展开,提出获得工作流网的可分离形式的局部网展开算法;通过证明局部展开网与原工作流网满足完全并发互模拟的充分条件,保证两个网模型的等价性.所提转换方法与已有方法相比,能够保留并发层次,且所需步骤更少,有利于流程模型的演化.     

基于面向对象工作流网的水利枢纽业务过程模型

结合水利枢纽实际,提出一种基于面向对象工作流网的枢纽抽水站业务过程模型,并实现了工作流网模型向面向对象语言的转化．对工作流网模型中的“变迁”元素进行扩展,面向对象的工作流网模型的结构,工作流网向面向对象的状态转换图及语言的转化等问题进行了研究．     

柔性工作流元模型及应用

随着企业竞争的加剧和政府对提高工作效率的迫切需要,工作流的柔性问题成为研究的热点.以元模型为基础,提出了一种实现柔性工作流的方法.以WfMC过程定义元模型为基础,提出了一种支持工作流柔性的元模型.在此基础上,通过引入ECA规则,对工作流中主要元素进行了形式化描述.以实例说明了该模型在实践中的应用.     

柔性工作流模型的研究与应用

随着企业竞争的加剧和政府对提高工作效率的迫切需要,工作流的柔性问题成为研究的热点。本文以WFMC过程定义元模型为基础,综合考虑各种动态的需求以及流程中的可变因素,通过引入规则库系统,对工作流元模型进行了扩展,提出了一种基于规则库实现柔性工作流模型的方法。     

基于WfSL的柔性工作流模型形式化定义

针对传统工作流模型柔性不足的问题,考虑各种动态需求以及流程中的可变因素,使用工作流规格说明语言WfSL对柔性工作流模型进行形式化定义,从而增加了模型定义的柔性,使其可以动态地进行过程、角色、状态和异常定义的修改,实现了工作流的动态性和灵活性。     

面向政务流程的工作流模型

针对政务流程设计和实现过程中领域化、标准化、灵活性的要求,结合标准化的工作流模型和政务工作流应用的特点,构造政务流转系统,并在此基础上提出面向政务流程的工作流模型(简称政务工作流模型)．政务工作流模型在标准工作流模型的基础上进行扩展,通过政务流程元模型、政务文书元模型和政务机构元模型实现政务流程的建模,并把建模结果以政务流程描述语言的形式保存．在政务工作流模型的基础上,还引入两阶段设计的思想,通过使用流程设计模式简化政务流程的设计．     

授权机制在工作流管理系统中的应用

访问控制是提高工作流系系统安全的重要机制。基于角色的访问控制(RBAC)被绝大多数工作流系统所采用,已成为工作流领域研究的热点。基于传统的RBAC模型,从工作流访问控制模型与流程模型分离的角度出发,提出了一种将基于角色的静态授权和任务的动态控制相结合的T-RBAC访问控制机制应用于工作流管理中,有效增强了访问控制的灵活性和系统的安全性。该访问控制模型已在企业项目解决方案中得以实施。     

一种基于网格的工作流系统

基于网格的工作流系统采用混合式的体系结构,在工作流引擎上集中管理,在任务处理上进行分布执行.工作流引擎通过解析树实现对过程模型中活动的处理,并给出遍历算法.工作流图形化建模工具支持模型向XML文件的转换,并支持XPDL标准.系统基于开放源码的Globus Toolkit 3.9.1实现,对于过程模型定义工具和工作流引擎,通过Web服务封装技术,把已有工作流系统的相关COM组件实现为网格服务,并把支持工作流的网格资源发布到协同设计环境中.对于工作流过程模型中的XML表示,采用C#实现为Web服务.多个Web服务结合在一起,实现网格环境下的工作流的布置.     

基于UML活动图的工作流过程建模研究

根据工作流管理联盟（WfMC）的工作流参考模型给出一个基于UML活动图的工作流过程元模型及其建模和执行规则,使模型既保持良好的直观性,又增强了在交互性、活动间的控制依赖关系、异常处理等方面的表达能力.     

基于关系数据模型的工作流引擎设计与实现

为了提高办公效率,迅速构建基于流程的应用,提出了符合工作流参考模型的工作流引擎框架结构.以关系数据库为依托,进行工作流的过程建模和模型表达,研究并实现了工作流引擎的关键技术.结合在土地利用规划业务过程中的应用,开发出了工作流引擎服务器以及具有动态配置功能的工作流客户端应用框架.实践表明,该工作流引擎明显缩短了应用系统的开发周期,降低了系统维护的复杂性.     

基于工作流的工程文档动态管理模型

目前工程文档管理中存在的最主要问题是 ,大量图纸的设计、校核、审批、发送等繁杂的工作流程基本上通过手工完成 ,直接影响了工程的进度和质量。通过分析工作流管理技术和工程文档管理的特点 ,在工作流管理标准参考模型的基础上 ,提出了基于工作流技术的工程文档动态管理系统模型 ,并详细分析了文档管理工作流的定义模型 ,讨论了基本工作流活动的划分和活动之间的跃迁结构。最后 ,提出了基于 Web的开发方法 ,实现了工程文档流程管理的自动化 ,提高了工程效率     

基于扩展库所网的工作流过程规约和模式描述

通过扩展库所的属性, 给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。     

基于HTCPN的型号产品协同设计工作流模型研究

型号产品协同设计工作流建模是协同设计过程管理的关键环节.针对型号产品协同设计的工作流模型特点,从项目粒度、开发周期和并行度三方面分析,建立了一个在空间上三维分布的工作流模型.分析了Petri网建模方法的不足,采用扩充了定义的HTCPN对型号产品机翼协同设计的工作流模型进行建模和仿真,并从可达性、死锁和任务冲突等性能方面分析了建模的正确性.最后通过在协同设计系统中的应用,表明该工作流模型是正确可行的.     

一种支持协同设计的工作流模型

协同设计是一个跨地域、跨时间、跨学科的多功能小组协同产品开发工作的模式,支持协同设计的工作流模型可以为现代产品开发提供强大而有序的工作流管理机制。研究了协同产品开发对工作流模型需求后,提出了一种支持各种粒度产品开发活动的工作流元模型,并进一步提出适应该模型的、基于对象关系的组织模型和资源模型。基于该模型,开发了工作流建模工具的原型系统。