CPS系统的时空UML模型建模方法研究

摘要	第1-8页
Abstract	第8-12页
第一章 绪论	第12-18页
·选题背景与意义	第12-14页
·CPS系统的基本概念	第12-13页
·CPS系统的特点	第13-14页
·CPS系统的研究挑战	第14页
·相关研究	第14-16页
·研究内容和组织形式	第16-17页
·论文的主要研究内容	第16页
·论文的组织方式	第16-17页
·本章小结	第17-18页
第二章 UML建模语言和MARTE扩展	第18-28页
·UML建模语言	第18-21页
·UML图形	第18-20页
·UML的语义	第20-21页
·MARTE概要文件及其时间模型	第21-27页
·MARTE概要文件概述	第21页
·MARTE时间结构	第21-25页
·MARTE时间建模概要文件	第25-27页
·本章小结	第27-28页
第三章 时空UML状态图模型	第28-37页
·STUML状态图概述	第28-29页
·基本变量类型和表达式	第29-34页
·STUML状态图的形式化模型	第34-36页
·本章小结	第36-37页
第四章 STUML状态图模型的语义	第37-45页
·STUML状态图模型的安全语义	第37-42页
·STUML状态图模型的活性语义	第42-44页
·STUML状态图的组合	第43-44页
·本章小结	第44-45页
第五章 使用STUML状态图对智能交通系统建模	第45-56页
·智能交通防护系统	第45-47页
·列车自动防护系统	第45-46页
·ATP系统需求说明	第46-47页
·ATP系统的形式化模型	第47-55页
·时钟模型	第48页
·ATP系统的STUML状态图	第48-55页
·本章小结	第55-56页
第六章 论文的总结和未来工作展望	第56-58页
·总结	第56-57页
·进一步工作	第57-58页
参考文献	第58-62页
致谢	第62-63页
攻读硕士学位期间发表论文和科研情况	第63页