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