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