基于MARTE的面向时间方面建模及转换研究
| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-11页 |
| 第一章 绪论 | 第11-16页 |
| ·研究背景 | 第11-12页 |
| ·模型驱动技术的兴起 | 第11页 |
| ·面向方面的软件开发 | 第11-12页 |
| ·时间建模 | 第12页 |
| ·研究现状 | 第12-14页 |
| ·本文工作 | 第14-15页 |
| ·本文的结构安排 | 第15-16页 |
| 第二章 面向方面的软件开发与时间建模技术 | 第16-27页 |
| ·面向方面的软件开发 | 第16-21页 |
| ·关注点分离 | 第16-18页 |
| ·Theme方法 | 第18-21页 |
| ·时间建模技术 | 第21-22页 |
| ·形式化时间建模 | 第21页 |
| ·可视化时间建模 | 第21-22页 |
| ·MARTE Profile | 第22-25页 |
| ·MARTE组成部分 | 第22-24页 |
| ·时间结构和时间建模元素 | 第24-25页 |
| ·本章小结 | 第25-27页 |
| 第三章 基于MARTE的面向方面的时间建模 | 第27-39页 |
| ·基于MARTE的时间建模 | 第27-31页 |
| ·时间元素 | 第27-29页 |
| ·实例研究 | 第29-31页 |
| ·Theme方法扩展 | 第31-35页 |
| ·Theme/Doc | 第32-33页 |
| ·Theme/UML | 第33页 |
| ·时间方面的扩展 | 第33-35页 |
| ·基于MARTE和Theme方法扩展的时间建模 | 第35-36页 |
| ·相关工作 | 第36-37页 |
| ·本章小结 | 第37-39页 |
| 第四章 建模实例研究 | 第39-46页 |
| ·实例介绍 | 第39-40页 |
| ·实例研究与结果 | 第40-45页 |
| ·关注点分析与设计 | 第41-43页 |
| ·面向方面的关注点编织技术 | 第43-45页 |
| ·相关工作 | 第45页 |
| ·本章小结 | 第45-46页 |
| 第五章 基于时间方面的SystemC转换及仿真 | 第46-55页 |
| ·背景介绍 | 第46-49页 |
| ·模型转换 | 第47-48页 |
| ·SystemC语言 | 第48-49页 |
| ·时间方面模型到SystemC模型的转换与仿真 | 第49-53页 |
| ·相关工作 | 第53-54页 |
| ·本章小结 | 第54-55页 |
| 第六章 总结 | 第55-57页 |
| ·本文主要工作 | 第55-56页 |
| ·进一步工作 | 第56-57页 |
| 参考文献 | 第57-62页 |
| 简历与科研成果 | 第62-63页 |
| 致谢 | 第63-64页 |
