软件过程建模语言研究  

A STUDY ON SOFTWARE MODELING LANGUAGES

作　　者：柳军飞[1] 唐稚松[1] 

机构地区：[1]中国科学院软件研究所

出　　处：《软件学报》1996年第8期449-457,共9页Journal of Software

摘　　要：本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．This paper discusses the fundamental concepts of software process modeling and the basic requirements on software process modeling languages, introduces briefly several typical software process modeling languages,gives a formal process modeling language XYZ/PME.XYZ/PME supports the process modeling approach using a stepwise refinement technique,can represent process models of different abstract levels in a unified formal framework.

关 键 词：软件过程 建模 过程建模语言 程序语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]