一种过程定义模型及其验证性分析

摘要：

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

关键词：软件过程、过程定义、建模、工作流、合理性、验证、图规约

所属期刊栏目：31

分类号：TP3(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2001AA113090

在线出版日期：2004-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：145-151