学位论文 > 优秀研究生学位论文题录展示

面向MDA的模型变换可追溯性与增量一致性研究

作　者: 牟进城
导　师: 张文燚
学　校: 哈尔滨工程大学
专　业: 软件工程
关键词: 可追溯性增量一致性模型变换 MDA
分类号: TP311.5
类　型: 硕士论文
年　份: 2011年
下　载: 3次
引　用: 0次
阅　读: 论文下载

内容摘要

模型驱动架构MDA是由国际对象管理集团OMG定义的一个软件开发框架,以实现可重用性、可移植性和生产效率的提高。MDA是开发应用和编写说明文档的一种新型方式,它以模型为中心,开发过程则是由对软件系统的建模行为驱动的,因此MDA的核心研究内容是模型表示和模型变换。模型的表示一般基于UML,而模型变换仍然是众多机构和厂家的研究热点。本文首先分析当前模型变换的发展现状,之后介绍MDA架构的基本思想、原理、愿景以及模型变换的特点和值得追求的特性,并根据当前的实际情况需要指出当前模型变换存在的问题,进而指出为模型变换增加特性的重要性。接着,分析MDA模型变换的基本形式,构建从映射角度定义的模型表示与变换,提出为模型变换增加可追溯性的策略及相应的算法,包括变换信息的组织、变换信息的采集方式、变换信息的存储以及如何应用可追溯性。然后,从用户对增量一致性的要求出发,提出三种为模型变换增加增量一致性的策略以及相应的算法。由于增量一致性依赖于可追溯性,从而对可追溯性提出更高的要求,因而在这里提出可追溯性的更新策略。最后,在eclipse社区的EMF框架基础上,以类模型到关系模型的变换为例子,定义增加特性后的变换规则,构建增加可追溯性与增量一致性后的模型变换,并进一步给出模型变换后产生的变换对象的使用,以验证增加特性后的效果。

全文目录

摘要 5-6Abstract 6-9第1章绪论 9-15 1.1 引言 9-10 1.2 研究背景及意义 10-13 1.2.1 模型驱动架构 10 1.2.2 国内外的研究现状 10-12 1.2.3 研究意义 12-13 1.3 论文研究内容 13-14 1.4 论文的组织结构 14-15第2章 MDA框架及模型变换 15-23 2.1 模型 15-18 2.1.1 模型的概念 15-16 2.1.2 模型分类 16-17 2.1.3 平台 17-18 2.2 模型变换 18-20 2.2.1 模型变换 18 2.2.2 元模型与模型变换 18-19 2.2.3 模型变换方法 19-20 2.3 MDA框架 20-21 2.3.1 MDA的完整框架 20-21 2.3.2 MDA规范 21 2.4 关于模型变换的更多信息 21-22 2.4.1 领域不相关 21-22 2.4.2 值得追求的四个特性 22 2.4.3 作为对象的模型变换 22 2.5 本章小结 22-23第3章可追溯性 23-33 3.1 变换的基本形式 23-27 3.1.1 基于元模型变换基本形式 23-24 3.1.2 模型元素映射 24-27 3.2 为变换增加可追溯性 27-31 3.2.1 增加额外信息 27-28 3.2.2 变换信息的结构 28-29 3.2.3 变换信息的收集算法 29-31 3.3 可追溯性对象的使用 31 3.4 本章小结 31-33第4章增量一致性 33-45 4.1 增量一致性 33-35 4.1.1 特点 33-34 4.1.2 对模型的改动 34-35 4.2 为变换增加增量一致性 35-41 4.2.1 更新PIM模型 35-36 4.2.2 更新变换规则 36-37 4.2.3 更新映射关系 37-41 4.3 变换对象 41-42 4.4 更新变换的可追溯性对象 42 4.5 应用增量一致性 42-44 4.6 本章小结 44-45第5章增加特性后的模型变换实例 45-59 5.1 类模型到关系模型的变换 45-48 5.1.1 类元模型与类模型 45-47 5.1.2 关系元模型与关系模型 47-48 5.2 模型变换 48-57 5.2.1 原始的模型变换 48-52 5.2.2 增加可追溯性 52-54 5.2.3 增加增量一致性 54-57 5.3 验证变换特性 57-58 5.4 本章小结 58-59结论 59-60参考文献 60-63攻读硕士学位期间发表的论文和取得的科研成果 63-64致谢 64

面向MDA的模型变换可追溯性与增量一致性研究

内容摘要

全文目录

相似论文