计算机科学 ›› 2005, Vol. 32 ›› Issue (11): 218-222.
陈迎欣 刘群
CHEN Ying-Xin, LIU Qun (School of Computer Science and Technology, Harbin Engineering University, Harbin 150001)
摘要: 本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML/H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML/L可以描述规则等,适合描述软件过程的细节。SPML/H还能够被逐步地变换成SPML/L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。
No related articles found! |
|