|
|||||
|
|
| 基于EPMM的软件过程模型规范化研究 | |
| 作者姓名： | 谢仲文 李彤 代飞 卢萍 秦江龙 刘金卓 |
| 作者单位： | 云南大学软件学院,云南,昆明,650091 |
| 基金项目： | 国家自然科学基金资助项目,云南省自然科学基金资助项目,云南省教育厅科学研究基金资助项目,云南大学研究生科研课题资助项目 |
| 摘 要： | 为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。 |
| 关 键 词： | 软件过程 软件过程模型 Petri网 过程范式 |
| 收稿时间： | 2010-03-03 |
| 修稿时间： | 2010-06-15 |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与科学》下载全文 | |