基于动态描述逻辑的UML状态图形式化方法

摘要：

统一建模语言(UML)状态图包括静态语义和动态语义.针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题.给出状态图状态可达性和动作包含关系的定义,并证明其正确性.

关键词：动态描述逻辑、统一建模语言状态图、形式化方法、动作推理

所属期刊栏目：37

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

资助基金：2010年度广西高等学校优秀人才资助计划基金资助项目"基于动态描述逻辑的UML状态图形式化方法"

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

页数：共4页

页码：55-57,60