| 基于UML类图模型的一致性检查方法 |
| |
| 引用本文： | 董庆超,王智学,张爱辉,陈剑.基于UML类图模型的一致性检查方法[J].计算机技术与发展,2008,18(10). |
| |
| 作者姓名： | 董庆超 王智学 张爱辉 陈剑 |
| |
| 作者单位： | 解放军理工大学,指挥自动化学院,江苏,南京,210007 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具.但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能.SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力.鉴于上述特点,通过从UML类图图元中抽取语义.用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现.根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题.
|
| 关 键 词： | UML类图 描述逻辑 |
A Method of Inconsistency Detecting of Models Based on UML Class Diagram |
| |
| DONG Qing-chao,WANG Zhi-xue,ZHANG Ai-hui,CHEN Jian.A Method of Inconsistency Detecting of Models Based on UML Class Diagram[J].Computer Technology and Development,2008,18(10). |
| |
| Authors: | DONG Qing-chao WANG Zhi-xue ZHANG Ai-hui CHEN Jian |
| |
| Abstract: | |
| |
| Keywords: | SHOIQ(D) |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
