摘要： 软件过程是管理、开发、维护软件系统所需要的一系列活动的偏序集合。软件过程作为一种工作流，其建模和分析可以采用工作流的理论和技术作为支撑。因为任务控制流的图示表示办法直观方便，因此大多系统都采用这种定义方式为软件过程建模。而过程定义的合理性验证问题复杂度通常是非常高的，必须寻求合理的算法。图规约算法就是一种实际可行的算法。

关键词: 软件过程 偏序集合 图规约算法 软件开发 软件维护