| 摘要: |
| 本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言． |
| 关键词: 软件过程 软件过程环境 过程建模语言 时顺逻辑 程序设计语言 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| A STUDY ON SOFTWARE MODELING LANGUAGES |
|
Liu Junfei,Tang Zhisong
|
| 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. |
| Key words: Software process software process modeling software process modeling language temporal logic programming language. |
