基于动态描述逻辑的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 维普 万方数据 等数据库收录! |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|