当用户使用工作流编辑器进行定义工作流程文件的时候，不可避免的会出现环路，而对流程文件要求
是有向无环图，所以在用户保存流程文件的时候要检测是否存在环路
对于有向无环图的概念是：一个无环的有向图称作有向无环图（Directed Acycline Praph)。简称DAG图。DAG图
是一类较有向树更一般的特殊有向图，下图给出了有向树，DAG图和有向图的例子。
有向无环图是描述含有公共子式表达式的有效工具。例如下述表达式：
(a+b)*(b*(c+d))+((c+d)*e)*((c+d)*e)
可以用二叉树来表示，如图
仔细观察该表示，可发现有一些相同的子表达式，如（c+d)和(c+d)*e等，在二叉树中，它们也重复出现。
若利用有向无环图，则可实现对相同子式的共享，从而节省存储空间，例如上图所示为表示同一表达式的有向无环图
检查一个有向图是否存在环要比无向图复杂，对于无向图来说，若深度优先遍历过程中遇到回边（即指向已访问过的顶边），则必定存在环
；而对于有向图来说，这条回边有可能是指向深度优先生成森林中另一棵生成树上顶点的弧。但是，如果从有向图上某个顶点V出发遍历，在dfs(v)结束之前
会出现一条从顶点U到顶点v的回边，由于U在生成树上是V的子孙，则有向图必定存在包含包含顶点V和U的环
有向无环图是描述一项工程或系统的进行过程的有效工具，除最简单的情况外，几乎所有的工程(project都可以发为若干个称作活动(avtivity）的子工程
，而这些子工程之间，通常受着一定条件的约束，如其中某些子工程的开始必须在另一个子工程中完成之后。
对整个工程和系统，人们关心的是两个方面的问题：一是工程能否顺利进行：二是估算整个工程完成所需的最短时间。
下面将详细介绍这样的两个问题是如何通过对有向图进行拓扑排序和关键路径操作来解决的
