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

摘要

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