声明
目 录
第一章 绪论
1.1 研究背景与问题的提出
1.2 国内外研究现状
1.2.1 相关概念及其定义
1.2.2 传统的仿真模型工程
1.2.3 工程化仿真建模技术
1.2.4 研究现状小结
1.3 研究内容与组织结构
1.3.1 研究内容与创新点
1.3.2 组织结构
第二章 基于本体元建模的语义标识技术
2.1 本体元建模基本概念
2.1.1 模型与本体
2.1.2 元模型
2.1.3 本体元模型
2.2 本体元建模与仿真模型语义可组合
2.2.1 仿真模型语义可组合的两种机制
2.2.2 OWL及其UML类图扩展
2.2.3 Protégé与OnUMLTool本体建模环境
2.3 本体元模型在MDE中的应用框架
2.4 本章小结
第三章 基于通用性元建模设施的DSM方法
3.1 DSL基本概念
3.1.1 组成结构
3.1.2 定义过程
3.2 基于UML Profile的轻度级扩展
3.2.1 UML Profile语言工程概念框架
3.2.2 UML Profile轻度级扩展过程
3.2.3 反潜战术UML Profile设计
3.3 基于EMF的元模型重定制
3.3.1 Ecore内核
3.3.2 防御体系火控通道控制系统设计
3.4 本章小结
第四章 基于DSMM的DSL设计方法
4.1 多层次领域特定的元建模框架
4.2 领域特定的SEvent元建模
4.2.1 SEvent形式化定义
4.2.2 SEvent鱼雷行为描述
4.3 SEvent语言的具体语法设计
4.3.1 Xtext的DSL具体语法定义
4.3.2 MetaDepth多层次具体语法设计
4.4 本章小结
第五章 基于MDA的形式化模型转换技术
5.1 模型转换基本概念
5.1.1 什么是模型转换
5.1.2 模型转换的评价标准
5.1.3 仿真模型开发过程
5.2 形式化模型转换理论体系
5.2.1 建模与元建模
5.2.2 模型转换定义
5.2.3 模型驱动开发过程定义
5.3 基于MDA的GFCCS仿真建模过程
5.3.1 GFCCS 实现过程定义
5.3.2 相关实现技术
5.3.3 具体转换过程
5.4 GFCCS实现的MDD评估
5.5 本章小结
第六章 综合应用案例
6.1 装备效能仿真模型框架
6.2 多案例反潜战术仿真
6.2.1 武器装备效能仿真系统
6.2.2 典型反潜战术设计
6.2.3 仿真二维展现
6.3 本章小结
第七章 总结与展望
7.1 本文主要贡献
7.2 下一步工作展望
致 谢
参考文献
作者在学期间取得的学术成果
参与和主持的主要科研项目及学术会议经历
附录A DSL设计参数
附录B GFCCS实现过程
附录C 英文缩写词对照表
国防科学技术大学国防科技大学;