UML可视化建模系统的模型一致性检查机制
外文标题 | MODEL CONSISTENCY CHECKING MECHANISM IN UML VISUAL MODELING SYSTEM |
文献类型 | 期刊 |
作者 | 王云[1];刘又诚[2];周伯生[3] |
机构 | [1]北京航空航天大学软件工程研究所,北京,100083 [2]北京航空航天大学软件工程研究所,北京,100083 [3]北京航空航天大学软件工程研究所,北京,100083 ↓ |
来源信息 | 年:2000卷:37期:1页码范围:1-8 |
期刊信息 | 计算机研究与发展ISSN:1000-1239 |
关键词 | UML;UML集成化支持环境;UML可视化建模系统;模型一致性 |
摘要 | UML标准建模语言是面向对象技术领域中的重要成果.使用UML解决现实世界中的问题是当前该领域的研究热点.UML集成化支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模拟动态模型的行为,可在建模的早期发现模型中存在的问题;代码生成、逆向变换系统将模型和程序代码有机地统一起来.文中首先介绍北京航空航天大学软件工程研究所研制的UML集成化支持环境的基本组成,然后介绍其中的UML可视化建模系统,并重点论述可视化建模系统中的模型一致性检查机制. |
收录情况 | PKU |
所属部门 | 计算机学院 |
链接地址 | http://d.g.wanfangdata.com.cn/Periodical_jsjyjyfz200001001.aspx |
人气指数 | 2 |
浏览次数 | 2 |
全文
影响因子:
dc:title:UML可视化建模系统的模型一致性检查机制
dc:creator:王云;刘又诚;周伯生
dc:date: publishDate:2000-01-15
dc:type:期刊
dc:format: Media:计算机研究与发展
dc:identifier: LnterrelatedLiterature:计算机研究与发展.2000,37(1),1-8.
dc:identifier:DOI:
dc: identifier:ISBN:1000-1239