10.3969/j.issn.1007-130X.2010.09.019
基于EPMM的软件过程模型规范化研究
为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究.本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法.本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF.本文为建模高质量的软件过程模型提供了指南.
软件过程、软件过程模型、Petri网、过程范式
32
TP311(计算技术、计算机技术)
国家自然科学基金资助项目60963007;云南省自然科学基金资助项目2007F008M;云南省教育厅科学研究基金资助项目09J0037;云南大学研究生科研课题资助项目ynuy200920
2010-11-25(万方平台首次上网日期,不代表论文的发表时间)
共5页
69-72,126