%0 Journal Article
%T 一种过程定义模型及其验证性分析
%A 费立蜀 顾庆 陈道蓄？
%J 计算机科学
%D 2004
%X 软件过程是管理、开发、维护软件系统所需要的一系列活动的偏序集合。软件过程作为一种工作流，其建模和分析可以采用工作流的理论和技术作为支撑。因为任务控制流的图示表示办法直观方便，因此大多系统都采用这种定义方式为软件过程建模。而过程定义的合理性验证问题复杂度通常是非常高的，必须寻求合理的算法。图规约算法就是一种实际可行的算法。
%K 软件过程偏序集合图规约算法软件开发软件维护
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=9037442&flag=1