基于模式的模型变换方法

论文摘要

OMG提出的模型驱动架构(MDA)已经逐渐地成为了学术界和软件行业瞩目地焦点。MDA定义了一种信息系统规约说明的方法,将系统的业务规约从系统的针对其具体平台的实现细节中分离出来,并且提供一套以模型表示的构建规约的指南。为了使MDA能够达到发挥其全部潜能的目标,具备一个强大的操作模型和变换模型的能力是关键,最明显的模型变换就是从平台独立模型变换到平台相关模型。由于认识到了它的重要性,OMG发表了提议请求(RFP),其目的就是要发现一种合适的模型变换的机制。文章首先探讨了目前针对OMG的RFP标准要求所提出的各种主要解决方案,并对它们的技术的特点进行了分析与比较。作者在借鉴这些方案的优点的基础上,提出了一个新的模型变换的框架方案。该方案将变换类型分为了两个不同的子类型:关系和映射。这个技术使得此方案的变换能够兼容多种不同的变换类型,这也使得变换在系统生命周期内改变自身的类型成为可能。模式语言在模型变换中被广泛使用,比如Perl和XSL。我们的解决方案则为关系和映射定义了一个标准的模式匹配语言,为关系定义了一个模式替代语言,它能够使得许多规约利用此模式语言来实现可运行性。此外我们定义了一个图形语法来表达模式。并且我们将变换定义为上层构造和下层构造两部分,分别适用于最终用户和工具。我们通过一个UML模型到XML的模型转换的例子来验证我们方案的可行性。论文最后指出了模型变换技术的未来发展趋势和有待进一步研究的方向。

论文目录

• 第一章 绪论
• 1.1 MDA 介绍
• 1.1.1 MDA 产生背景
• 1.1.2 MDA 概述
• 1.1.3 MDA 相关标准
• 1.2 MOF 2.0 QVT 介绍
• 1.2.1 变换相关术语
• 1.2.2 变换场景
• 1.2.3 MOF 2.0 QVT 需求概要
• 1.2.4 现有方案比较
• 1.3 论文工作
• 第二章 改进方案的框架
• 2.1 变换
• 2.2 关系和映射
• 2.3 规约和实现语言
• 2.4 关系和映射语言
• 2.4.1 模式匹配和域
• 2.4.2 映射和关系的区别
• 2.5 集成先期存在的变换
• 2.6 变换重用
• 2.6.1 变换组合
• 2.6.2 子变换
• 2.7 分层的变换定义方法
• 第三章 变换定义的设计
• 3.1 概述
• 3.2 上层构造
• 3.2.1 概述
• 3.2.2 上层构造例子
• 3.2.3 创建映射
• 3.2.4 元模型
• 3.2.5 文本语法
• 3.2.6 图形符号
• 3.3 下层构造
• 3.3.1 概述
• 3.3.2 模型
• 3.3.3 值
• 3.3.4 关系
• 3.3.5 映射
• 3.3.6 抽象语法
• 3.4 上层构造转化
• 3.4.1 概述
• 3.4.2 转化
• 第四章 模型变换实例
• 4.1 实例模型
• 4.2 创建变换
• 4.3 变换组合
• 4.4 验证
• 4.5 DTD 与UML 图的关系
• 4.6 映射
• 4.7 小结
• 第五章 结论与展望
• 参考文献
• 发表论文和科研情况说明
• 致谢