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

基于OCL的MDA模型转换方法与规则库应用研究

作　者: 杜浩
导　师: 蒋波
学　校: 大连海事大学
专　业: 计算机软件与理论
关键词: MDA 模型转换对象约束语言转换规则库规则树
分类号: TP311.52
类　型: 硕士论文
年　份: 2007年
下　载: 196次
引　用: 7次
阅　读: 论文下载

内容摘要

模型驱动架构(MDA)提供了一种使用模型来指导系统的设计、开发和维护的方法，它特别关注与技术是否相关的概念间的分离，以提高软件的可重用性和可移植性。对象约束语言(OCL)被定义为UML标准的子标准，不仅可用于模型约束、查询，还可以用于定义模型转换规则和定义建模语言。本文以MDA整体框架为起点，分类研究了现阶段各种模型转换方法和模型转换语言，结合OCL的特性分析了其在MDA框架中的应用，并在此基础上重点研究了以下三方面内容：首先，根据OCL声明式语言的特点，选取三个角度对其进行扩展，从而设计产生了混合式模型转换语言Hybrid-OCL，详细定义了其语法和语义，并通过具体转换实例验证了这种扩展的可行性。Hybrid-OCL具备表述动态语义的能力；能够存储转换信息，实现对转换同步性的支持；Hybrid-OCL还支持完整转换程序框架的定义。然后，把复用的思想融入到模型转换过程中，结合模式和领域工程理论，提出了转换规则库的概念，并针对可复用规则的领域特点，定义了一种特殊的数据结构——“规则树”。最后，设计并实现了基于Hybrid-OCL的转换规则库管理原型系统，该系统可用于规则的管理、校验和检索，并为规则的复用提供了一个平台。针对“规则树”的特殊结构，定义了相应的规则检索、规则添加等算法，并提供了规则适配器、规则树组织优化等机制。本系统能较好的支持转换规则的复用，从而有效的提高模型转换的效率。

全文目录

摘要  5-6
Abstract  6-9
第1章绪论  9-13
  1.1 课题来源  9
  1.2 研究背景及意义  9-10
    1.2.1 模型驱动架构  9
    1.2.2 对象约束语言与MDA  9-10
    1.2.3 国内外的研究现状  10
  1.3 课题的研究内容  10-11
  1.4 论文的组织结构  11-13
第2章 MDA与模型转换的研究  13-25
  2.1 模型驱动架构  13-15
    2.1.1 MDA框架  13-14
    2.1.2 模型成熟度  14
    2.1.3 MDA研究现状  14-15
  2.2 模型转换方法  15-20
    2.2.1 模型转换的概念  15-16
    2.2.2 模型转换的层次  16-17
    2.2.3 模型转换框架  17-18
    2.2.4 模型转换方法分类  18-20
  2.3 模型转换语言  20-23
    2.3.1 模型转换语言的期望特性  20-21
    2.3.2 现有的模型转换语言  21-23
  2.4 现阶段模型转换中存在的问题  23-25
第3章对象约束语言及其在MDA中的应用  25-34
  3.1 对象约束语言OCL  25-28
    3.1.1 OCL的特性  25-26
    3.1.2 OCL的元模型  26-27
    3.1.3 OCL的支持工具  27-28
  3.2 OCL在MDA框架中的应用  28-32
    3.2.1 用OCL描述模型约束  28-29
    3.2.2 OCL用于模型查询  29-30
    3.2.3 用OCL定义模型转换规则  30
    3.2.4 OCL定义建模语言  30-32
  3.3 OCL存在的问题  32-34
第4章基于扩展OCL的模型转换  34-51
  4.1 基于OCL的模型转换语言概述  34-35
    4.1.1 OCL作为模型转换语言的理论基础  34-35
    4.1.2 基于OCL的模型转换语言研究现状  35
  4.2 对象约束语言的扩展  35-46
    4.2.1 OCL的扩展Hybrid-OCL  35-36
    4.2.2 Hybrid-OCL的抽象语法与语义  36-41
    4.2.3 Hybrid-OCL的具体语法  41-46
  4.3 基于HYBRID-OCL的模型转换  46-51
    4.3.1 模型转换程序的表示法  46-48
    4.3.2 模型转换实例  48-51
第5章基于HYBRID-OCL的转换规则库管理系统的设计与实现  51-67
  5.1 转换规则库管理系统的需求分析  51
  5.2 OTMS的理论基础  51-54
    5.2.1 模式与模型转换  51-53
    5.2.2 领域模型与模型转换  53-54
  5.3 OTMS的设计与实现  54-67
    5.3.1 系统的整体设计  54-55
    5.3.2 系统实现技术  55-56
    5.3.3 OTMS中转换规则的组织形式  56-60
    5.3.4 各功能模块的设计与实现  60-67
第6章结论  67-69
  6.1 工作总结  67
  6.2 研究展望  67-69
参考文献  69-73
攻读学位期间公开发表论文  73-74
致谢  74-75
研究生履历  75

基于OCL的MDA模型转换方法与规则库应用研究

内容摘要

全文目录

相似论文