[1]董庆超 王智学 张爱辉 陈剑.基于UML类图模型的一致性检查方法[J].计算机技术与发展,2008,(10):85-88.
　DONG Qing-chao,WANG Zhi-xue,ZHANG Ai-hui,et al.A Method of Inconsistency Detecting of Models Based on UML Class Diagram[J].,2008,(10):85-88.
点击复制

基于UML类图模型的一致性检查方法()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2008年10期
页码:
85-88
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
A Method of Inconsistency Detecting of Models Based on UML Class Diagram
文章编号:
1673-629X（2008）10-0085-04
作者:
董庆超 王智学 张爱辉 陈剑
解放军理工大学指挥自动化学院
Author(s):
DONG Qing-chao; WANG Zhi-xue;  ZHANG Ai-hui;  CHEN Jian
Institute of Command Automation, PLA University of Science and Technology
关键词:
UML类图; 描述逻辑; SHOIQ（D）
Keywords:
UML class diagram; description Iogic; SHOIQ（D）
分类号:
TP311
文献标志码:
A
摘要:
UML中的类图采用直观的图形化表示方法，有效描述了待建系统的静态特征，为系统设计人员发现系统模型中存在的不一致性和冗余等问题，提供了有效的分析工具。但是对于复杂的系统，完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的，应当为建模工具赋以模型自动一致性检查功能。SHOIQ（D）是描述逻辑家族中可判定的子集，它在保证推理可判定的同时，具备较强的描述知识能力。鉴于上述特点，通过从UML类图图元中抽取语义，用SHOIQ（D）形式化描述类图图元，借助自动推理引擎，从而使基于UML类图模型的自动一致
Abstract:
The class diagram of UML uses a visual manner to describe the static character of systems effectively. It provides software engineers a tool to find the inconsistency and redundancy of models. But a complex software system contains a great many of element

相似文献/References:

[1]王金环 李宝敏.基于本体DL的语义推理研究[J].计算机技术与发展,2009,(11):94.
　WANG Jin-huan,LI Bao-min.Study of Semantic Reasoning Based on Ontology Description Logic[J].,2009,(10):94.
[2]刘磊 张波.基于语义关键词的本体特征指数获取方法研究[J].计算机技术与发展,2008,(12):140.
　LIU Lei,ZHANG Bo.Research on How to Get Ontology Index Based on Semantic Keywords[J].,2008,(10):140.
[3]张灵峰 夏战锋 彭志平.基于Tbox和Abox的描述逻辑推理研究[J].计算机技术与发展,2010,(11):122.
　ZHANG Ling-feng,XIA Zhan-feng,PENG Zhi-ping.Research on Description Logic＇s Reasoning Based on Tbox and Abox[J].,2010,(10):122.
[4]夏战锋 彭志平 胥杜鹃[].基于范畴论的多TBox整合研究[J].计算机技术与发展,2011,(05):95.
　XIA Zhan-feng,PENG Zhi-ping,XU Du-juan.Research of Multiple TBox Integration Based on Category Theory[J].,2011,(10):95.
[5]杨斌 齐玉东 孟凡磊 王亚宁[].本体在概念建模中的应用研究[J].计算机技术与发展,2011,(05):246.
　YANG Bin,QI Yu-dong,MENG Fan-lei,et al.Application Research on Ontology in Conceptual Modeling[J].,2011,(10):246.
[6]郝斐 蒋鑫 董庆超 张杰[].MEISRDL静态图模型的一致性检查方法[J].计算机技术与发展,2011,(10):28.
　HAO Fei,JIANG Xin,DONG Qing-chao,et al.Consistency Model Checking for MEISRDL Static Diagrams[J].,2011,(10):28.
[7]罗军 刘艺茹.本体和描述逻辑在景点查询中的应用研究[J].计算机技术与发展,2012,(06):239.
　LUO Jun,LIU Yi-ru.Research on Ontology and Description Logic Application to Scenery Spot Query[J].,2012,(10):239.
[8]段跃兴.语义 Web 服务的形式化及其组合研究[J].计算机技术与发展,2013,(01):1.
　DUAN Yue-xing.Research on Formalization and Composition of Semantic Web Services[J].,2013,(10):1.
[9]江萍,王力,王士凯,等.基于本体描述逻辑的云制造服务匹配方案[J].计算机技术与发展,2013,(03):49.
　JIANG Ping,WANG Li,WANG Shi-kai,et al.A Method of Services Matching of Cloud Manufacturing Based on Ontology-DL[J].,2013,(10):49.
[10]刘菲京,刘炜,王旭,等. 一种基于事件的大气污染突发事件本体模型[J].计算机技术与发展,2015,25(06):29.
　LIU Fei-jing,LIU Wei,WANG Xu,et al. An Air Pollution Emergency Ontology Model Based on Event[J].,2015,25(10):29.

备注/Memo

备注/Memo:
国家高技术研究发展计划（863计划）（2007AA01Z126）董庆超（1982-），男，硕士研究生，研究方向为指控系统运筹分析及应用；王智学，博士生导师，教授，研究方向为指挥自动化理论与技术
更新日期/Last Update: 1900-01-01