The Design of a Software Process Modeling Language
一种软件过程建模语言SPML的设计

本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML／H能够较全面地描述软件过程，具有良好的易用性；低抽象层次的语言SPML／L可以描述规则等，适合描述软件过程的细节。SPML／H还能够被逐步地变换成SPML／L，保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。