系统分析辅导：工作流模型设计

 　工作流模型是组织机构经营过程的模型表示，但由于工作流建模理论研究的相对滞后，现行工作流管理系统中普通存在语义不够丰富、柔性不好、表示不直观等问题。为此在开发UniFlow工组流管理系统时，设计了一套基于有向图理论的工作流模型，该模型有效的解决了这些问题。主要从工作流模型理论出发向读者介绍了本模型的设计思想。文章首先详细介绍了工作流模型的定义和组成关系，然后详细介绍了基于有向图理论的工作流模型的主要功能和设计思想。

　　关键词：工作流 工作流模型  有向图  过程

1 引言

　　工作流模型是对组织机构业务过程的抽象表示。工作流模型是整个工作流管理系统的基础，它的确定性保证了系统内各组成部分之间交互的一致性，也决定了一个工作流管理系统从设计开发到运行实施的诸多环节。不同的工作流模型也就形成了不同的工作流管理系统。相对工作流产品的实现技术和发展而言，工作流建模理论的研究相对滞后，在建模方法上还没有形成比较系统化的理论体系。目前已有的建模方法主要有：基于活动网络的建模方法、基于Petri网的建模方法、基于语言行为理论的建模方法、基于活动与状态图的建模方法和基于扩展事务模型的建模方法等。但这些工作流模型普遍都存在以下问题：（1）模型语义不够丰富，表示复杂问题的能力不足；（2）模型的柔性不好，不容易处理在执行过程中出现的不确定性问题；（3）表示方法不够直观等。

　　在信息管理自动化的环境下，工作流模型必须采用简单、直观、又具有较强描述能力的面向组织用户的模型。因此，设计UniFlow工作流管理系统时，在参照工作流管理联盟（Workflow Manangement Coalition 简称：WfMC）工作流理论的基础上，博采众长，建立了基于有向图理论的UniFlow工作流管理系统工作流模型，该模型有效的解决了工作流模型中普通存在的问题。下文主要向读者详细介绍这一模型的相关理论与设计思想。

2 工作流模型概要

　　企业、政府机关等组织机构是一个复杂的系统，用过程的观点来看待这些组织机构，组织机构的组成元素就是过程，过程的组成元素就是活动；工作流模型就是对这些业务过程的抽象表示。

　　过程是指为了完成组织机构的某个经营目标或任务，而按某种顺序联结在一起的一系列活动。过程的主要属性有：触发事件、过程结果、执行规律集。过程的执行规律集用来描述过程内部各活动、子过程之间的控制流程。执行规律集由顺序、并发、与、或、循环等五种连接关系组成，通过这五种连接可以完整的描述活动与活动之间的逻辑关系。

　　活动是指一种变换或操作，是组织机构过程的最基本单元。一个活动的属性由功能输入、输出，资源输入、输出、控制输入、输出和活动的描述等组成。功能输入、输出是指活动中要运作、产生的组织机构对象，它们描述了组织机构过程的物流，所以通常与上级过程的执行规律集有紧密联系。资源输入、输出是指活动执行所占用、释放的资源，包括执行活动所必须的设备、物料、人员等，它们不仅可以在一定程度上描述不同活动之间的竞争关系，还可以用于实现对过程的分析和优化；控制输入是指对活动进行控制和限制的信息单位或对象；控制输出是活动结束状态的信息单位集合；活动描述是与活动执行有关的具体信息，如活动的编号、名称、优先级、成本核算单位、开始时间、完成期限、执行者、负责人、所需资源等。

　　功能输入、资源输入、控制输入统称为活动的前条件，前条件对活动的发生有制约作用，只有所有的前条件都满足了，活动实例才能进入"活动"状态；功能输出、资源输出、控制输出统称为活动的后条件，后条件影响着后继活动实例的发生。

　　一个完整的工作流模型主要有工作流表示方法、工作流元模型、工作流模型接口和建模工具组成。

3 工作流模型的有向图表示

　　组织机构的一个完整的业务流程是由一系列最基本的生产活动按照一定的逻辑顺序和规则组成的，这些生产活动与他们之间的逻辑关系可以直观的映射成为一个由节点和连接弧组成的有向图。有向图中的节点即表示一个可执行的活动单元，连接于两个节点之间的有向弧即表示活动间的先后顺序关系。

　　3.1 有向图理论基础

　　对基于有向图理论的工作流模型，我们作如下定义

　　1）有向图G ={N, L}为一个二元组，N= {n1、n2、n3….ns } 为节点集合，L= {l1,l2,l3….ls}为连接弧集合，其中li=(nj, nk)为从nj指向nk的连接弧，nj,nk∈N。 2）对于任意ni,nj∈N.若有连接弧l = (ni ,nj) ∈L,则ni为nj的一个前驱节点，nj为ni的一个后继节点，l称为nj的一个输入连接弧，或者ni的一条输出连接弧。
4）若N'包含于N,且N'={n'|(n ,n') ∈L} ,则N'为节点n的后继节点集，记为Post (n);
6）转移函数：对于任意l∈L,有转移函数Trans ( l )={0,1};如果Trans ( l ) = 1,则连接弧l容许发生转移（是否发生转移，则要取决于后面的演进规则）：如果Trans ( 1 ) = 0,则连接弧不能发生转移。
（1）对于任意n∈N
● 当State(n)=1时，若节点n执行完毕，则State (n)=0;
● 当State(n) 从1变为0时，若Trans(1)=1,则连接弧l发生转移；

　　3.2 节点类别