| 基于SHOIN（D）的UML类图形式化方法 |
| |
| 引用本文： | 陈振庆.基于SHOIN（D）的UML类图形式化方法[J].计算机工程,2009,35(19):43-45. |
| |
| 作者姓名： | 陈振庆 |
| |
| 作者单位： | 贺州学院计算机科学与工程系,贺州,542800 |
| |
| 基金项目： | 广西青年科学基金资助项目"描述逻辑及其在语义Web中的应用" |
| |
| 摘 要： | UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。针对UML模型形式化问题，提出基于描述逻辑的形式化方法，分析UML类图各模型元素与描述逻辑SHOIN（D）的对应关系，提出UML类图的SHOIN（D）形式化方法，给出UML类图转换为SHOIN（D）知识库的正确性证明。
|
| 关 键 词： | UML类图 描述逻辑 描述逻辑SHOIN(D) 形式化 |
| 修稿时间： | |
Formalization Method for UML Class Diagram Based on SHOIN(D) |
| |
| CHEN Zhen-qing.Formalization Method for UML Class Diagram Based on SHOIN(D)[J].Computer Engineering,2009,35(19):43-45. |
| |
| Authors: | CHEN Zhen-qing |
| |
| Affiliation: | (Department of Computer Science and Engineering, Hezhou University, Hezhou 542800) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
