基于时序描述逻辑的UML状态图语义研究

摘要	第1-8页
ABSTRACT	第8-9页
插图索引	第9-10页
附表索引	第10-11页
第1章 绪论	第11-16页
·研究背景与意义	第11-12页
·形式化方法的研究	第12-14页
·软件形式化的研究方法	第12-13页
·UML形式化的研究方法	第13-14页
·当前存在的主要问题	第14页
·本文的主要工作	第14-15页
·本文的组织结构	第15-16页
第2章 UML状态图形式化的研究现状	第16-26页
·用Petri网形式化UML状态图	第16-19页
·用时序逻辑语言XYZ/E形式化UML状态图	第19-21页
·用B语言形式化UML状态图	第21-23页
·用动态描述逻辑形式化UML状态图	第23-25页
·本章小结	第25-26页
第3章 UML和描述逻辑	第26-33页
·面向对象模型与UML	第26-28页
·面向对象的基本思想	第26-27页
·面向对象模型的基本概念与特征	第27-28页
·面向对象的建模语言——UML	第28页
·描述逻辑基础	第28-32页
·描述逻辑的发展	第29页
·描述逻辑的语法、语义及基本体系	第29-32页
·本章小结	第32-33页
第4章 描述逻辑的扩展与状态图的形式化	第33-44页
·UML与描述逻辑的比较	第33-34页
·基本描述逻辑的扩展	第34-40页
·描述逻辑的动态扩展	第34-36页
·描述逻辑的时序扩展	第36-38页
·扩展后的可满足性规则	第38-40页
·扩展后的Tableau算法	第40页
·Tableau算法的基本性质	第40页
·状态图的形式化及实例分析	第40-43页
·映射规则	第40-41页
·实例分析	第41-43页
·本章小结	第43-44页
总结与展望	第44-45页
参考文献	第45-50页
致谢	第50-51页
附录A 攻读硕士期间发表的学术论文	第51页