节点文献

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

免费订阅

【作者】 陈振庆刘长青

【Author】 Chen Zhenqing,Liu Changqing(Department of Computer Science and Engineering,Guangxi Hezhou University,GuangxiHezhou 542800)

【机构】 贺州学院计算机科学与工程系

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

【基金】 2010年度广西高等学校优秀人才资助计划项目“基于动态描述逻辑的UML状态图形式化方法”
【所属期刊栏目】 实验与技术 (2010年04期)
  • 【分类号】TP391.1
  • 【被引频次】2
  • 【下载频次】105
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: