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

Normalization of Software Process Models Based on EPMM

作　　者：谢仲文[1] 李彤[1] 代飞[1] 卢萍[1] 秦江龙[1] 刘金卓[1] 

机构地区：[1]云南大学软件学院,云南昆明650091

出　　处：《计算机工程与科学》2010年第9期69-72,126,共5页Computer Engineering & Science

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

摘　　要：为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。In order to develop high-quality software process models,it is necessary to research on the normalization of software process models. Considering the properties of traditional software processes and software evolution processes,this paper puts forward the concepts of 1PNF,2PNF,3PNF and 4PNF,which are based on the formal definition of processes from EPMM. This paper suggests that all traditional software process models should be designed to meet 2PNF,and software evolution process models should be modeled to satisfy 3PNF. This paper is a guide to modeling software process models.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]