|
|||||
|
|
| UML可视化建模工具中模型一致性检查机制的研究与实现 | |
| 引用本文： | 田丽从,周伯生. UML可视化建模工具中模型一致性检查机制的研究与实现[J]. 计算机应用与软件, 2005, 22(1): 24-26 |
| 作者姓名： | 田丽从 周伯生 |
| 作者单位： | 北京航空航天大学软件工程研究所,北京,100083;北京航空航天大学软件工程研究所,北京,100083 |
| 基金项目： | 本文研究得到北京市科技新星计划的支持 (项目编号 :H0 1 361 0 2 70 1 1 2 )。 |
| 摘 要： | 采用统一建模语言UML进行系统建模的过程中，模型一致性的建立和维护是正确建模的必要前提。但单靠人工检查的方式来保证模型的正确性，不仅给开发人员造成很大负担，而且容易出现差错或遗漏。因此，在UML可视化建模工具中提供模型一致性自动检测和维护机制至关重要。本文对UML主要模型图之间的关系进行了分析，识别出这些图之间的一些基本的一致性规则；在此基础上，提出了UML可视化建模工具中模型一致性检查机制的实施框架，并对实现该框架的主要思路进行了详细介绍。 |
| 关 键 词： | UML 可视化建模 一致性检查 交织 |
RESEARCH OF MODEL CONSISTENCY CHECKING MECHANISM IN UML VISUAL MODELING TOOLS |
|
| Tian Licong Zhou Bosheng [WTBX]. RESEARCH OF MODEL CONSISTENCY CHECKING MECHANISM IN UML VISUAL MODELING TOOLS[J]. Computer Applications and Software, 2005, 22(1): 24-26 | |
| Authors: | Tian Licong Zhou Bosheng [WTBX] |
| Affiliation: | Tian Licong Zhou Bosheng [WT6BX] |
| Abstract: | 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. |
| Keywords: | UML Visual modeling Consistency checking Interweave |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |