###
DOI:
Journal of Software:1996.7(8):449-457

软件过程建模语言研究
柳军飞,唐稚松
(中国科学院软件研究所,北京,100080)
A STUDY ON SOFTWARE MODELING LANGUAGES
Liu Junfei,Tang Zhisong
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2909   Download 3442
    Revised:June 09, 1995
> 中文摘要: 本文介绍了软件过程建模的基本概念,提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言,给出了一个基于时序逻辑的形式化过程建模语言XYZ/PME,该语言是时序逻辑语言XYZ/E的子语言,它支持以角色为中心的逐步求精的过程建模方法,可在统一的形式框架内表示不同抽象级的过程模型.软件过程,软件过程建模,过程建模语言,时序逻辑,程序设计语言.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

柳军飞,唐稚松.软件过程建模语言研究.软件学报,1996,7(8):449-457

Liu Junfei,Tang Zhisong.A STUDY ON SOFTWARE MODELING LANGUAGES.Journal of Software,1996,7(8):449-457