一种动态自适应工作流管理变动协作机制

目前国内外虽然己经有了很多工作流管理系统的产品，但是大部分只能在设计阶段对工作流进行定义，并且工作流中的动态约束关系也静态地定义在工作流过程模型当中，过程模型建立之后具有一定的稳定性，如何在工作流中处理动态变化的约束关系。目前的系统显得无力。基于此，本文提出了一种自适应工作流管理框架——wDMA框架，其在处理工作流实例运行期间，能动态调整约束规则策略，这样自适应软件结构可以根据发生变化的工作流特性，动态地调整工作流中的内部协调机制和执行部件去适应这种实际环境的改变。为体现该方法变动协作机制，论文将重点突出其变动协作层的实现。     

一个工作流元模型的描述方法

论述了工作流元模型的三维性,在采用UML2.0活动图的新特性后,提出了一个基于UML2.0活动图的工作流模型,定义了此模型的形式化和非形式化描述方法,并指出了其建模规则,为探询UML2.0活动图在工作流模型描述方法中应用做了初步尝试.     

基于全序语义结构化工作流的研究

针对业务过程的规范化建模问题,研究结构化工作流.证明了基于全序语义的任意工作流均可转化为与其等价的结构化形式,提出了一种结构化工作流代数,并给出了其语义解释模型.在此基础上,形式化地定义了结构化工作流过程和结构化工作流过程函数,从理论上提供了构建规范化、合理化和柔性化业务工作流概念模型的表示方法和操作语言.医疗实例分析证明了结构化工作流理论在过程建模、再造和动态重组中的有效应用.     

工作流管理系统中的模型分析与实例转化

在定义工作泫模型、过程对象、过程实例、对象实例等工作流管理系统基本组成部分的基础上,建立了基于二元组的工作流主模型和基于复合三元组的工作流模型向过程实例的转化模型,并给出了相关的逻辑分解过程和转化路线。在此基础上,提出了工作流实施过程中的2种协调方式,并重点对基于模型的工作流协调原理和协调方法进行了深入分析。根据实用的需要,给出了基于模型分解和实例转化的工作流运作实例。     

基于WF-net的应急管理工作流模型的研究

本文设计了一种基于Petri网工作流模型的建模方法及其相关规则,并且通过应急管理系统为例,详细阐述了用此方法及其相关规则构建Peril网工作流模型的过程,最后通过Petri网理论对模型进行了正确合理性分析。     

工作流模型在烟草成本精细化管理系统中的应用研究

传统的信息管理系统采用固定的过程模型进行信息集成,忽略企业业务流程的自定义处理及后期维护,直接限制系统的数据处理能力及后期拓展性。本文在定义工作流节点模型、工作流控制模式及有向图模型的基础上,基于烟草企业全面成本精细化管理的业务过程,利用流程运行机制、工作流引擎机制和表单设计器,设计成本精细化管理系统的工作流模型,实现烟草企业成本精细化管理工作流程自定义处理。     

空间信息处理过程建模研究

大型GIS应用往往涉及复杂的空间信息处理过程,良好定义的过程模型将有助于合理规划和管理GIS应用的设计和实施。通过分析其基本特性,给出空间信息处理过程的形式化定义,空间活动、过程数据和关系流是其中基本的组成要素。在此基础上,定义空间信息处理过程元模型,并讨论其完整性约束规则,其中空间语义是核心的约束条件。通过以上工作规范空间信息处理过程的表达,并实现GIS应用的过程建模,进而可以有效结合工作流技术,解决大型空间应用的管理控制问题。     

基于本体的工作流抽象模型

基于本体的抽象模型框架, 提出一种工作流的感知建模方法, 通过感知特定领域中实际运行的具体工作流获得构建该领域工作流抽象模型的知识, 既可为工作流模型的设计提供共享和重用机制, 也可直接构造该领域的工作流抽象模性, 实现工作流的部分或全部自动化运行. 并给出了工作流行为本体类和行为关系本体类的定义,  形式化地描述了两个本体类的动态构建和扩展过程, 同时给出了在基于本体抽象模型框架下的工作流抽象建模过程.     

柔性工作流元模型及应用

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

空问信息处理过程建模研究

大型GIS应用往往涉及复杂的空间信息处理过程，良好定义的过程模型将有助于合理规划和管理GIS应用的设计和实施。通过分析其基本特性，给出空间信息处理过程的形式化定义，空间活动、过程数据和关系流是其中基本的组成要素。在此基础上，定义空间信息处理过程元模型。并讨论其完整性约束规则，其中空间语义是核心的约束条件。通过以上工作规范空间信息处理过程的表达，并实现GIS应用的过程建模，进而可以有效结合工作流技术，解决大型空间应用的管理控制问题。     

业务过程模型驱动的网格工作流互操作机制

从工作流调度模型、工作流映射模型和业务过程评价模型等角度，建立了业务过程模型驱动的动态网格工作流的互操作机制．通过不同层次的业务过程模型，驱动支持企业间集成的全局工作流机、支持企业内异构平台集成的工作流机、企业内同一平台下的工作流机，建立工作流调度模型，解决面向业务流程的动态集成问题；通过建立业务工作流、抽象工作流、执行工作流的映射模型，解决复杂业务工作流到执行工作流的映射与纵向式集成问题；通过建立业务过程选择模型，解决企业业务过程在动态联盟合作伙伴间的评价、动态选择与共享问题．     

基于移动代理平台Aglet的柔性工作流的研究与实现

分析了柔性工作流管理系统的特点以及可移动Agent技术，提出了一种基于移动代理平台的柔性工作流管理系统的体系结构，并采用Aglet平台实现了原型系统．在原型系统中，业务过程的定义封装在可移动的工作流引擎Agent中，MA(Mobile Agent)迁移到各执行任务的角色所在节点，驱动并监控任务的执行；利用多个Agent之间位置透明的通信、协同工作，使得业务过程的定义在执行中可动态修改，实现了工作流的柔性．     

支持复杂应用的工作流并发控制机制

针对复杂应用领域工作流的特点,提出了一种确保工作流并发执行正确性的方法·首先定义任务冲突,冲突类别,同名共享锁和同名互斥锁的概念,而后给出了一种基于这些概念扩展的工作流并发控制机制·在这种并发调度机制中,由于充分考虑了不同工作流执行的并发控制,同一工作流不同实例之间执行的并发控制等工作流并发特点,使该并发机制能够确保复杂应用环境中多工作流多实例并发执行的正确性·     

基于过程模型的分布式工作流引擎的研究

通过CORBA规范,按照过程模型的特点,提出一种基于过程模型的分布式工作流引擎的协同运行机制,可以解决集中式工作流引擎控制结构的运行瓶颈,最后给出了一个银行贷款过程的实例。     

分布式工作流过程建模的实现方法

通过对分布式工作流定义的叙述,针对合作产品开发过程中建模和执行服务的基础进行分析,提出了分布式工作流建模的实现方法以及几种有效的模型。并且在工作流管理联盟给出的业务过程之间的交互模型基础上,分析各子过程之间的交互特点,研究了以WEB服务方式实现工作流执行服务之间的交互模型的实现方法。     

工作流机的操作语义

针对还没有工作流模型的执行过程的形式化描述的问题,给出工作流机处理步骤的操作语义描述.由于对过程实例和活动实例进行形式化描述,使得工作流机具有清晰的结构,易于不同的工作流机之间的协同工作,并且对工作流机的程序实现具有指导意义.     

基于活动预调度的工作流管理研究

在工作流管理中,通过将顺序执行的活动重叠执行来缩短过程执行周期、提高系统的执行效率,是长久以来大家关注的问题。传统支持过程管理的系统在这方面没有提供足够的支持手段。本文通过对实际应用情况的分析抽象,提出了用活动预调度的方法来解决以上问题,并针对项目管理型系统提出了解决方案:基于信息约束驱动执行的工作流管理机制。分析证明,预调度在实际工作流管理中是有意义且可行的。     

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

引入模糊逻辑的思想,在基于任务角色的访问控制模型和工作流执行特点的基础上,提出了基于任务角色的工作流模糊访问控制模型,根据用户的基本信息和历史记录,运用模糊综合评判法计算出执行工作流任务的用户最佳选择,有效地提高了资源的利用率和工作流的执行效率.     

面向服务工作流补偿机制的研究与实现

为了解决面向服务工作流中异常的动态补偿问题,在传统工作流异常处理理论的基础上,结合Web Services的事务处理的特点,提出了基于工作流执行日志实施补偿的策略.补偿过程包括补偿判断、补偿路线产生和补偿行为调用,异常管理器控制补偿的执行过程.因为服务具有动态调用、动态执行特点,异常管理器需要在业务运行时依据工作流基本模式和事务依赖关系确定补偿范围,动态生成补偿路线并调用相应的补偿操作.为了验证补偿策略的可行性和正确性,实现了基于Web Services的原型系统WFCF.实验表明,该机制在失效补偿范围和补偿行为调用2个方面提高了工作流异常恢复的效率.