UML顺序图的形式化描述方法研究

摘要	第1-8页
Abstract	第8-9页
插图索引	第9-10页
附表索引	第10-11页
第1章 绪论	第11-20页
·课题研究背景及意义	第11-12页
·形式化方法	第12-17页
·形式化方法概述	第12-14页
·软件形式化研究	第14-16页
·UML 形式化研究现状	第16-17页
·存在的问题	第17-18页
·本文的主要工作	第18-19页
·论文组织结构	第19-20页
第2章 UML 顺序图和相关概念	第20-26页
·面向对象模型与基本概念	第20-22页
·面向对象建模语言——UML	第22-23页
·UML 的重要视图—— 顺序图	第23-25页
·本章小结	第25-26页
第3章 描述逻辑和计算树逻辑	第26-39页
·描述逻辑	第26-35页
·描述逻辑的起源及发展	第26-27页
·描述逻辑的语法和语义	第27-31页
·描述逻辑的推理	第31-33页
·描述逻辑ALCQI	第33-35页
·计算树逻辑	第35-38页
·克里普克结构	第35页
·计算树逻辑的语法	第35-37页
·计算树逻辑的语义	第37-38页
·本章小结	第38-39页
第4章 UML 顺序图形式化	第39-45页
·描述逻辑与UML 的异同点	第39-40页
·形式系统ACLQI-CTL	第40-42页
·模型和语义	第40-41页
·公式的可满足性	第41-42页
·ALCQI-CTL 形式化UML 顺序图	第42-44页
·UML 顺序图特性检测	第44页
·本章小结	第44-45页
总结与展望	第45-46页
参考文献	第46-51页
致谢	第51-52页
附录A 攻读硕士学位期间所发表的论文	第52页