封面
声明
中文摘要
英文摘要
目录
缩略词
第一章 绪论
1.1课题研究目的
1.2 国内外现状
1.3 本人主要研究工作
1.4 本文主要内容和组织结构
第二章 可执行PIM相关技术研究
2.1 SysML的提出
2.2 SysML语义
2.3 可执行PIM
2.4 本章小结
第三章 可执行PIM工具原型设计与实现
3.1 工具的功能需求
3.2 工具的功能分析
3.3工具的总体架构
3.4 建模框架实现
3.5 可执行框架实现
3.6 自定义功能插件
3.7 本章小结
第四章 可执行PIM工具原型的应用
4.1 模型验证分析
4.2 模型验证机制
4.3 模型演练
4.4 本章小结
第五章 总结与展望
5.1 总结
5.2 展望
参考文献
致谢
在学期间的研究成果及发表的学术论文