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

A Method of UML Models Verification Based on Description Logic

作　　者：郝斐[1] 董庆超[2] 曾广军[3] 

机构地区：[1]北京军区总医院信息科,北京100049 [2]解放军理工大学指挥自动化学院,南京210007 [3]通信指挥学院,武汉430010

出　　处：《计算机与数字工程》2011年第11期58-62,共5页Computer & Digital Engineering

基　　金：国家高技术研究发展计划(863计划)(编号:2007AA01Z126)资助

摘　　要：针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN(D)形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。The UML models may suffer from the semantic inconsistency problems,such as the inconsistency and redundancy of the concept.To solve these problems,this paper provides a method of UML models verification based on Description Logic.By describing some basic constructs of UML models with Description Logic,the method can convert UML models into ontology and realize the UML model verification with the technology of ontology reasoning.The method may become the foundation for next generation CASE tools so as to provide support during the specification phase of software development.

关 键 词：UML模型 描述逻辑 SHOIN(D) 

分 类 号：E917[军事] TP391.9[自动化与计算机技术—计算机应用技术]