|
|||||
|
|
| 一种基于描述逻辑的UML模型验证方法 | |
| 引用本文： | 郝斐,董庆超,曾广军.一种基于描述逻辑的UML模型验证方法[J].计算机与数字工程,2011,39(11):58-62. |
| 作者姓名： | 郝斐 董庆超 曾广军 |
| 作者单位： | 1. 北京军区总医院信息科,北京,100049 2. 解放军理工大学指挥自动化学院,南京,210007 3. 通信指挥学院,武汉,430010 |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| 摘 要： | 针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN（D）形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。 |
| 关 键 词： | UML模型 描述逻辑 SHOIN（D） |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |