UML顺序图的自动分析技术研究

摘要	第1-6页
ABSTRACT	第6-7页
第一章 绪论	第7-10页
·课题背景	第7-8页
·本文的主要工作与目标	第8页
·论文结构	第8-10页
第二章 模型检验	第10-23页
·形式化验证	第10-11页
·模型检验	第11-17页
·模型检验过程	第12页
·模型检验优化技术	第12-14页
·时态逻辑	第14-17页
·模型检验工具SPIN	第17-23页
·PROMELA语言	第18-20页
·用LTL公式表达系统的性质	第20-22页
·优化技术	第22-23页
第三章 UML顺序图	第23-32页
·UML简介	第23-27页
·UML的特点	第23-24页
·UML的语法和语义	第24-25页
·UML的建模机制	第25-27页
·UML顺序图	第27-32页
·使用顺序图对系统建模	第28-29页
·顺序图的XML文件	第29-30页
·顺序图的形式化表示	第30-32页
第四章 UML顺序图自动分析	第32-42页
·简介	第32页
·分析UML顺序图竞态条件	第32-39页
·验证UML顺序图的过程	第33页
·顺序图的文本描述	第33-35页
·把顺序图模型转化为PROMELA程序	第35-36页
·验证	第36-39页
·组合型顺序图模型检验	第39-42页
第五章 自动分析工具的设计与实现	第42-48页
·工具的体系结构	第42-43页
·工具的设计与实现	第43-48页
·UML模型接口	第43-45页
·模块实现	第45-46页
·小结	第46-48页
第六章 结束语	第48-50页
·本文主要内容	第48页
·下一步工作	第48-50页
致谢	第50-51页
参考文献	第51-52页