模型驱动系统中模型转换技术的研究

摘要

2001年,OMG(国际对象管理组织)提出了MDA(模型驱动构架)。MDA的关键之处就是软件开发过程是由对软件系统的建模行为驱动的。MDA的目标是把业务和应用逻辑与底层的平台技术分离。目前虽然构建平台模型方面业内己经建立了相关标准,并提出了很多转换方法和提案,却没有形成统一的标准,因此,只能说模型间的相互转换技术尚处在探索阶段,还需进一步研究和讨论。所以本文将以MDA整体框架为起点,对MDA中的模型转换技术进行深入研究。
　　 首先,全面的介绍MDA的相关理论及技术,深入的阐述OMG定义的MDA的四个核心标准:UML,MOF,CWM,XMI。然后对现阶段PIM到PSM模型转换的各种方法进行讨论,包括它们的优点和不足。
　　 其次,对UML标准的子标准对象约束语言(OCL)进行详细介绍,包括OCL元模型与其在MDA中的主要用途等。由于OCL不但可以用于模型约束、查询,还可以用于定义模型转换规则和定义建模语言等,所以本文将结合OCL的特性分析其在MDA框架中的应用,然后提出一种基于UML和OCL的模型转换方法。
　　 然后,重点阐述基于UML和OCL的模型转换方法。包括定义转换原理和转换规则,利用元模型和对象约束语言分别去定义具体转换规则,以及给出相应的完整的模型转换框架,并给予详细说明。
　　 最后,通过一个高校排课系统对研究成果进行应用和验证。详细介绍了系统需求分析和总体设计,并基于Web的三层模式给出了此种方法从PIM到PSM模型转换的具体过程,说明了基于UML和OCL的模型转换方法的可行性。

目录

文摘

英文文摘

第1章 绪论

1.1 课题研究背景与意义

1.2 国内外研究现状

1.3 本文主要研究内容

1.4 论文结构组织

第2章 MDA与模型转换

2.1 MDA概述

2.1.1 MDA开发过程

2.1.2 MDA的核心标准

2.2 模型

2.3 模型转换概述

2.4 PIM到PSM模型转换的主要方法

2.4.1 手动转换方法

2.4.2 基于元模型的转换方法

2.4.3 结构驱动的模型转换方法

2.4.4 基于XSLT的模型转换方法

2.4.5 基于模式的模型转换方法

2.4.6 混合的模型转换方法

2.5 本章小结

第3章 基于OCL的模型转换

3.1 OCL简介

3.2 OCL元模型

3.3 OCL在MDA中的应用

3.3.1 OCL用于模型约束

3.3.2 OCL用于定义建模语言

3.3.3 OCL用于定义模型转换规则

3.3.4 OCL用于模型查询

3.4 基于OCL的模型转换

3.4.1 基本的OCL实现模型转换的方法

3.4.2 扩展的OCL实现模型转换的方法

3.5 本章小结

第4章 基于UML与OCL的模型转换方法研究

4.1 UML建模过程简介

4.2 基于UML的图形模型转换

4.2.1 基于UML的图形转换定义

4.2.2 转换的策略

4.3 转换规则

4.3.1 转换规则的定义

4.3.2 基于UML的图形模型转换规则

4.3.3 元模型表示的转换规则

4.3.4 转换规则的OCL定义

4.4 基于UML与OCL的模型转换框架

4.5 本章小结

第5章 应用实例-高校排课系统

5.1 系统分析

5.2 建立PIM类模型

5.3 模型变换路线

5.4 从PIM到PSM的转换

5.4.1 从PIM到SQL PSM的转换

5.4.2 从PIM到EJB组件PSM的转换

5.4.3 从PIM到Web组件PSM的转换

5.5 本章小结

结论

参考文献

攻读硕士学位期间发表的论文和取得的科研究成果

致谢

个人简历