学位论文 > 优秀研究生学位论文题录展示
UML顺序图的形式化描述方法研究
作 者: 阮彦锐
导 师: 李明
学 校: 兰州理工大学
专 业: 计算机应用技术
关键词: 描述逻辑 计算树逻辑 形式化 UML 顺序图
分类号: TP311.52
类 型: 硕士论文
年 份: 2011年
下 载: 45次
引 用: 0次
阅 读: 论文下载
内容摘要
统一建模语言UML是在多种面向对象建模方法联合的基础上发展而来的,由于其概念明确,图形结构清晰,建模方法简洁,易于掌握和使用,且不依赖于特定的软件开发过程,于1997年被对象管理组织OMG采纳为建模语言规范,并逐渐成为了实际的工业标准。但是UML是半形式化的。UML的语法结构采用了形式化的规约,语义部分则是用自然语言描述的。这种共存的形式导致uML语义的不一致性,容易产生歧义,使得相关工具对该语言的支持只能限制在语法是否正确的检查层次上,而无法对所定义模型的正确性和一致性进行严格的分析和检验。这可能会导致一个含有错误设计的模型在软件设计和开发的过程中被使用,从而降低软件开发的效率和质量,甚至可能会造成整个软件项目的失败。形式化方法则是基于严格的数学推理的方法,是一种精确的、无二义的形式规约准则,为模型的准确理解提供严格的数学基础,这对提高软件的自动代码生成和进行可靠的软件开发有着非常重要的意义。本文以uML顺序图为研究对象,采用描述逻辑和计算树逻辑相结合的方法,对uML顺序图进行了形式化研究,提高uML顺序图语义的精确性。本文首先在总结前人进行UML形式化研究的基础上,比较了各种形式化方法的异同点,分析了其中一些方法的不足和缺陷,同时详细比较了uML和描述逻辑的异同点。其次,针对描述逻辑在表示动态和时态知识的不足和计算树逻辑在表示静态知识的缺陷以及二者存在互补的特点,采用了将二者进行结合的形式化描述方法,并对该形式化方法进行了详细的叙述和说明。最后,利用该形式化方法对UML的顺序图进行形式化研究,验证了该形式化方法的可行性,并对UML顺序图的静态和动态语义进行了检测。
|
全文目录
摘要 7-8 Abstract 8-9 插图索引 9-10 附表索引 10-11 第1章 绪论 11-20 1.1 课题研究背景及意义 11-12 1.2 形式化方法 12-17 1.2.1 形式化方法概述 12-14 1.2.2 软件形式化研究 14-16 1.2.3 UML 形式化研究现状 16-17 1.3 存在的问题 17-18 1.4 本文的主要工作 18-19 1.5 论文组织结构 19-20 第2章 UML 顺序图和相关概念 20-26 2.1 面向对象模型与基本概念 20-22 2.2 面向对象建模语言——UML 22-23 2.3 UML 的重要视图—— 顺序图 23-25 2.4 本章小结 25-26 第3章 描述逻辑和计算树逻辑 26-39 3.1 描述逻辑 26-35 3.1.1 描述逻辑的起源及发展 26-27 3.1.2 描述逻辑的语法和语义 27-31 3.1.3 描述逻辑的推理 31-33 3.1.4 描述逻辑ALCQI 33-35 3.2 计算树逻辑 35-38 3.2.1 克里普克结构 35 3.2.2 计算树逻辑的语法 35-37 3.2.3 计算树逻辑的语义 37-38 3.3 本章小结 38-39 第4章 UML 顺序图形式化 39-45 4.1 描述逻辑与UML 的异同点 39-40 4.2 形式系统ACLQI-CTL 40-42 4.2.1 模型和语义 40-41 4.2.2 公式的可满足性 41-42 4.3 ALCQI-CTL 形式化UML 顺序图 42-44 4.4 UML 顺序图特性检测 44 4.5 本章小结 44-45 总结与展望 45-46 参考文献 46-51 致谢 51-52 附录A 攻读硕士学位期间所发表的论文 52
|
相似论文
- 中小企业进销存管理系统的研究与设计,TP311.52
- UML模型到XMI的映射方法研究,TP311.5
- 基于模型的Web测试技术研究与应用,TP311.53
- 基于形式化UML测试序列生成方法研究,TP311.53
- 基于分布式描述逻辑的本体模块化构建方法研究,TP391.1
- 面向Seam框架的PIM到PSM转换研究,TP311.52
- 基于UML的体育场馆管理系统的分析、设计与实现,TP311.52
- 排课管理系统的设计与实现,TP311.52
- 振道科技人力资源管理系统,TP311.52
- 基于PDM的金融机具行业项目管理系统的研究与开发,TP311.52
- 永康市计生管理系统的设计与实现,TP311.52
- 教育局OA系统设计与实现,TP311.52
- 高校教务管理系统与实现,TP311.52
- 一个基于UML的提案管理系统的设计与实现,TP311.52
- 工程项目管理系统的设计与实现方法研究,TP311.52
- 面向家庭的远程健康监护系统的设计与研究,TP311.52
- SoS中框架方法的形式化研究,TP393.09
- 应急预案的形式化建模与决策规划,N945.1
- 交通运输服务的GPS机动车监控系统的设计与实现,TN967.1
- 宜春学院学生就业管理系统的设计与实现,TP311.52
- 中小型物流企业配送管理系统的设计与实现,TP311.52
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|