|
|||||
|
|
| 一种基于描述逻辑的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） |
A Method of UML Models Verification Based on Description Logic |
|
| Hao Fei,Dong Qingchao,Zeng Guangjun. A Method of UML Models Verification Based on Description Logic[J]. Computer and Digital Engineering, 2011, 39(11): 58-62 | |
| Authors: | Hao Fei Dong Qingchao Zeng Guangjun |
| Affiliation: | 3)(Department of Information,General Hospital of Beijing Military Region1),Beijing 100049)(Institute of Command Automation,PLA University of Science & Technology2),Nanjing 210007)(Commanding Communication Academy3),Wuhan 430010) |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
