基于UML的实时系统建模及顺序图时间约束研究

摘要	第1-6页
ABSTRACT	第6-12页
第1章 绪 论	第12-17页
·研究目的	第12-13页
·研究现状	第13-15页
·本文的主要工作	第15页
·本文的组织结构	第15-17页
第2章 统一建模语言UML 概述	第17-25页
·UML 发展简史	第17-18页
·UML 语言的构造	第18-21页
·UML 的扩展机制	第21-22页
·UML 的语法和语义	第22-23页
·对象约束语言 OCL	第23-24页
·小结	第24-25页
第3章 UML 在实时系统设计领域中的特点	第25-31页
·实时系统	第25-26页
·实时系统设计领域中的UML	第26-30页
·小结	第30-31页
第4章 基于交互概观图的动态建模方法	第31-41页
·基本概念	第31-32页
·具体方法	第32-34页
·具体实例	第34-40页
·小结	第40-41页
第5章 实时系统中顺序图时间约束分析	第41-52页
·顺序图概述	第41页
·简单顺序图	第41-44页
·带时间约束属性的顺序图	第44-45页
·带组合片段的顺序图	第45-48页
·时间约束属性同一性	第48-49页
·验证算法	第49-51页
·小结	第51-52页
结论	第52-54页
一、本文工作总结	第52-53页
二、未来工作展望	第53-54页
参考文献	第54-58页
附录A 攻读硕士学位期间发表的论文	第58-59页
致谢	第59页