支持动态修改的MINI工作流过程元模型

工作流过程元模型是指导工作流管理系统过程建模的基础。本文分析了当前几种重要的工作流过程元模型，对WfMC的工作流过程元模型进行了扩展，提出了一种支持动态修改的MINI工作流过程元模型。     

MINI工作流管理系统引擎的设计与实现

MINI工作流管理系统是基于MINI工作流元模型实现的。本文深入讨论了MINI工作流管理系统的核心--引擎的设计与运行,介绍了MINI引擎的结构框架和各功能模块的设计,阐述了引擎对过程实例和任务生命周期的划分与管理。     

MINI工作流管理系统的设计与实现

对当前的工作流管理系统进行了分类比较，介绍了目前的研究热点和相关项目，设计并实现了一个基于Web的、面向过程的动态MINI工作流管理系统。该系统采用基于XML的MINI工作流过程建模语言描述模型，定义了工作流中的同步和并发处理机制，MINI解析器作为一个独立的组件被单独实现，这使得系统结构灵活，便于扩展。系统主要由工作流建模工具、工作流引擎和客户端工具组成，其中工作流建模工具采用C／S结构，客户端工具采用B／S结构，工作流引擎采用J2EE技术实现。     

工作流过程模型研究

工作流过程模型是工作流管理系统的基础，对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状，主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。     

工作流过程模型研究

工作流过程模型是工作流管理系统的基础,对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状,主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。     

一种构件化工作流管理系统

工作流管理系统是实现各种信息管理系统工作过程自动化的核心模块。本文提出一种工作流元模型和基于该元模型进行工作流建模的方法,并实现一个构件化的工作流管理系统。该系统支持基于元模型的工作流建模,提供工作流运行的环境,并可以构件的方式集成到外部系统中。     

一种基于工作流元模型的系统解决方案

文章结合实际工程项目“Export”介绍了一种面向用户的、灵活的工作流元模型，从模型的角度描述了组成工作流的基本元素类型。该模型以传统的活动网模型为基础，扩展了活动网模型，添加了一些新的模型元素。     

支持动态可配置的全息工作流建模与分析

工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统。该文引入了一种新型的图形结构——元图，提出了基于基本活动配置单元的全息工作流模型，支持工作流模型中所有相关元素的动态配置，并定义了这种工作流模型的正确性，进行了正确性校验，校验算法高效简捷，使之成为一套完善的工作流建模形式化体系。     

一种基于模式组件的工作流管理系统构建方法

从描述流程控制特征的工作流模式出发,提出了一种基于工作流模式的工作流模型，给出了先将工作流模式映射到工作流模式组件，再构建基于模式组件的工作流管理系统的方法。     

一种提高系统柔性的工作流模型

工作流技术是实现过程集成的有效途径之一，其研究和应用日益受到重视。工作流模型是工作流技术的重要组成部分，本文介绍了一种基于活动网络的柔性工作流模型，从模型的角度描述了组成工作流的基本元素类型及图形表示，讨论了此工作流模型的形式定义，并给出了一个工作流模型的例子。     

一种改进的柔性工作流过程定义元模型研究

由于传统工作流技术无法满足时常变更的业务过程,工作流的柔性问题成为研究的热点。从WFMC的过程定义元模型中提取出连接类型和活动状态,封装成新元素,并重定义了转移条件和角色,从而形成一种改进的柔性工作流过程定义元模型。运用工作流过程定义语言对元模型主要元素进行了形式化描述,并通过一个实例说明了该模型在实践中的柔性。     

工作流流程模型结构优化算法的研究

该文从一个新颖的角度提出一种优化工作流流程模型结构的算法,用进程代数CCS来描述工作流流程模型的定义,并引用了进程代数中的互模拟的思想,提出了互模拟活动集合以及子流程的定义,同时给出如何找出复杂工作流流程模型中的互模拟活动的算法,该算法的提出简化了工作流流程模型的结构,从而提高了流程的运行效率。     

一种扩展的工作流过程定义模型

提出了一个支持复杂应用的扩展工作流过程定义模型ScopePModel，它可以描述复杂结构的工作流流程，并且能够清晰地描述任务之间的控制流依赖关系和任务的补偿信息，表达出复杂工作流程的定义；同时，本文所提出的工作流过程定义模型ScopePModel，不仅可以捕捉现实世界业务流程，具有丰富的表达能力，使工作流定义的语义更为明确，而且为工作流过程定义模型验证提供了强大、丰富的理论依据，为工作流过程定义模型验证奠定了良好基础．ScopeWork是我们自行研制开发的工作流管理系统的原型系统，它基于该模型实现了复杂业务过程的工作流过程定义以及调度等功能．     

工作流元模型的研究与应用

由于工作流技术具有在异构环境中处理复杂事务的能力,所以在科学研究、电子政务和商务等方面引起了广泛的关注,涌现出一些研究成果和产品.其中,大部分的研究集中于工作流的调度、与数据库和遗产系统的接口等技术方向,对工作流管理系统的体系结构、模型和定义语言等方面的研究相对来说比较薄弱.分析了工作流联盟的工作流元模型,并结合实际情况,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应日益增长的业务过程的变化和新技术的应用.     

A Workflow Process Mining Algorithm Based on Synchro-Net

Sometimes historic information about workflow execution is needed to analyze business processes. Process mining aims at extracting information from event logs for capturing a business process in execution. In this paper a process mining algorithm is proposed based on Synchro-Net which is a synchronization-based model of workflow logic and workflow semantics. With this mining algorithm based on the model, problems such as invisible tasks and short-loops can be dealt with at ease. A process mining example is presented to illustrate the algorithm, and the evaluation is also given.     

基于SPEM2XPDL模型转换的软件过程执行

SPEM(software process engineering metamodel)是国际标准化组织制定的标准元模型,正日益成为软件过程建模领域的行业标准,但在过程执行方面,SPEM还存在不足.将软件过程看作是一种特殊的工作流,提出了一种应用工作流运行机制支持软件过程执行的方法.通过将SPEM模型转换为XPDL(XML process definition language)模型,利用XPDL引擎支持SPEM模型的执行.制定了SPEM和XPDL之间的映射规则,设计了转换算法并开发了转换引擎.该方法被应用在SoftPM项目中,成功地基于XPDL引擎Shark实现了对软件过程模型的执行支持.     

一种Colored WF_logic Net的工作流过程建模

结合着色Petri网和WLnet相关理论,提出有色工作流逻辑网（CWL_net）这一概念来实现工作流的过程建模。最后以保险索赔业务过程为例,采用绘制可达树的方法分析了业务流程的合理性。利用CWL-net可以准确描述业务流程的工作流逻辑,且这种逻辑结构可以区分工作流具体流程中不同变迁产生的任务完成信息,避免了某些问题。     

基于流程模式的工作流静态规划方法

现有的工作流规划方法通常对工作流执行引擎有特殊要求,使其不容易直接应用到已有的工作流系统中。针对这一问题,提出一种基于流程模式的工作流静态规划方法,通过对规划得到的工作流定义进行适配处理,使其能够直接在企业现有的工作流引擎上执行。流程定义优化让规划得到的工作流定义能够高效执行,将规划功能本身作为一个流程嵌入已有的工作流系统,使工作流规划的细节对用户透明。