|
|||||
|
|
| 基于动态描述逻辑的UML状态图形式化方法 | |
| 引用本文： | 陈振庆,罗兰花.基于动态描述逻辑的UML状态图形式化方法[J].计算机工程,2011,37(13):55-57,60. |
| 作者姓名： | 陈振庆 罗兰花 |
| 作者单位： | 贺州学院计算机科学与工程系,广西,贺州,542800 |
| 基金项目： | 2010年度广西高等学校优秀人才资助计划基金资助项目"基于动态描述逻辑的UML状态图形式化方法" |
| 摘 要： | 统一建模语言(UML)状态图包括静态语义和动态语义.针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题.给出状态图状态可达性和动作包含关系的定义,并证明其正确性. |
| 关 键 词： | 动态描述逻辑 统一建模语言状态图 形式化方法 动作推理 |
| 收稿时间： | 2010-12-20 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载全文 | |