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

ＵＭＬ标准建模语言是面向对象技术领域中的重要成果，使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点。ＵＭＬ集成支持环境既可提高建模的效率，也可在一定程度上保证所建模型间的一致性；通过模拟动态模型的行为，可在建模的早期发一模型中存在的问题；代码生成，逆向变换系统将模型和程序代码有机地统一起来。

MODEL CONSISTENCY CHECKING MECHANISM IN UML VISUAL MODELING SYSTEM

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.