UML状态图的逻辑语义及自动推理

摘要

针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义.对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理.