基于MDA的软件开发方法研究与应用

论文摘要

以基于MDA的软件开发方法为主要研究内容,系统分析并总结了MDA产生背景、意义及国内外研究现状,剖析了主要思想和优缺点,提出了目前仍然存在的一些问题和解决方案。研究了MDA基本理论、核心技术,对模型转换技术进行了分析和总结。具体阐述了MDD,引入了MDV,对MDA进行了扩展以支持模型的早期验证,实现了设计和验证的一体化。为适应MDD,对传统的RUP加以改进,使用xUML和ASL建立了校园一卡通系统的MDA基本模型,并最终生成PSM和系统代码,进一步对MDA思想在实际应用中遇到的问题进行了深入的研究和探索。最后,给出了本文有待继续研究的内容并预测了MDA未来的发展趋势。

论文目录

• 摘要
• ABSTRACT
• 第一章 引言
• 1.1 选题背景及其意义
• 1.1.1 MDA 的产生背景
• 1.1.2 MDA 产生的意义
• 1.2 国内外研究概况
• 1.2.1 国外研究动态
• 1.2.2 国内研究现状
• 1.3 目前存在的问题
• 1.4 论文的主要工作及组织结构
• 第二章 基本理论和相关技术
• 2.1 基本概念
• 2.1.1 模型
• 2.1.2 模型驱动
• 2.1.3 可执行UML（xUML）
• 2.1.4 平台
• 2.2 MDA 中的主要模型
• 2.2.1 计算无关模型
• 2.2.2 平台无关模型
• 2.2.3 平台相关模型
• 2.2.4 平台相关实现
• 2.3 MDA 基本组成结构
• 2.4 MDA 的核心标准与技术
• 2.4.1 统一建模语言UML
• 2.4.2 元对象设施MOF
• 2.4.3 公共仓库元模型CWM
• 2.4.4 XML 元数据交换XMI
• 2.4.5 其他技术
• 2.4.5.1 对象约束语言OCL（Object Constraint Language）
• 2.4.5.2 动作规约语言ASL（Action Specification Language）
• 2.5 MDA 的建模体系
• 2.6 小结
• 第三章 MDA 模型转换
• 3.1 模型转换的定义
• 3.2 模型转换特征模型
• 3.3 模型转换方法
• 3.3.1 模型－代码的转换
• 3.3.1.1 基于访问式方法
• 3.3.1.2 基于模板的方法
• 3.3.2 模型－模型的转换
• 3.3.2.1 直接操作方法
• 3.3.2.2 利用XSLT 进行模型转换
• 3.3.2.3 基于图文法的转换
• 3.3.2.4 基于模式的模型转换
• 3.3.2.5 基于关系代数的方法
• 3.3.2.6 形式化的UML 类图转换语言
• 3.3.2.7 利用xUML 和UML ASL 进行模型转换
• 3.3.2.8 模型转换技术的展望
• 3.4 转换规则的组织形式
• 3.5 模型转换规则应用举例
• 3.6 小结
• 第四章 模型驱动开发MDD
• 4.1 MDD 过程
• 4.2 HIDOORS 中的MDV
• 4.2.1 MDA 扩展结构
• 4.2.2 HIDOORS 模型驱动验证过程
• 4.2.3 测试模型约束
• 4.2.4 验证模型的实现
• 4.3 MDD 中的验证和运行时平台
• 4.3.1 平台类型的分析
• 4.3.2 标注对平台验证的作用
• 4.3.3 处理设计老化问题
• 4.4 小结
• 第五章 MDA 方法的应用
• 5.1 工具的选择
• 5.1.1 Rational Rose
• 5.1.2 Delphi 2006
• 5.1.3 PowerDesigner 12
• 5.2 系统介绍
• 5.3 建立系统CIM
• 5.3.1 初始域图的建立
• 5.3.1.1 不适合可执行建模的域
• 5.3.1.2 系统域图
• 5.3.2 系统用例图及用例文档
• 5.3.2.1 发卡中心用例
• 5.3.2.2 结算中心用例
• 5.3.2.3 经营管理中心用例
• 5.4 建立PIM
• 5.4.1 在单个域中建模
• 5.4.1.1 发卡中心
• 5.4.1.2 结算中心
• 5.4.1.3 经营管理中心
• 5.4.1.4 公共控件
• 5.4.1.5 数据库模型
• 5.4.2 PIM 集成和测试
• 5.5 生成PSM 和系统代码
• 5.6 小结
• 第六章 总结和展望
• 6.1 论文工作总结
• 6.1.1 取得的成果
• 6.1.2 有待进一步研究的内容
• 6.2 MDA 未来展望
• 参考文献
• 致谢
• 在学期间发表的学术论文和参加科研情况