基于时态逻辑的UML交互模型检测研究

摘要	第1-3页
Abstract	第3-5页
第一章 绪论	第5-11页
·软件可靠性与形式化方法	第5-6页
·UML模型形式化研究现状	第6-8页
·本文的研究内容	第8-9页
·本文的结构	第9-11页
第二章 模型检测技术	第11-17页
·形式化方法	第11-12页
·模型检测技术	第12-14页
·时态逻辑和模型检测	第14-17页
第三章 UML交互模型	第17-24页
·统一建模语言UML	第17-21页
·UML2.0的结构	第18-20页
·UML2.0的建模元素	第20页
·UML的主要特点	第20-21页
·UML交互模型在UML建模中的应用	第21-24页
第四章 形式化描述UML交互模型	第24-38页
·UML交互模型的语法	第24-32页
·UML的可视化描述	第24-30页
·UML交互模型的抽象语法	第30-32页
·用时态逻辑描述交互模型的性质	第32-34页
·Büchi自动机	第34-35页
·交互自动机	第35-38页
第五章 UML交互模型的模型检测方法	第38-48页
·从UML2.0交互模型向交互自动机的转化	第38-42页
·模型检测算法	第42-46页
·基本算法	第42-45页
·算法分析	第45-46页
·UML交互模型检测算法的应用	第46-48页
第六章 总结与展望	第48-49页
·总结	第48页
·展望	第48-49页
参考文献	第49-52页
攻读学位期间的研究成果	第52-53页
致谢	第53-54页