软件工程中基于模型驱动架构的模型转换技术研究

论文摘要

模型驱动架构（Model-Driven Architecture,MDA）旨在提高软件的开发效率,它与面向构件和面向服务的软件体系结构以及基于中间件的分布软件开发环境相辅相成,已成为当前在异构环境中开发大型软件的有效途径,是目前软件工程领域的热点研究课题。模型驱动架构研究的是以模型为中心的软件开发方法,比起传统的以代码为中心的软件开发方法具有更贴近应用、层次更高的抽象等特点,通常由它开发的软件可以运行在异构的支撑平台上,能有效地应用于开发基于网络的各类大型复杂信息系统。模型转换是模型驱动架构中的核心技术,目前国内外许多研究机构围绕模型转换技术在软件开发中的应用展开了研究工作,并取得了多项有价值的成果。人们开发了多种模型转换语言,用于解决不同类型的模型转换应用需求;研究了元模型间的转换规则,并以此为规范自动生成模型间的转换代码;探索了不同应用领域内的代码生成技术,以提高领域相关软件的开发效率。但作为一项新兴的研究课题,模型转换技术在Web开发领域中的应用存在若干不足,如模型转换代码的重用较为困难,转换得到的代码框架尚需完善等。本文以电子商务等基于Web应用的软件开发为应用背景,围绕模型转换技术存在的以上不足展开研究。首先对相关概念进行了形式化定义,在此基础上重点对面向设计模式的模型转换方法、模型编织和元数据映射进行了深入研究,最后设计实现了Web应用开发平台WADP,验证了以上技术与方法的有效性。论文的主要成果有:1.基于MDA Guide、MOF和QVT三个标准,提出了一套有关模型转换概念的形式化定义,定义的概念包括模型、元模型、元元模型、模型转换、模型编织以及模型符合,构建了一种模型转换形式化框架,为研究模型转换技术提供了理论基础。2.设计模式描述了在软件设计过程中若干典型问题的核心解决方案,应用设计模式能使开发者复用该方案来解决同一类设计问题。设计模式常被用于软件系统的建模过程,以提高软件系统的设计质量和重用性。在模型中应用并维护设计模式是一种重复性工作,为在模型中自动应用桥接器、抽象工厂等设计模式,提出一种面向设计模式的模型转换方法。通过分析相应的规则特征,设计了一系列原子映射和模式映射,以及由此组合而成的模型转换代码模板。该模板能够生成基于扩展样式语言转换XSLT（Extensible Stylesheet Language Transformations）的模型转换代码,可实现软件模型中设计模式的自动应用。3.模型转换技术之间的异构性造成了模型转换代码重用的困难。本文提出一种基于QVT规范的模型转换编织框架QMTW,该框架能够在比模型层更高的抽象层次上描述转换规则,并支持OMG最新的模型转换规范。使用QMTW描述的转换规则可生成符合不同模型转换语言的代码,部分地消除了模型转换技术间的异构性。4.元数据是用来定义某一类数据规范的数据,它包含了数据的存储形式、含义及相关约束。通用的元数据映射技术掺杂了源数据和目标数据间的语义信息以及目标数据的结构信息,导致其映射代码难以自动生成。本文提出一种面向元数据映射的模型转换方法,它将元数据映射规则分为结构规则和语义规则两种。结构规则由目标元数据确定,语义规则使用模型编织框架QMTW描述,再通过模型编织工具生成相应的数据映射代码,解决了元数据映射代码的自动生成问题。5.设计并实现了基于模型编织和元数据映射技术的Web应用开发平台WADP。除拥有面向Web应用的各类建模工具和模型仓库、代码模板库等底层支撑设施外,WADP还具有动态可替换模型转换器和代码生成器。用户描述的业务模型能自动生成Web应用程序原型系统及后端数据库。利用该平台,开发了深圳碧金会所电子商务平台、.infor协同电子政务支撑平台等五个系统。应用表明,该平台能有效提高Web应用系统的开发和维护效率。

论文目录

• 目录
• 表目录
• 图目录
• 缩略语
• 摘要
• ABSTRACT
• 1 第一章 绪论
• 1.1 研究背景
• 1.1.1 应用背景
• 1.1.2 软件开发面临的问题
• 1.1.3 软件工程领域的新动向
• 1.2 MDA与模型转换研究现状
• 1.2.1 MDA简介
• 1.2.2 MDA的四个研究方向
• 1.2.3 模型转换技术介绍
• 1.2.4 相关研究机构和研究项目
• 1.2.5 国内相关研究
• 1.2.6 研究现状总结与分析
• 1.3 本文的工作
• 1.3.1 模型转换的形式化表示法
• 1.3.2 面向设计模式的模型转换方法研究
• 1.3.3 模型编织技术研究
• 1.3.4 元数据映射问题研究
• 1.3.5 模型转换技术在Web应用开发领域的应用
• 1.4 本文的组织
• 2 第二章 模型转换的形式化定义
• 2.1 引言
• 2.2 模型转换的相关定义
• 2.2.1 模型
• 2.2.2 元模型
• 2.2.3 元元模型
• 2.2.4 模型转换
• 2.2.5 模型编织
• 2.3 相关工作
• 2.4 本章小结
• 3 第三章 面向设计模式的模型转换方法研究
• 3.1 引言
• 3.2 面向设计模式的UML扩展
• 3.3 转换规则分析
• 3.3.1 转换中的关系
• 3.3.2 规则定义
• 3.4 方法实现
• 3.4.1 实现方法简介
• 3.4.2 转换流程
• 3.4.3 原子映射
• 3.4.4 模式映射
• 3.4.5 设计模式模板
• 3.5 应用实例
• 3.6 相关工作
• 3.7 本章小结
• 4 第四章 QMTW:一种模型转换的编织框架
• 4.1 引言
• 4.2 QVT架构
• 4.3 QMTW模型转换编织架构
• 4.3.1 QMTW概念
• 4.3.2 QMTW的抽象语法及语义
• 4.3.3 QMTW的具体语法
• 4.4 一个QMTW的实例
• 4.5 从QMTW到目标语言的转换
• 4.5.1 QMTW到Relation的转换定义
• 4.5.2 连接类型和代码模板
• 4.5.3 组织类型和代码模板
• 4.5.4 转换步骤
• 4.6 相关工作
• 4.7 本章小结
• 5 第五章 基于模型编织的元数据映射方法
• 5.1 引言
• 5.2 一个元数据映射实例
• 5.3 应用模型编织解决元数据映射问题
• 5.3.1 方法流程
• 5.3.2 结构代码生成
• 5.3.3 语义规则定义
• 5.4 应用实例
• 5.5 相关工作
• 5.6 本章小结
• 6 第六章 基于MDA的Web应用开发平台设计与实现
• 6.1 引言
• 6.2 系统总体设计
• 6.2.1 WADP开发框架
• 6.2.2 WADP平台结构
• 6.3 系统功能部件详解
• 6.3.1 系统层
• 6.3.2 元数据层
• 6.3.3 数据层
• 6.3.4 底层设施
• 6.4 系统实现
• 6.5 系统使用流程与应用实例
• 6.5.1 使用流程
• 6.5.2 应用实例
• 6.6 应用情况与效果分析
• 6.7 相关工作
• 6.8 本章小结
• 7 第七章 结束语
• 7.1 本文的主要工作和贡献
• 7.2 下一步的研究工作
• 8 致谢
• 9 攻读博士学位期间发表的学术论文
• 10 攻读博士学位期间参加的科研工作
• 11 参考文献
• 12 附录 Bridge模式的转换代码