|
|||||
|
|
| 基于时序描述逻辑的UML状态图语义 | |
| 引用本文： | 李明,杨海波,张其文,王旭阳.基于时序描述逻辑的UML状态图语义[J].计算机工程,2010,36(23):76-78. |
| 作者姓名： | 李明 杨海波 张其文 王旭阳 |
| 作者单位： | (兰州理工大学计算机与通信学院， 兰州 730050) |
| 基金项目： | 甘肃省自然科学基金资助项目 |
| 摘 要： | 将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径。鉴于描述逻辑强的可判定推理能力，提出一种采用时序描述逻辑形式化UML状态图，对描述逻辑进行时序扩展，得到可以表示动态和时序语义的形式化规范——时序描述逻辑，给出一套UML状态图向时序描述逻辑表达式转换的规则，通过实例验证了该方法的可行性。 |
| 关 键 词： | 描述逻辑 时序扩展 时序描述逻辑 状态图 形式化 |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载全文 | |