工作流过程定义工具研究与开发

按工作流管理联盟（WfMC）的参考模型,工作流过程定义处于工作流管理系统的工作流模型创建阶段。工作流过程定义采用的建模方法有多种,采用工作流网（WFNet）方法,开发了一个基于工作流网的过程定义工具。     

工作流网Soundness验证

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

基于Web的工作流管理系统

从介绍一般工作流管理系统入手,分析了传统工作流管理系统的局限性,提出了一种基于Web实现工作流管理系统的方法。     

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

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

计算机协同设计中工作流可靠性的研究

该文介绍了工作流的概念,并提出了工作流系统可靠性的概念。由系统可靠性理论导出工作流系统可靠度,为工作流建立了定量分析方法。最后对一实例进行了详细分析。     

面向电子政务的工作流模型的研究与应用

文章分析了我国电子政务应用的特点,提出了一种面向电子政务的基于活动网络图的工作流模型,描述了组成工作流的基本实体类型,讨论了模型如何支持电子政务应用中的复杂流程、如何利用已有组织模型、如何与现有系统集成,同时还讨论了工作流模型与XPDL的映射关系,最后介绍了基于该模型的工作流引擎的实现方法.该工作流引擎已经在税务等多个政府信息系统中得到成功应用,应用结果表明所讨论的工作流模型能够满足我国现有电子政务的应用需求.     

基于XPDL的工作流管理系统的研究

分布式工作流管理系统是相对于早期的集中式工作流管理系统而言的。在讨论了工作流的基础上引入工作流基于XML的过程定义语言XPDL，提出了一种基于XPDL的分布式工作流管理系统的设计方法。     

基于工作流管理技术的研究

本文针对工作流技术的起源,对工作流的概念、研究的技术内容及工作流管理系统作了深入的介绍,对工作流管理这个研究领域建立了一个全局的概述,介绍了工作流管理系统的参考模型,并具体介绍了企业工作流管理系统的实施过程。     

工作流模型的研究与实现

本文介绍工作流以及工作流建模的一些基本概念，以及Petri网技术在工作流模型中的应用，同时提出了一个工作流建模的具体实现方法。本工作流模型的实现包括了企业人员、资源以及任务信息模型的实现，同时任务模型中包括了任务之间的约束关系，以及任务执行过程中产生的文档。     

工作流系统中异常处理的研究

工作流技术在实现业务流程自动化和企业应用集成等方面有着广泛的应用。但由于工作流的流程运行时间跨度一般较大，在流程运行期间可能会出现多种异常情况。文章对工作流异常处理进行了初步探讨，首先介绍了工作流异常概念、起因、分类以及常见的异常处理策略。然后详细介绍了常见的工作流异常处理的各种方法以及各种方法之间的优劣。最后展望了工作流异常处理的未来发展方向。     

工作流模型及其形式化描述

工作流是一个业务过程的全部或部分自动执行．为了实现工作流管理功能，我们必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述，其结果称为是工作流模型．该文主要讨论工作流模型及其形式化描述问题．基于对现实世界业务过程的分析，该文提出一个三维工作流模型，它包含3个子模型：组织模型、数据模型和过程模型，分别从不同的侧面描述工作流的各种属性．文中详细论述各个子模型及其相互关系，并给出三维工作流模型的形式化描述．     

A practical method to analyze workflow logic models

The analysis of workflow is crucial to the correctness of workflow applications. This paper introduces a simple and practical method for analyzing workflow logic models. Firstly, some definitions of the models and some properties, such as throughness, no‐redundant‐transition and boundedness, are presented. Then, we propose an approach based on synchronized reachability graphs (SRGs) to verify these properties. The SRG uses the characteristics of synchronizers in workflow logic models and mitigates the state explosion by constructing synchronized occurrence sequences rather than interleaving occurrence sequences. This paper also proposes some refined and feasible reduction rules which can preserve vital properties of workflow logic models. Using these two techniques, the SRG‐based verification method can achieve higher efficiency. Furthermore, this research also develops a verification tool based on the method, presents the analysis results of some practical cases and compares our method with others. Copyright © 2007 John Wiley & Sons, Ltd.     

工作流合理性验证中的事件平衡分析

工作流合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题,许多工作流管理系统都缺乏有效的方法和工具来保证工作流的合理性.从事件平衡的角度推导了合理工作流所具备的必要条件,提出工作流执行历史的事件平衡定理,并把事件平衡的计算引入工作流模型,用以分析模型中是否存在可能破坏工作流合理性的结构.这种分析方法不受具体工作流模型的限制,适用范围广,而且具有多项式时间的计算复杂度.     

基于FSM的工作流建模方法及其应用

传统工作流建模工具大多是按照流程序列化思想进行使用,关注的是业务的执行顺序和路径,难以对跳转、回退、循环等复杂的业务过程进行建模。本文提出一种基于有限状态机的工作流进行建模的方法,该方法将业务过程看成是有限状态机的状态转移过程,给出工作流建模的几个步骤,最后通过一个实例对该建模方法进行分析说明。     

基于消息队列的工作流引擎及其容错设计

在流程定义工具、Web中间件和工作流引擎组成的分布式工作流平台上,以提高工作流引擎的可信性为目的,围绕软件容错设计、硬件和网络平台的可靠性、可靠消息传输模式,结合对实际生产的分析,提出一种新的可信构件设计方案。运行结果表明,该方案取得了较好的应用效果。     

Performance Analytic Models and Analyses for Workflow Architectures

The design and implementation of a workflow management system is typically a large and complex task. Decisions need to be made about the hardware and software platforms, the data structures, the algorithms, and network interconnection of various modules utilized by various users and administrators. These decisions are further complicated by requirements such as flexibility, robustness, modifiability, availability, performance, and usability. As the size of workflow systems increases, organizations are finding that the standard server/client architectures, and off-the-shelf solutions are not adequate. We can further see that in the future, very large-scale workflow systems (VLSW) will become more complex, and more prevalent. Thus, one further requirement is an emphasis of this document: scalability. For the purposes of our scalable workflow investigations, we describe a framework, a taxonomy, a model, and a methodology to investigate the performance of various workflow architectures as the size of the system (number of workcases) grows very large.First, this paper presents a novel workflow architectural framework and taxonomy. We survey some example current workflow products and research prototype systems, illustrating some of the taxonomical categories. In fact, most current workflow architectures fall into only one of the many categories of this taxonomy: the centralized server/client category. The paper next explains a performance analysis methodology useful for exploring this taxonomy. The methodology deploys a layered queuing model, and performs mathematical analysis on this model using a modified MOL (method of layers) combined with a linearization algorithm. Finally, the paper utilizes this methodology to compare and contrast the various architectural categories, providing interesting results about performance as the number of workcases increases. Our analytic results suggest that (a) for VLSW performance determination, software architecture is as important as hardware architecture, and (b) alternatives to the client server architecture provide significantly better scalability.     

一种跨组织柔性工作流引擎的设计与实现

工作流在实际应用中经常涉及到不同系统间的业务流程协作问题,以及由于业务突发变动而产生的动态适应问题。为了解决这两者问题,提出了一种结合跨组织和柔性工作流技术的工作流引擎设计方案。对已有的跨组织工作流技术和柔性工作流技术的相关研究成果进行了分析总结,在此基础上进一步设计了一种工作流模型,该模型既支持跨业务系统交互,同时也支持业务内部的流程动态变更。结合实际场景分析来阐述该模型的跨组织业务处理和业务动态变更机制的功能设计。以流程回退为例介绍该模型的原型实现。     

一种基于路由表的工作流动态性能优化方法

提出了一种基于路由表的工作流动态性能优化方法,满足了在实例运行过程中的工作流模型路由结构的动态变化需求。文章首先给出了该方法的产生背景,然后给出了路由表的基本结构和实现细节,同时针对几个典型的流程分别利用路由表进行动态性能的改进。该方法巧妙地解决了工作流软件在处理动态路由性能方面的不足。     

基于WF的工作流管理系统

本文讲述了工作流技术的相关概念,对WF的模型体系、技术架构等进行了介绍。在工作流技术基础上,详细阐述了基于WF的工作流管理系统开发一般方法与过程。最后,利用Visual Studio 2008中的C#下的Workflow+SQL Server2005平台开发并实现了公司报销审批流程,进行了案例分析。