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

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

J4 ›› 2010, Vol. 32 ›› Issue (9): 69-72.doi: 10.3969/j.issn.1007130X.2010.

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

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

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

收稿日期:2010-03-03 修回日期:2010-06-15 出版日期:2010-09-02 发布日期:2010-09-02
作者简介:谢仲文(1982)，男，福建漳州，博士，CCF会员(E200013566G),研究方向为软件过程、软件演化和形式化方法；李彤，博士，教授，研究方向为软件工程、信息安全和形式化方法；代飞，博士，研究方向为软件过程、软件演化和形式化方法；卢萍，硕士生，研究方向为软件工程和形式化方法；秦江龙，硕士生，研究方向为软件工程和形式化方法；刘金卓，硕士生，研究方向为软件工程和形式化方法。
基金资助:
国家自然科学基金资助项目（60963007）；云南省自然科学基金资助项目（2007F008M）；云南省教育厅科学研究基金资助项目（09J0037）；云南大学研究生科研课题资助项目（ynuy200920）

Normalization of Software Process Models Based on EPMM

XIE Zhongwen，LI Tong，DAI Fei，LU Ping，QIN Jianglong，LIU Jinzhuo

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

Received:2010-03-03 Revised:2010-06-15 Online:2010-09-02 Published:2010-09-02

摘要/Abstract

摘要：

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

关键词: 软件过程, 软件过程模型, Petri网, 过程范式

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

谢仲文，李彤，代飞，卢萍，秦江龙，刘金卓. 基于EPMM的软件过程模型规范化研究[J]. J4, 2010, 32(9): 69-72.

XIE Zhongwen，LI Tong，DAI Fei，LU Ping，QIN Jianglong，LIU Jinzhuo. Normalization of Software Process Models Based on EPMM[J]. J4, 2010, 32(9): 69-72.

编辑推荐

Metrics

阅读次数

全文

HTML			PDF

最新录用	在线预览	正式出版	最新录用	在线预览	正式出版
0	0	0	0	0	40

来源	本网站	其他网站

次数	35	5
比例	88%	12%

摘要

最新录用	在线预览	正式出版

0	0	33

	来源	本网站

	次数	33
	比例	100%

[1]	杨慧慧, 方贤文, 邵叱风. 基于Petri网的并发事件流程模型修复分析[J]. 计算机工程与科学, 2021, 43(10): 1773-1780.
[2]	王吴松, 方欢, 郑雪文. 基于Petri网的流程变体合并方法[J]. 计算机工程与科学, 2021, 43(06): 1095-1103.
[3]	王帅辉, 袁杰. 复合Petri网的主从式多智能体通信建模方法[J]. 计算机工程与科学, 2021, 43(02): 304-311.
[4]	张晶, 袁振宇. 基于增广混合Petri网的CPS事件建模[J]. 计算机工程与科学, 2020, 42(03): 550-556.
[5]	钱文高1，耿宏1，马红岩2. 装配序列约束下的飞机虚拟维修过程建模仿真[J]. 计算机工程与科学, 2019, 41(08): 1482-1489.
[6]	王松，陈曦，乐晓波. 基于Petri网的五笔画输入法算法优化研究[J]. 计算机工程与科学, 2016, 38(12): 2567-2573.
[7]	顾鸿儒，孙连坤. 基于层次颜色Petri网的全感应控制交通信号灯建模与仿真[J]. 计算机工程与科学, 2016, 38(09): 1887-1892.
[8]	赵冬,张文宁,车战斌. 基于工作流的第二课堂活动管理平台的研究与实现[J]. 计算机工程与科学, 2016, 38(07): 1419-1424.
[9]	陈星佑1,2，乐晓波1，曹伟1，周恺卿3. 基于分层模糊有色Petri网的防空C3I系统建模研究[J]. J4, 2016, 38(01): 102-107.
[10]	申蔓蔓1，乐晓波1，周恺卿2. 一种新的基于直觉模糊Petri网的模糊推理算法[J]. J4, 2015, 37(02): 354-358.
[11]	孙晓玲，王宁. 基于直觉模糊Petri网的故障诊断[J]. J4, 2014, 36(09): 1736-1741.
[12]	许呈嫣，白焰，王仁书. 基于模糊Petri网的无线顺序控制系统的故障诊断[J]. J4, 2014, 36(08): 1512-1518.
[13]	张弛1，乐晓波1，周恺卿2，莫礼平3. 采用差分进化算法优化模糊Petri网参数[J]. J4, 2014, 36(06): 1095-1100.
[14]	张卉,李续武，赵媛莉，校云超. 改进型有色Petri网的安全协议分析[J]. J4, 2013, 35(7): 60-63.
[15]	周彦1,乐晓波1,匡迎春2. Petri网并分解技术及其应用研究[J]. J4, 2013, 35(4): 125-129.

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

Normalization of Software Process Models Based on EPMM

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 15

编辑推荐

Metrics

本文评价