计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2010年
9期
69-72,126
,共5页
谢仲文%李彤%代飞%卢萍%秦江龙%刘金卓
謝仲文%李彤%代飛%盧萍%秦江龍%劉金卓
사중문%리동%대비%로평%진강룡%류금탁
软件过程%软件过程模型%Petri网%过程范式
軟件過程%軟件過程模型%Petri網%過程範式
연건과정%연건과정모형%Petri망%과정범식
为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究.本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法.本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF.本文为建模高质量的软件过程模型提供了指南.
為瞭開髮高質量的軟件過程模型,有必要對軟件過程模型的規範化進行研究.本文基于EPMM對過程的形式化定義,攷慮到傳統軟件過程和軟件縯化過程的特點,給齣過程第一範式(1PNF)、過程第二範式(2PNF)、過程第三範式(3PNF)和過程第四範式(4PNF)的定義,併給齣它們的判定算法.本文建議:對于傳統的軟件過程模型,應設計到滿足2PNF;而對于軟件縯化過程模型,應設計到滿足3PNF.本文為建模高質量的軟件過程模型提供瞭指南.
위료개발고질량적연건과정모형,유필요대연건과정모형적규범화진행연구.본문기우EPMM대과정적형식화정의,고필도전통연건과정화연건연화과정적특점,급출과정제일범식(1PNF)、과정제이범식(2PNF)、과정제삼범식(3PNF)화과정제사범식(4PNF)적정의,병급출타문적판정산법.본문건의:대우전통적연건과정모형,응설계도만족2PNF;이대우연건연화과정모형,응설계도만족3PNF.본문위건모고질량적연건과정모형제공료지남.
