3.3 连接弧
连接弧作为有向图中的另一种组成元素表达了有向图中不同节点元素之间的逻辑关系。它从前驱节点指向后继节点，体现了节点状态的转移和有向图的演进。连接弧发生转移根据条件Trans(l)进行，如果Trans(1)≡1则为永真型条件，否则为不定型条件。对于不定型条件根据实际情况取值。在工作流模型设计时我们将连接弧分为三类：普通控制连接弧、条件连接弧和条件设定连接弧。
3.3.1 普通控制连接弧
普通控制连接弧，即永真型连接弧，它不需要任何条件的判断，只要前驱节点执行完毕，即可激活后继节点。
3.3.2 条件连接弧
条件连接弧，即不定型连接弧，它的转移函数的取值是需要在具体的工作流实例执行过程当中由工作流引擎或人工加以判断来确定的。如果条件成立即可执行后继的节点。
3.3.3 条件设定连接弧
条件设定连接弧可以用来动态的设定活动的执行条件、完成条件和时间要求等条件。工作流模型通过动态的设定这些执行和判断条件，可以大大提高工作流管理系统的柔性。
3.4 工作流模型的设计
从以上理论，我们可以得出工作流模型中的元素可以分为节点、连接弧和状态三大类；利用面向对象的继承性，我们设计了如图1所示的工作流模型。该工作流模型定义了三个基类：节点类、无条件连接弧和状态类。由节点类可以派生出7个子类：人工型活动、自动型活动、同步节点、协调节点、开始、结束，子过程。由无条件连接弧可以派生出条件连接弧和条件设定连接弧两个子类。子过程由除节点类外的各个类聚合而成（包括子过程本身）。
