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

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

单位：云南大学软件学院 云南昆明650091