| UML状态图的逻辑语义及自动推理 |
| |
| 引用本文： | 陈振庆,刘长青.UML状态图的逻辑语义及自动推理[J].贺州学院学报,2010,26(4). |
| |
| 作者姓名： | 陈振庆 刘长青 |
| |
| 基金项目： | 2010年度广西高等学校优秀人才资助计划项目 |
| |
| 摘 要： | 针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义.对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理.
|
| 关 键 词： | UML状态图 逻辑语义 自动推理 一阶谓词逻辑 |
The Logic Semantic and Automatically Reasoning of UML Statechart |
| |
| Chen Zhenqing,Liu Changqing.The Logic Semantic and Automatically Reasoning of UML Statechart[J].Journal of Wuzhou Teachers College of Guangxi,2010,26(4). |
| |
| Authors: | Chen Zhenqing Liu Changqing |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
