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

面向构件部署与配置的模型语义保障机制研究与实现

作　者: 崔巍
导　师: 史殿习
学　校: 国防科学技术大学
专　业: 计算机科学与技术
关键词: 构件 部署与配置 模型驱动 建模语言 模型语义
分类号: TP311.52
类　型: 硕士论文
年　份: 2009年
下　载: 11次
引　用: 0次
阅　读: 论文下载
 

内容摘要


作为软件复用的一种重要手段,构件技术成功的将软件开发过程的焦点由传统从零开始的代码编写转移到对已有构件的组装和配置,这就对传统以代码为中心的软件开发工具提出了新的要求。如何为开发者提供有效便捷的组装与配置工具,已成为构件化开发的研究热点。模型驱动开发是一种利用模型来简化系统开发的新型软件开发方法。结合成熟的模型转换和代码生成技术,模型驱动开发过程能够成功地屏蔽掉底层的技术细节,使得开发者能够更为专注的面对所要解决的问题。当前,基于模型驱动思想,以可视化建模的方式实现构件软件的配置与部署已经成为一种提高构件开发效率的有效手段。在以上两个背景之下,本文基于已有的研究成果,从领域相关建模语言的角度出发,重点研究了如何通过有效的模型语义保障机制,提高现有基于模型的配置部署工具的效率。文章的具体工作包括:(一)深入研究了领域相关建模的基本概念和关键技术。重点研究了领域相关建模中的语义概念和机制,从模型的静态语义和动态语义两个层面研究了现有语义保障技术。(二)提出了一个遵循OMG部署与配置规范的语义框架VDCSF。该框架在抽象层面上定义了面向部署与配置工具进行模型语义保障的基础结构和公共机制,层次化的定义了部署与配置建模环境中的静态语义约束机制和动态语义映射机制。(三)基于VDCSF框架,设计和实现了部署与配置建模环境的静态语义约束部件和动态语义映射部件。静态语义约束部件基于对象约束语言实现了模型的构建时验证功能,确保了用户模型的有效性;动态语义映射部件以模型解释的方式实现了部署与配置相关元数据的自动生成。(四)构造一个实际用例,验证了语义部件的功能。

全文目录


摘要  9-10
ABSTRACT  10-11
第一章 绪论  11-18
  1.1 课题背景  11
  1.2 背景技术  11-15
    1.2.1 构件化软件开发方法  11-12
    1.2.2 模型驱动开发技术  12-15
  1.3 课题基础  15
  1.4 研究动机  15-16
  1.5 研究内容与贡献  16
  1.6 论文结构  16-18
第二章 相关技术研究  18-36
  2.1 领域相关建模技术研究  18-23
    2.1.1 领域相关建模  18-20
    2.1.2 元建模技术现状  20-23
  2.2 领域建模语义机制研究  23-35
    2.2.1 领域建模语言模型  23-26
    2.2.2 语义域及语义划分  26-27
    2.2.3 静态语义约束技术  27-32
    2.2.4 动态语义映射技术  32-35
  2.3 本章小结  35-36
第三章 部署与配置语义框架  36-44
  3.1 VDCSF 设计目标  36-38
    3.1.1 总体目标  36-37
    3.1.2 规范依据  37-38
  3.2 VDCSF 体系结构  38-41
    3.2.1 总体框架  38-39
    3.2.2 静态语义约束层  39-40
    3.2.3 动态语义映射层  40-41
    3.2.4 VDCSF 与MOF 对应关系  41
  3.3 VDCSF 底层支撑环境  41-43
  3.4 本章小结  43-44
第四章 静态语义约束模块的设计与实现  44-52
  4.1 OCL 语义约束模块的设计  44-47
    4.1.1 语义约束提取  44-45
    4.1.2 OCL 约束表达  45-46
    4.1.3 约束检查时机  46-47
  4.2 OCL 语义约束模块的实现  47-51
    4.2.1 构件实现元模型  47-49
    4.2.2 构件组装元模型  49-51
  4.3 本章小结  51-52
第五章 动态语义解释部件的设计与实现  52-62
  5.1 模型解释器的设计  52-57
    5.1.1 解释器功能划归  52-54
    5.1.2 解释器关键技术  54-57
  5.2 模型解释器的实现  57-61
    5.2.1 IDL/CIDL 生成器  58-60
    5.2.2 域生成器  60-61
  5.3 本章小结  61-62
第六章 实例验证  62-67
  6.1 实例场景  62-63
  6.2 实例构建  63-65
  6.3 语义模块验证  65-66
    6.3.1 建模时纠错  65-66
    6.3.2 代码生成  66
  6.4 本章小结  66-67
第七章 总结与展望  67-68
致谢  68-69
参考文献  69-72
作者在学期间取得的学术成果  72

相似论文

  1. 具有变截面臂架的格构式起重机结构计算分析方法研究,TH21
  2. 面向SMDA的服务建模方法及工具实现,TP311.52
  3. 基于特征的软构件建模方法及其在VMI管理系统中的应用,TP311.52
  4. 飞行模拟中飞行管理计算机系统CDU组件设计与仿真,TP391.9
  5. 军队后勤物资管理系统设计与实现,TP311.52
  6. 闽江河口芦苇地上不同构件枯落物分解及主要影响因子研究,S154.4
  7. 基于云模型的软件可信性评估模型,TP311.53
  8. C/S模式MIS软件可复用构件的研究与开发,TP311.52
  9. 面向Seam框架的PIM到PSM转换研究,TP311.52
  10. 基于Web的事务管理系统的研究与实现,TP311.52
  11. 看守所信息管理系统的构件化设计与实现,TP311.52
  12. 复合控制型有源电力滤波器的研究,TN713.8
  13. 企业级软件组件质量保障与快速部团策略的研究,TP311.53
  14. 基于PLSA语义聚类的web服务发现方法,TP393.09
  15. 安顺传统民居装饰构件造型与应用研究,TU238
  16. 一个医院信息系统的设计与实现,TP311.52
  17. 一个工程物资管理系统的设计与实现,TP311.52
  18. 构件垂直搜索引擎的关键技术研究,TP391.3
  19. 基于本体的智能电网知识检索系统,TM76
  20. 安全相关软件的设计方法研究及应用,TP311.52
  21. 带肋钢管混凝土构件的受力机理研究,TU398.9

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com