工作流之建模

使用工作流模型对业务流程建模，即对业务流程进行抽象和提炼，运用工作流思想和工作流术语进行描述，以达到精确表述业务流程的目的。比较常用的工作流模型包括三类：

1、基于有向图的工作流模型，如活动状态图、流程图、UML图等。一般而言，图中的节点表示流程中的活动或状态，而有向弧表示活动节点间的时序关系和数据依赖关系。这种模型的优点在于直观、便于理解和使用，大多数工作流都采用这种模型。缺点在于流程图过于简单、缺乏灵活性和柔性，更为重要的是这类模型缺乏数学表达的基础和手段，无法对模型的正确性和有效性进行形式化验证。

2、基于形式化理论方法的模型，如Petri网模型、进程代数模型等。

3、基于语言行为理论的工作流模型。