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

The Design of a Software Process Modeling Language

作　　者：陈迎欣[1] 刘群[1] 

机构地区：[1]哈尔滨工程大学计算机科学技术学院,博士哈尔滨150001

出　　处：《计算机科学》2005年第11期218-222,共5页Computer Science

摘　　要：本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML/H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML/L可以描述规则等,适合描述软件过程的细节。SPML/H还能够被逐步地变换成SPML/L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。It proposed a software process modeling language named SPML which support semantics richness, flexibility, seal,ability, reuse and formalization. This language provides two levels of abstraction to meet various user requirements. The high level abstraction named SPML/H can be readily to describe the software process form different aspects, and it is easy to be used. The low level language named SPML/L can be used to describe the details of the software process behaviors by specifying more comprehensive semantics such as rules. The SPML/H can be translated into SPML/L which make it possible to analyze and operate software process model on the same base of formalizing description. At last, an example is presented to demonstrate the efficiency of SPML.

关 键 词：软件过程建模 软件过程 过程建模语言 软件过程模型 设计 抽象层 描述语言 可扩展 易用性 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] TP311.52[自动化与计算机技术—计算机科学与技术]