基于时序描述逻辑的UML状态图语义

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于时序描述逻辑的UML状态图语义

李明, 杨海波, 张其文, 王旭阳

Semantics of UML State Chart Based on Temporal Description Logics

LI Meng, YANG Hai-Bei, ZHANG Ji-Wen, WANG Xu-Yang

计算机工程 . 2010, (23): 76 -78 . DOI: 10.3969/j.issn.1000-3428.2010.23.025