Lanzhou University of Technology Institutional Repository （LUT_IR）
| 题名 | 基于本体推理的UML模型语义检查 |
| 作者 | 臧凤奎 |
| 学位类型 | 硕士 |
| 导师 | 李明 |
| 答辩日期 | 2006 |
| 学位授予单位 | 兰州理工大学 |
| 学位名称 | 工学硕士 |
| 学位专业 | 计算机软件与理论 |
| 关键词 | 本体 UML模型 形式化方法 动态描述逻辑 Tableau算法 |
| 摘要 | 统一建模语言(Unified Modeling Language, UML)已经被面向对象建模领域公认为事实上的工业标准。使用UML描述的软件模型，表达简洁、直观，便于建模人员进行交流沟通。然而，这种图形化的语言缺乏精确的形式化语义基础，由此，可能导致建模过程中产生不一致性等问题。目前虽然已经有很多工作致力于UML精确性研究和UML模型的不一致性管理等研究，但是，它们主要从局部给出了个别UML图形建模的解决办法，不能从根本上解决问题。 基于本体的精确化特点和自推理功能，我们以本体作为UML模型不一致检查的语义层次基础，根据UML模型和本体的相似性特点，把UML模型转化为本体模型，通过本体的推理功能，以此来检查UML模型中的语义不一致性等问题。 |
| 其他摘要 | Unified Modeling Language (UML) has been de-facto industrial standard in the field of object-oriented software engineering. Software models described by UML are concise and clear, which is easy to communicate with each other among modelers. However, this kind if graphical language is ill grounded in formalization, which may lead to inconsistency or other semantic issues. At the present time, there is a great deal of research on UML accuracy and UML model inconsistency management, but these studies only gave some methods of individual graphics from the part and and can not solve the problem fundamentally. Based on the precision characteristic and reasoning functions of ontology, we use ontology as the semantic foundation of checking the inconsistency of UML models, and transform UML models into ontology models according to the similarity between them, so as to check the semantic inconsistency of UML models. |
| 页数 | 61 |
| 语种 | 中文 |
| 学号 | 062081202011 |
| 文献类型 | 学位论文 |
| 条目标识符 | https://ir.lut.edu.cn/handle/2XXMBERH/97481 |
| 专题 | 兰州理工大学 |
| 作者单位 | 兰州理工大学 |
| 第一作者单位 | 兰州理工大学 |
| 推荐引用方式 GB/T 7714 | 臧凤奎. 基于本体推理的UML模型语义检查[D]. 兰州理工大学,2006. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 查看访问统计 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [臧凤奎]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [臧凤奎]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [臧凤奎]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论