基于UML和形式化方法的面向方面实时系统模型
| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-11页 |
| Contents | 第11-14页 |
| 第一章 绪论 | 第14-19页 |
| ·选题的背景及意义 | 第14-16页 |
| ·对国内外研究现状的分析 | 第16-17页 |
| ·论文的主要工作及组织方式 | 第17-19页 |
| ·论文的主要内容 | 第17页 |
| ·论文的组织方式 | 第17-19页 |
| 第二章 相关技术 | 第19-43页 |
| ·实时系统 | 第19-26页 |
| ·实时系统的定义及时间约束 | 第19-21页 |
| ·实时系统的特征及要求 | 第21-22页 |
| ·实时系统的开发过程 | 第22-23页 |
| ·实时系统的建模方法 | 第23-25页 |
| ·实时系统的应用 | 第25-26页 |
| ·UML相关概述 | 第26-30页 |
| ·UML简介 | 第26-27页 |
| ·UML扩展机制 | 第27页 |
| ·UML的实时扩展 | 第27-30页 |
| ·实时逻辑(RTL)概述 | 第30-31页 |
| ·AOP概述 | 第31-43页 |
| ·问题的提出 | 第31页 |
| ·AOP术语及实现原理 | 第31-36页 |
| ·AOP的横切模型 | 第36-39页 |
| ·AOP框架 | 第39-43页 |
| 第三章 时间模型 | 第43-52页 |
| ·基本时间模型 | 第44-46页 |
| ·定时机制模型 | 第46-48页 |
| ·时间事件模型 | 第48-50页 |
| ·时间动作 | 第49-50页 |
| ·时间事件 | 第50页 |
| ·时间激励 | 第50页 |
| ·时间服务模型 | 第50-52页 |
| 第四章 基于UML的面向方面软件设计模型 | 第52-66页 |
| ·面向方面系统建模的UML框架 | 第52-53页 |
| ·扩展 UML表达面向方面概念 | 第53-56页 |
| ·结构模型 | 第56-59页 |
| ·行为模型 | 第59-61页 |
| ·方面织入 | 第61-66页 |
| 第五章 实时AOSDM-UML及实例建模 | 第66-72页 |
| ·AOSDM-UML的时间扩展 | 第66页 |
| ·电梯控制系统例子 | 第66-72页 |
| ·结构关系 | 第67-68页 |
| ·行为关系 | 第68-70页 |
| ·织入时间方面 | 第70-72页 |
| 第六章 基于AOP的实时系统形式化建模及实例 | 第72-81页 |
| ·LOTOS和随机实时时序逻辑(SQTL) | 第72-75页 |
| ·LOTOS | 第72-73页 |
| ·随机实时时序逻辑 | 第73-75页 |
| ·LOTOS和SQTL转换为自动机 | 第75-76页 |
| ·方面的形式化织入机制 | 第76-78页 |
| ·实例建模 | 第78-81页 |
| 第七章 实时方面的形式化建模 | 第81-89页 |
| ·模糊时间Petri网 | 第81-82页 |
| ·分布式实时系统的时间方面 | 第82-83页 |
| ·确定的时间子方面 | 第82页 |
| ·不确定的时间子方面 | 第82-83页 |
| ·模糊时间子方面 | 第83页 |
| ·组合时间方面 | 第83-86页 |
| ·模糊时间Petri网转换为时间自动机 | 第84-85页 |
| ·时间自动机的织入 | 第85-86页 |
| ·实例分析 | 第86-89页 |
| 总结与展望 | 第89-92页 |
| 参考文献 | 第92-99页 |
| 攻读硕士学位期间发表的论文 | 第99-100页 |
| 独创性声明 | 第100-101页 |
| 致谢 | 第101页 |
