基于MDA的模型转换研究

基于MDA的模型转换研究

论文摘要

自从上个世纪末以来,软件开发技术取得了快速发展,尤其引人注目的是面向对象技术中的UML(Unified Modeling Language,统一建模语言)建模技术,随着其不断研究发展,渐渐被许多公司、企业所认可和接受,然而还存在一些问题需要解决:第一,基于当前的UML技术所创建的系统模型是不可执行的,模型正确性及精准性很难得以保证,这样就导致前期需求分析以及设计中的错误、纰漏难以被发现,势必会给后期开发带来不可预知的风险。第二,在不同的平台环境上,针对相同的系统功能需求,创建模型的细节有很大差别,这样以来,系统的复用性就会在很大程度上降低。为了增强模型的验证能力,同时提高模型的复用性以及完成模型与实现技术的无关性,这就需要一种全新的建模技术来解决以上问题。MDA(Model Driven Architecture,模型驱动构架)作为一种模型驱动开发架构,通过建模行为来驱动软件开发过程。基于MDA的软件开发过程将需求分析与设计摆在了更加突出的位置。从高层次的抽象的平台独立模型变换到平台相关的模型,再由平台相关模型变换到底层的代码,都是依靠工具自动实现的。MDA的核心是模型转换,MDA的显著特点就是变换的自动化。当前,MDA在发展过程中还有一些问题,将PIM(Platform Independent Model,平台无关模型)自动变换到PSM(Platform Specific Model,平台相关模型)是当今亟待解决的重要问题之一。本文在全面介绍MDA的基础理论与相关技术后,分析并研究了基于MDA的软件开发方法的实质、开发过程、工作原理以及开发步骤,并在此基础上,深入研究了当前模型转换技术的定义和分类以及支持模型转换技术的MDA工具现状,并归纳总结了模型转换的目的及其重要意义,分析了元模型在MDA开发过程中的作用,提出了一套元建模方法,并利用该方法设计一个基于元模型的模型转换框架,然后使用由OCL(Object Constraint Language,对象约束语言)语言编写的模型转换规则,并将设计模式应用到PIM到PSM的模型转换中去,用模式在元模型层对模型转换进行定义,提出基于模式的PIM到PSM的模型转换方法。本文利用油料供应管理系统下的子系统OCRS(Oil Consume Regulate System,油料消耗调整系统)模块进行了实例验证,通过分析OCRS的业务模型,利用OptimalJ工具创建平台无关的UML模型,即通过PIM的UML模型图来描述系统的域模型,然后在更高的抽象层次上根据已经制定的转换方法,将PIM层的UML模型自动地转换到PSM层的EJB(Enterprise Java Beans)模型,验证了之前提出的元模型转换框架基础上的模型转换的方法,相当于对MDA的开发过程进行了实践,MDA的优良性能得到了展示。同时还与其它模型转换方法进行了归纳对比分析,最后,展望了模型转换技术的未来发展方向及趋势。

论文目录

  • 摘要
  • ABSTRACT
  • 第1章 绪论
  • 1.1 课题研究背景及意义
  • 1.1.1 研究背景
  • 1.1.2 研究意义
  • 1.2 国内外研究现状
  • 1.2.1 MDA 的国内外研究现状
  • 1.2.2 模型转换的研究现状
  • 1.3 课题研究的主要内容
  • 1.4 论文组织结构
  • 1.5 本章小结
  • 第2章 MDA 相关理论和开发过程
  • 2.1 模型驱动架构相关理论介绍
  • 2.1.1 MDA 框架
  • 2.1.2 统一建模语言UML
  • 2.1.3 元对象设施MOF
  • 2.1.4 XML 元数据交换XMI
  • 2.2 MDA 的模型
  • 2.2.1 计算独立模型(CIM)
  • 2.2.2 平台无关模型(PIM)
  • 2.2.3 平台相关模型(PSM)
  • 2.3 MDA 开发过程
  • 2.3.1 MDA 软件开发方法的实质
  • 2.3.2 基于MDA 的软件开发方法过程
  • 2.3.3 基于MDA 的软件开发步骤
  • 2.4 采用MDA 开发的优点
  • 2.4.1 提高生产效率
  • 2.4.2 增强互操作性
  • 2.4.3 便于维护
  • 2.4.4 增强可移植性
  • 2.4.5 MDA 的其它优点
  • 2.5 本章小结
  • 第3章 模型转换技术理论
  • 3.1 模型转换的定义
  • 3.2 转换规则的类别
  • 3.3 转换规则的重要性质
  • 3.4 模型转换的分类研究
  • 3.4.1 模型到模型的转换
  • 3.4.2 模型到代码的转换
  • 3.5 模型转换框架
  • 3.6 模型转换工具的分类
  • 3.7 模型转换的目的和意义
  • 3.8 本章小结
  • 第4章 元模型转换框架的设计
  • 4.1 元模型
  • 4.1.1 元模型在MDA 中的作用
  • 4.1.2 OMG 的四层元模型架构
  • 4.1.3 元模型在模型转换中的作用
  • 4.2 提出元建模的开发方法
  • 4.3 模型转换框架的设计
  • 4.4 对象约束语言OCL 的研究
  • 4.4.1 OCL 及其特性
  • 4.4.2 OCL 表达式
  • 4.4.3 标准OCL 类型
  • 4.5 模型转换规则的表示
  • 4.6 提出基于模式的模型转换方法
  • 4.7 本章小结
  • 第5章 模型转换的实现
  • 5.1 实验需求分析
  • 5.2 实验设计
  • 5.2.1 工具简介
  • 5.2.2 EJB 技术简介
  • 5.2.3 业务建模
  • 5.3 实验的实现
  • 5.3.1 UML 层模型到关系模型的转换
  • 5.3.2 UML 到EJB 模型的转换
  • 5.4 实验结果分析
  • 5.5 本章小结
  • 第6章 结论
  • 参考文献
  • 缩略语词汇表
  • 致谢
  • 攻读硕士学位期间的研究成果
  • 相关论文文献

    标签:;  ;  ;  ;  

    基于MDA的模型转换研究
    下载Doc文档

    猜你喜欢