一种软件过程建模语言SPML的设计

摘要

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