计算机工程2010，Vol.36Issue(23)：76-78,3.
基于时序描述逻辑的UML状态图语义
Semantics of UML State Chart Based on Temporal Description Logics
摘要
关键词
描述逻辑/时序扩展/时序描述逻辑/状态图/形式化分类
自科综合引用本文复制引用
李明,杨海波,张其文,王旭阳..基于时序描述逻辑的UML状态图语义[J].计算机工程,2010,36(23):76-78,3.基金项目
甘肃省自然科学基金资助项目(0809RJZA018) （0809RJZA018）
