基于Eclipse建模框架的SMP约束建模研究与实现

摘要

SMP是欧航局（ESA）基于模型驱动架构（MDA）的思想提出的仿真模型规范，致力于实现仿真模型的可移植性和可重用性。模型设计对仿真应用开发起到关键作用，而实现模型约束能够增强模型的准确性和语义完整性。本文针对 SMP元模型对静态语义的定义并不完善，且基于SMP开发的模型需要实现模型约束的问题，提出基于 Eclipse建模框架（EMF）和对象约束语言（OCL）的 SMP约束建模方法。包括SMP元模型和模型约束的定义，支持元模型约束验证的RCP应用开发，支持模型约束定义的方法与工具，基于FreeMarker的模型约束代码生成等。主要体现在以下几个方面：
　　（1）分析了SMP元模型待实现的静态语义约束，运用OCL实现SMP元模型静态语义的形式化定义。
　　（2）基于Eclipse平台，运用EMF等插件实现EMF Ecore元模型的创建，并运用Complete OCL实现SMP元模型的约束建模，同时开发了工具OCLModeling用于OCL约束的扩展。
　　（3）基于EMF代码生成机制开发RCP应用用于SMP模型开发，并实现其元模型静态语义约束的验证。同时，通过增加Constraint元素扩展了SMP元模型，实现基于SMP标准的SMP模型约束的定义。
　　（4）基于RCP应用进行了一个攻防仿真系统模型及相关的模型约束的设计，并基于FreeMarker模板引擎和模板文件实现模型及模型约束代码的生成。

目录

声明

第一章 绪论

1.1 研究背景与问题

1.2 相关领域研究现状

1.3 论文的组织结构

第二章 基于EMF和OCL的SMP约束模型设计方法

2.1 SMP模型设计与集成过程的问题分析

2.2 基于EMF和OCL的SMP约束模型设计方法

2.3 小结

第三章 支持SMP约束建模的OCL约束模型设计

3.1 SMP Catalogue/Assembly元模型

3.2 SMP元模型到EMF Ecore元模型映射关系

3.3 支持SMP约束模型开发的OCL约束实现

3.4 小结

第四章 基于EMF的SMP约束建模工具

4.1 基于EMF的SMP模型设计与集成工具

4.2 基于EMF的SMP元模型约束的实现

4.3 基于FreeMarker的模型约束的实现

4.4 小结

第五章 系统实现与应用实例

5.1 系统设计与实现

5.2 应用实例

5.3 实例结果分析

5.4 小结

结束语

致谢

参考文献

作者在学期间取得的学术成果