贺州学院学报

2010, v.26;No.84(04) 127-132

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

UML状态图的逻辑语义及自动推理
The Logic Semantic and Automatically Reasoning of UML Statechart

陈振庆;刘长青;

摘要(Abstract):

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

关键词(KeyWords): UML状态图;逻辑语义;自动推理;一阶谓词逻辑

Abstract:

Keywords:

基金项目(Foundation): 2010年度广西高等学校优秀人才资助计划项目“基于动态描述逻辑的UML状态图形式化方法”

作者(Author): 陈振庆;刘长青;

Email:

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享