一种基于描述逻辑的UML模型验证方法

• 作者: 曾广军 董庆超 郝斐
• 来源期刊: 计算机与数字工程
• 学科: 军事
• 关键词: UML模型 描述逻辑 SHOIN(D)
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 系统结构
• 页码范围: 58-62
• 分类号: E917|TP391.9
• 字数: 4440字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2011.11.016

摘要

针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法.该方法首先采用描述逻辑的子系统SHOIN(D)形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题.该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董庆超	解放军理工大学指挥自动化学院	20	120	7.0	10.0
2	曾广军		4	11	2.0	3.0
3	郝斐	北京军区总医院信息科	4	32	3.0	4.0