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