UML可视化建模工具中模型一致性检查机制的研究与实现

摘要

采用统一建模语言UML进行系统建模的过程中,模型一致性的建立和维护是正确建模的必要前提.但单靠人工检查的方式来保证模型的正确性,不仅给开发人员造成很大负担,而且容易出现差错或遗漏.因此,在UML可视化建模工具中提供模型一致性自动检测和维护机制至关重要.本文对UML主要模型图之间的关系进行了分析,识别出这些图之间的一些基本的一致性规则;在此基础上,提出了UML可视化建模工具中模型一致性检查机制的实施框架,并对实现该框架的主要思路进行了详细介绍.