一种基于描述逻辑的UML模型验证方法
郝斐1
董庆超2
曾广军3
1.北京军区总医院信息科,北京,1000492.解放军理工大学指挥自动化学院,南京,2100073.通信指挥学院,武汉,430010
摘要：针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法.该方法首先采用描述逻辑的子系统SHOIN(D)形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题.该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案.
关键词：UML模型描述逻辑SHOIN(D)
分类号：E917(军事技术基础科学)TP391.9(计算技术、计算机技术)
资助基金：国家高技术研究发展计划（863计划）(2007AA01Z126)
论文发表日期：2011-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 58-62 )
英文信息