| 软件过程建模语言研究 |
| |
| 引用本文： | 柳军飞,唐稚松.软件过程建模语言研究[J].软件学报,1996,7(8):449-457. |
| |
| 作者姓名： | 柳军飞 唐稚松 |
| |
| 作者单位： | 中国科学院软件研究所,北京,100080;中国科学院软件研究所,北京,100080 |
| |
| 摘 要： | 本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．
|
| 关 键 词： | 软件过程 软件过程环境 过程建模语言 时顺逻辑 程序设计语言 |
| 修稿时间： | 6/9/1995 12:00:00 AM |
A STUDY ON SOFTWARE MODELING LANGUAGES |
| |
| Liu Junfei and Tang Zhisong.A STUDY ON SOFTWARE MODELING LANGUAGES[J].Journal of Software,1996,7(8):449-457. |
| |
| Authors: | Liu Junfei and Tang Zhisong |
| |
| Affiliation: | The Institutr of Software The Chinese Academy of Sciences Beijing 100080 |
| |
| Abstract: | 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. |
| |
| Keywords: | Software process software process modeling software process modeling language temporal logic programming language |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
