文献类型：期刊文章

作　　者：王云[1] 刘又诚[1] 周伯生[1]

机构地区：[1]北京航空航天大学软件工程研究所,北京100083

出　　处：《计算机研究与发展》

年　　份：2000

卷　　号：37

期　　号：1

起止页码：1-8

语　　种：中文

收录情况：AJ、BDHX、BDHX1996、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：ＵＭＬ标准建模语言是面向对象技术领域中的重要成果．使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点．ＵＭＬ集成化支持环境既可提高建模的效率，也可在一定程度上保证所建模型间的一致性；通过模拟动态模型的行为，可在建模的早期发现模型中存在的问题；代码生成、逆向变换系统将模型和程序代码有机地统一起来．文中首先介绍北京航空航天大学软件工程研究所研制的ＵＭＬ集成化支持环境的基本组成，然后介绍其中的ＵＭＬ可视化建模系统，并重点论述可视化建模系统中的模型一致性检查机制．

关 键 词：UML 可视化建模系统  模型一致性  软件工程

分 类 号：TP311.5]