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

摘要：

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

关键词：描述逻辑、时序扩展、时序描述逻辑、状态图、形式化

所属期刊栏目：36

分类号：N945(系统科学)

资助基金：甘肃省自然科学基金资助项目0809RJZA018

在线出版日期：2011-03-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：76-78