| 基于本体的UML类图语义推理 |
| |
| 引用本文： | 刘嘉,童格明,李明,臧凤奎.基于本体的UML类图语义推理[J].计算机应用与软件,2011,28(4). |
| |
| 作者姓名： | 刘嘉 童格明 李明 臧凤奎 |
| |
| 作者单位： | 兰州理工大学计算机与通信学院,甘肃,兰州,730050 |
| |
| 摘 要： | 统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。
|
| 关 键 词： | 本体 UML类图 形式化 描述逻辑 |
ONTOLOGY-BASED SEMANTICS REASONING OF UML CLASS DIAGRAM |
| |
| Liu Jia,Tong Geming,Li Ming,Zang Fengkui.ONTOLOGY-BASED SEMANTICS REASONING OF UML CLASS DIAGRAM[J].Computer Applications and Software,2011,28(4). |
| |
| Authors: | Liu Jia Tong Geming Li Ming Zang Fengkui |
| |
| Affiliation: | Liu Jia Tong Geming Li Ming Zang Fengkui(School of Computer and Communication,Lanzhou University of Technology,Lanzhou 730050,Gansu,China) |
| |
| Abstract: | Unified modelling language(UML) is a semi-formal language,its semantics sector is described with natural language,which leads to the semantic inconformity in the process of modelling.The paper presents a formal method of UML class diagram based on detailed comparison of UML class diagram and ontology.Firstly we transform the UML class diagram to corresponding ontology;then we reason the transformed ontology according to the reasoning algorithm of Tableau provided by the ontology,and detect the inconformity ... |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
