基于产品多模型协同机制的工作流管理系统研究

通过对工作流管理系统 ( Wf MS)功能组成的定义和分析 ,建立了基于复合三元组的工作流管理系统模型 ,并对 Wf MS组成部分相互之间的逻辑关系进行了分析和分类 .结合 Wf MS涉及整个产品形成周期的特点 ,利用产品多模型协同机制对产品形成过程的约束和协调 ,构造了基于产品多模型协同机制的 Wf MS框架结构 ,并对该框架结构的运作原理和产品多模型协同机制在系统中的作用进行了研究.     

过程挖掘的研究现状与问题综述

过程挖掘又称工作流挖掘,是工作流再设计与分析方法的一项关键技术,能够根据日志中记录的过程实例的执行信息,来重构出一个工作流过程模型,并使得日志中记录的所有轨迹符合这个过程模型的一个实例。总结了过程挖掘的研究内容、系统架构、算法以及现有挖掘工具。对过程挖掘研究目前存在的问题从日志数据、挖掘技术和挖掘结果等三个方面进行了分析和讨论。并介绍了过程挖掘的一个分支—分布式过程挖掘的相关研究内容。     

一种新的工作流模型及其在产品开发过程中的应用

分析了传统工作流模型的不足之处，在此基础上提出了一种新的工作流模型。文章通过定义活动、参入者、工作流、活动实例、过程实例、发送、工作项、工作项列表八个基本概念建立了这种模型的数学描述，介绍了工作流的运行算法。最后给出了这种模型在产品开发过程中的一个应用实例。     

基于扩展Petri网的建筑产品设计过程工作流模型

针对建筑产品设计过程工作流的动态性和不确定性的管理与控制,提出基于扩展Petri网的建筑产品设计过程工作流模型,并以一般商用办公楼的设备设计过程为例构建模型,应用CPN Tools仿真软件进行仿真分析和过程优化.结果表明,提出的工作流模型对建筑产品设计过程管理和优化具有明显效果.     

一种工作流模型正确性验证方法

工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.引入一种新型的图形结构--元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.     

支持企业过程再造的柔性工作流模型

为克服传统流程模型不能有效支持 BPR的问题 ,本文采用工作流技术 ,提出了一种全面支持BPR的柔性流程模型——工作流模型 ,它不但支持对现有流程的优化 ,而且还给出了进行流程再设计的具体实现方法 .最后我们还对这一模型的一致性进行了验证.     

WfMS系统建模和内部协调

通过对工作流和工作流管理系统相关定义和功能的分析,建立了基于关系和模型分解的工作流和工作流管理系统的数学模型。根据建立的参考模型、针对工作流管理系统的协调重点,从任务序列的执行和模型对象的扩展两个方面,对工作流管理系统提出两种协调模式,并对协调方式的机理和内容进行了研究,为了满足系统扩展的需要,本文还对工作流管理系统的开放性进行了探讨。     

基于MATLAB的网格工作流建模与控制环境

网格是集成了大量异构、动态、自治资源的协同工作系统.工作流技术有助于降低网格系统的复杂性.Simulink/Stateflow提供了强大的过程定义和状态管理功能,可作为实现网格工作流建模环境的基础.MATLAB对Web服务的支持,易于移植到网格环境中,驱动和控制用户任务的执行.MATLAB与网格系统的集成,为用户提供了强大、易用的组件化网格应用开发环境.利用网格技术,MATLAB使用远程分布式资源的能力得以增强,从而扩展了其应用领域.     

基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

时间约束工作流模型的可调度性验证研究

工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真.首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略.通过该算法获得可调度的时间约束工作流的时间约束集;通过时间约束修正策略,减小上述可调度性验证方法的时间复杂度.然后,进一步设计了改进的可调度验证方法,从而可获得具有最小执行时间区间的时间约束工作流的时间约束集.实验及分析显示算法具有良好的性能和效果,研究成果对于制定时间约束工作流的时间约束有较好的应用价值.