| 基于EPMM的软件过程模型规范化研究 |
| |
| 引用本文： | 谢仲文,李彤,代飞,卢萍,秦江龙,刘金卓.基于EPMM的软件过程模型规范化研究[J].计算机工程与科学,2010,32(9):69-72. |
| |
| 作者姓名： | 谢仲文 李彤 代飞 卢萍 秦江龙 刘金卓 |
| |
| 作者单位： | 云南大学软件学院,云南,昆明,650091 |
| |
| 基金项目： | 国家自然科学基金资助项目，云南省自然科学基金资助项目，云南省教育厅科学研究基金资助项目，云南大学研究生科研课题资助项目 |
| |
| 摘 要： | 为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。
|
| 关 键 词： | 软件过程 软件过程模型 Petri网 过程范式 |
| 收稿时间： | 2010-03-03 |
| 修稿时间： | 2010-06-15 |
Normalization of Software Process Models Based on EPMM |
| |
| XIE Zhong-wen,LI Tong,DAI Fei,LU Ping,QIN Jiang-long,LIU Jin-zhuo.Normalization of Software Process Models Based on EPMM[J].Computer Engineering & Science,2010,32(9):69-72. |
| |
| Authors: | XIE Zhong-wen LI Tong DAI Fei LU Ping QIN Jiang-long LIU Jin-zhuo |
| |
| Affiliation: | (School of Software,Yunnan University,Kunming 650091,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | software processes software processes models petri nets process normal form |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
