UML可视化建模系统的模型一致性检查机制  

MODEL CONSISTENCY CHECKING MECHANISM IN UML VISUAL MODELING SYSTEM

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

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

出　　处：《计算机研究与发展》2000年第1期1-8,共8页Journal of Computer Research and Development

摘　　要：ＵＭＬ标准建模语言是面向对象技术领域中的重要成果．使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点．ＵＭＬ集成化支持环境既可提高建模的效率，也可在一定程度上保证所建模型间的一致性；通过模拟动态模型的行为，可在建模的早期发现模型中存在的问题；代码生成、逆向变换系统将模型和程序代码有机地统一起来．文中首先介绍北京航空航天大学软件工程研究所研制的ＵＭＬ集成化支持环境的基本组成，然后介绍其中的ＵＭＬ可视化建模系统，并重点论述可视化建模系统中的模型一致性检查机制．UML(unified modeling language) is one of the latest achievements in software engineering field. How to use UML to solve the real world problems is still a hot topic. UML integrated supporting environment can either improve efficiency of modeling or ensure consistency between models in a certain degree, and in the meanwhile, some mistakes in models can be found earlier by emulating dynamic models. UML code generation system and UML reverse translation system play a major role in ensuring the consistency between the model and program code generated by system. In this paper, the basic constitutes of the UML integrated supporting environment are introduced firstly, and then UML visual modeling system is discussed. Finally, the paper analyses some UML models and their relations, and gives an emphasis on the definition of model consistency and the strategy of implementing model consistency checking.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]