基于EPMM的软件过程模型规范化研究

摘要：

为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究.本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法.本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF.本文为建模高质量的软件过程模型提供了指南.

关键词：软件过程、软件过程模型、Petri网、过程范式

所属期刊栏目：32

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

资助基金：国家自然科学基金资助项目60963007;云南省自然科学基金资助项目2007F008M;云南省教育厅科学研究基金资助项目09J0037;云南大学研究生科研课题资助项目ynuy200920

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

页数：共5页

页码：69-72,126