软件过程建模语言研究

被引：17

作者：

柳军飞

唐稚松

机构：

[1] 中国科学院软件研究所

来源：

软件学报 | 1996年 / 08期

关键词：

Software process; software process modeling; software process modeling language; temporal logic; programming language;

D O I：

10.13328/j.cnki.jos.1996.08.001

中图分类号：

TP312 [程序语言、算法语言];

学科分类号：

081202 ; 0835 ;

摘要：

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．

引用

页码：449 / 457

页数：9