UML2.0顺序图的时序描述逻辑语义

• 作者: 张其文 李明 童格明
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: UML2.0顺序图 时序描述逻辑 形式化 描述逻辑
• 年，卷（期）: 2011,（3）
• 页码范围: 52-54
• 分类号: TP311.5
• 字数: 3891字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.03.019

摘要

针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法.对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范--时序描述逻辑,根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段,通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义.实例检验结果表明,该方法具有可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李明	兰州理工大学计算机与通信学院	115	778	15.0	21.0
2	张其文	兰州理工大学计算机与通信学院	18	120	7.0	10.0
3	童格明	兰州理工大学计算机与通信学院	3	28	2.0	3.0