作者：谢仲文 李彤 代飞 卢萍 秦江龙 刘金卓软件过程软件过程模型petri网过程范式
摘要：为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式（1PNF）、过程第二范式（2PNF）、过程第三范式（3PNF）和过程第四范式（4PNF）的定义,并给出它们的判定算法。本文建议：对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
