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

• 作者: 张其文 李明 杨海波 王旭阳
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 描述逻辑 时序扩展 时序描述逻辑 状态图 形式化
• 年，卷（期）: 2010,（23）
• 页码范围: 76-78
• 分类号: N945
• 字数: 3196字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.23.025

摘要

将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径.鉴于描述逻辑强的可判定推理能力,提出一种采用时序描述逻辑形式化UML状态图,对描述逻辑进行时序扩展,得到可以表示动态和时序语义的形式化规范--时序描述逻辑,给出一套UML状态图向时序描述逻辑表达式转换的规则,通过实例验证了该方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李明	兰州理工大学计算机与通信学院	115	778	15.0	21.0
2	张其文	兰州理工大学计算机与通信学院	18	120	7.0	10.0
3	王旭阳	兰州理工大学计算机与通信学院	29	123	7.0	9.0
4	杨海波	兰州理工大学计算机与通信学院	2	3	1.0	1.0