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

RESEARCH OF MODEL CONSISTENCY CHECKING MECHANISM IN UML VISUAL MODELING TOOLS

作　　者：田丽从[1] 周伯生[1] 

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

出　　处：《计算机应用与软件》2005年第1期24-26,共3页Computer Applications and Software

基　　金：本文研究得到北京市科技新星计划的支持 (项目编号 :H0 1 361 0 2 70 1 1 2 )。

摘　　要：采用统一建模语言UML进行系统建模的过程中 ,模型一致性的建立和维护是正确建模的必要前提。但单靠人工检查的方式来保证模型的正确性 ,不仅给开发人员造成很大负担 ,而且容易出现差错或遗漏。因此 ,在UML可视化建模工具中提供模型一致性自动检测和维护机制至关重要。本文对UML主要模型图之间的关系进行了分析 ,识别出这些图之间的一些基本的一致性规则 ;在此基础上 ,提出了UML可视化建模工具中模型一致性检查机制的实施框架 ,并对实现该框架的主要思路进行了详细介绍。During system modeling using UML,the establishment and maintenance of model consistency among different models is the necessary prerequisite of modeling technique and must be tackled by UML tool developers.However,if a manual approach is accepted,not only it will give heavy burden on the developers,but also it will be error(and/or omission) prone.Therefore it is very important to provide an automatic model consistency check and maintenance mechanism in UML visual modeling tools.In this paper,the relationships among main UML diagrams are analyzed,a set of essential consistency rules among them are identified.Based on this,a framework of the consistency checking mechanism in UML visual modeling tools is presented,and then the main ideas of realizing the framework are discussed in great detail.

关 键 词：可视化建模工具 统一建模语言UML 一致性 模型图 系统建模 正确性 自动检测 检查机制 实施框架 负担 

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