基于时态描述逻辑的UML活动图形式化规约

摘要：

UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证.针对传统描述逻辑无法表达动态行为和时序特征的不足,提出了一种基于时态描述逻辑的UML活动图形式化规约方案,讨论了时序描述逻辑时序扩展部分的语法和语义,研究了UML活动图的静态语义和动态语义的ALCQIUS形式化规约,通过具体应用实例说明所提方案的可行性.

关键词：时态描述逻辑、UML活动图、静态语义、动态语义、形式化规约

所属期刊栏目：31

分类号：TP182(自动化基础理论)

资助基金：2010年度广西高等学校优秀人才资助计划项目

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

页数：共5页

页码：192-196