基于UML类图模型的一致性检查方法

• 作者: 张爱辉 王智学 董庆超 陈剑
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: UML类图 描述逻辑 SHOIQ(D)
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 85-88
• 页数: 4页
• 分类号: TP311
• 字数: 3297字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2008.10.025

摘要

UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具.但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能.SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力.鉴于上述特点,通过从UML类图图元中抽取语义.用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现.根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王智学	解放军理工大学指挥自动化学院	76	534	12.0	19.0
2	陈剑	解放军理工大学指挥自动化学院	24	153	7.0	10.0
3	董庆超	解放军理工大学指挥自动化学院	20	120	7.0	10.0
4	张爱辉	解放军理工大学指挥自动化学院	2	14	2.0	2.0