| 题名 | 基于本体推理的UML模型语义检查 |
| 作者 | 臧凤奎 |
| 答辩日期 | 2006 |
| 文献子类 | 硕士 |
| 授予单位 | 兰州理工大学 |
| 导师 | 李明 |
| 关键词 | 本体 UML模型 形式化方法 动态描述逻辑 Tableau算法 |
| 学位名称 | 工学硕士 |
| 学位专业 | 计算机软件与理论 |
| 英文摘要 | 统一建模语言(Unified Modeling Language, UML)已经被面向对象建模领域公认为事实上的工业标准。使用UML描述的软件模型，表达简洁、直观，便于建模人员进行交流沟通。然而，这种图形化的语言缺乏精确的形式化语义基础，由此，可能导致建模过程中产生不一致性等问题。目前虽然已经有很多工作致力于UML精确性研究和UML模型的不一致性管理等研究，但是，它们主要从局部给出了个别UML图形建模的解决办法，不能从根本上解决问题。 基于本体的精确化特点和自推理功能，我们以本体作为UML模型不一致检查的语义层次基础，根据UML模型和本体的相似性特点，把UML模型转化为本体模型，通过本体的推理功能，以此来检查UML模型中的语义不一致性等问题。 |
| 语种 | 中文 |
| 页码 | 61 |
| 内容类型 | 学位论文 |
| 源URL | [http://ir.lut.edu.cn/handle/2XXMBERH/97481]  |
| 专题 | 兰州理工大学 |
| 作者单位 | 兰州理工大学 |
| 推荐引用方式 GB/T 7714 | 臧凤奎. 基于本体推理的UML模型语义检查[D]. 兰州理工大学. 2006. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论