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

谢仲文，李彤，代飞，卢萍，秦江龙，刘金卓

doi:10.3969/j.issn.1007130X.2010.

计算机工程与科学 >

2010 , Vol. 32 >Issue 9: 69 - 72

DOI: https://doi.org/10.3969/j.issn.1007130X.2010.

论文

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

展开

（云南大学软件学院，云南昆明 650091）

谢仲文(1982)，男，福建漳州，博士，CCF会员(E200013566G),研究方向为软件过程、软件演化和形式化方法；李彤，博士，教授，研究方向为软件工程、信息安全和形式化方法；代飞，博士，研究方向为软件过程、软件演化和形式化方法；卢萍，硕士生，研究方向为软件工程和形式化方法；秦江龙，硕士生，研究方向为软件工程和形式化方法；刘金卓，硕士生，研究方向为软件工程和形式化方法。

收稿日期: 2010-03-03

修回日期: 2010-06-15

网络出版日期: 2010-09-02

基金资助

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

收起

Normalization of Software Process Models Based on EPMM

Expand

(School of Software,Yunnan University,Kunming 650091,China)

Received date: 2010-03-03

Revised date: 2010-06-15

Online published: 2010-09-02

Fold

摘要

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

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

本文引用格式

谢仲文，李彤，代飞，卢萍，秦江龙，刘金卓 . 基于EPMM的软件过程模型规范化研究[J]. 计算机工程与科学, 2010 , 32(9) : 69 -72 . DOI: 10.3969/j.issn.1007130X.2010.

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.

Key words： software processes;software processes models;petri nets;process normal form

Options

文章导航

模态框（Modal）标题

摘要

本文引用格式

Abstract