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

作     者：谢仲文 李彤 代飞 卢萍 秦江龙 刘金卓 XIE Zhong-wen;LI Tong;DAI Fei;LU Ping;QIN Jiang-long;LIU Jin-zhuo

作者机构：云南大学软件学院云南昆明650091 

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

出 版 物：《计算机工程与科学》 (Computer Engineering & Science)

年 卷 期：2010年第32卷第9期

页      码：69-72,126页

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

主 题 词：软件过程 软件过程模型 Petri网 过程范式 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1007-130X.2010.09.019

馆 藏 号：203117960...