工作流网Soundness验证

工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。     

工作流网XPDL映射

工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。     

基于Bossa的工作流管理系统的开发方法

Petri网作为一个比较好的过程建模技术,在工作流模型的描述中有着一定的优势。基于Petri网的工作流模型如何投入到具体的工作流管理系统中,需要选择合适的工作流引擎,此引擎必须要能够完全支持基于Petri网的工作流模型的定义,Bigbross Bossa是各种工作流引擎中为数不多的采用Petri网来定义工作流的引擎之一,该文就Bossa工作流引擎的使用方法进行探讨和描述。     

基于着色工作流网的工作流模型的设计与实现

本文在扩展Petri网的基础上，提出了一个新的工作流模型——基于着色工作流网的工作流模型，并对其进行了详细设计。在此模型的基础上，本文实现了一个可视化的工作流建模工具，设计人员通过该工具建立业务过程，并根据模型的定义保存业务过程定义。     

基于WF—net的工作流建模技术及应用

工作流系统成功的关键在于向其输入的工作流的质量，因此工作流的建模就显得非常重要。工作流网（WF—net）是由Petri网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义，其次这种形式化体系可以用来反思过程，所以它是一种严格的过程形式化体系。讨论WF-net的建模技术，并以办公自动化系统中收文为例说明其应用，并分析其在众多的建模工具中所具有的优势。     

基于Agent的着色工作流网的应用研究

目前,基于Petri网的工作流网的应用技术比较缺乏,很难被实际的工作流管理系统所应用。在通过资源管理器扩展工作流网的基础上,给出了将工作流网的过程定义转化为Agent的抽象结构的方法。在此基础上,建立基于Agent和着色工作流网的工作流管理系统框架,结合了工作流网的良好的建模特性和Agent的良好的应用特性,容易在实际系统中加以执行和控制。     

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

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

基于Colored Petri网的工作流建模及应用

对传统Petri网在描述工作流模型时，组成模型的元素数量过多、无法体现数据流以及无法管理多个工作流实例等缺陷，将有色Petri网（Colored Petri net，CPN）理论的分析方法引入到工作流网（Workflow-net,WF-net），实现二者有机结合，提出了一种新型扩展工作流网CPWF-net（Workflow-net based on Colored Petri net），给出了严格的定义，使能机制和触发，全面分析了CPWF-net的特性，并就其实际应用进行了初步探究。     

一种基于扩展Petri网的工作流建模方法

工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是，传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C．A．Ellis定义的信息控制网、W．M．P．vanderAalst定义的工作流网，结合工作流本身的特点，对Petri网进行扩展，提出了一种描述工作流模型的新方法--信息控制Pettri网，并给出其表示工作流模型的正确性定义和验证。     

Petri网的工作流模型建模研究

实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。     

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

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

群件系统工作流技术的实现研究

工作流技术是群件机制的重要组成部分,该文研究了群件系统中工作流技术的系统实现,并结合面向OA应用、集成群件各种资源的特点,参考WFMC制定的工作流产品实现参考模型、工作流参考模型,给出了一种群件中工作流管理的实现模型、过程定义元模型和数学模型等,它是进行详细系统设计的理论基础,这种模型可以保证系统功能的实现和与其他工作流管理系统的通讯。     

基于Web的工作流引擎设计

给出了一个基于Web的工作流引擎的设计方案，它以工作流管理联盟(Workflow Management Coalition)的XPDL(XML Process Definition Language)语言为过程定义语言，用J2EE架构构建系统。并介绍了工作流管理系统的设计。     

基于活动网络图的工作流过程定义工具的研究

该文基于工作流管理联盟(WFMC)制定的工作流过程定义元数据模型,提出了一个独立通用的基于活动网络图的工作流过程定义工具,它遵从WFMC制定的XPDL规范,可以输出一个标准通用的过程定义并能被不同的工作流运行系统解释执行,从而实现完全的过程定义的分离存储。     

基于Web的工作流过程定义模型的研究与实现

针对传统Client/Server结构的局限性,结合Internet技术的飞速发展,提出了一种基于Web模式下的工作流过程定义的设计模型.该模型运用面向对象的思想,利用活动网络图来定义工作流,输出的过程定义遵从工作流管理联盟(WFMC)制定的XPDL规范,并能被不同的工作流运行系统解释执行.最后通过具体的实例说明了该模型在实际流程中的有效运用.     

复杂事件处理在工作流管理监控模块中的应用

工作流技术已经成为计算机应用领域的一个研究热点。国际工作流管理联盟(WFMC)提出了工作流参考模型,包括:流程定义工具、工作流执行服务、工作流客户端应用、直接调用应用和管理监控工具。复杂事件处理是一种从基于消息的分布式系统中提取信息的新技术。在此文中详细介绍怎样将复杂事件处理应用到工作流管理监控模块中,实现了更高效的管理和监控工作流事件。     

动态工作流挖掘模型及算法研究

工作流挖掘是工作流再设计与分析的一项关键技术,目的在于从企业已有信息系统的日志记录中提取与实际应用相关的业务流程,从而提高工作流建模的客观性。从实际应用的角度出发,提出基于动态工作流网的挖掘模型,并设计了可行的算法。该算法从零日志开始,在工作流执行期间柔性地构建工作流模型和生成日志记录,动态生成工作流网,在很大程度上解决了常规挖掘方法在挖掘复杂结构效率低、准确性差、依赖完整的日志记录和不支持柔性工作流等方面的问题。算法的实用性在实际应用系统中得到了很好的证明。