Page 35 - 水利水电工程三维图形建模研究

第一章 水利工程图

（2）基于有向图的方法
使用状态变迁图，流程中的活动用节点表示，控制流用边表示。该方法的主
要问题在于是否有形式化的语义。在具有形式化语义的状态变迁图中，使用最多

的是 Petri 网络状态图。具有形式化语义的基于有向图的方法可以转换成其他建
模方法，如基于规则的、时序逻辑的和脚本语言的方法。
（3）基于规则的方法
目前使用最多的是 ECA 规则。ECA 规则最早用于 AOODBS，而后被用于工

作流管理领域。它具有形式化基础，也可转换为其他建模方法，如 Petri 网、时
序逻辑等。但 ECA 规则的可视化工作量较大，且当规则集较大时难以管理。
（4）基于逻辑的方法
该方法适合于描述系统的动态性，其中时序逻辑是一种常用的方法，它具有

很好的形式化基础，验证工作流模型的属性比较方便。缺点是很难实现可视化，
不容易转换成其他描述方法，描述业务流程的系统行为太复杂。
（5）基于代数的方法
代数过程（process algebraic）目前还局限在理论探讨上，只有一种基于过程

代数的描述语言 LOTOS 被用于工作流管理领域。代数方法的主要缺点类似于基
于逻辑的方法，并且在自动执行和形式化验证方面表现得比基于逻辑的方法更差，
建模方法缺乏直观性，难以理解。
由以上分析可知，各种建模方法各有优缺点。总体上，基于有向图的建模方

法简单直观、容易理解，尤其适用于流程较为固定、异常情况较少的工作流，因
而比较具有吸引力。一个完整的工作流过程由一个无自环的有向图构成。有向图
中的节点表示可执行的步骤或任务，节点间的有向弧代表了节点间的逻辑关系。
（二）水利设计图档工作流管理

1. 水利图档设计流程
水利设计图档工作流管理是指对图档的设计、校对、校核、审查、审定、修
改、归档等一系列流转操作的总称。这里称每一个操作为一个工作流活动节点。
单个设计图档的流转过程相对比较简单固定，且流转过程中各活动节点之间属于

松散耦合结构，活动节点之间没有严格的约束关系，仅以时序关系约束为主。
因此，在水利设计图档工作流管理中，应采用基于有向图的建模方法，将
一系列的活动及其之间的时序关系直观地映射成一个由节点和有向弧组成的有向

27