UML状态图的形式化研究

摘要	第1-5页
ABSTRACT	第5-9页
第一章. 绪论	第9-13页
·研究背景与现状	第9-11页
·软件设计的发展	第9-10页
·形式化与形式化建模语言的产生	第10-11页
·本文的主要工作和文章结构	第11-13页
第二章. UML状态图	第13-23页
·UML统一建模语言的由来和发展	第13-17页
·软件开发过程与建模语言	第13-15页
·面向对象的UML建模语言	第15-17页
·UML状态图简介	第17-23页
·UML状态图的基本元素	第17-20页
·UML状态图的分类	第20-23页
第三章. 形式化方法与化学抽象机	第23-33页
·形式化方法概述	第23-27页
·形式化语言与形式化方法	第23-24页
·形式化研究的方式与意义	第24-26页
·典型的形式化方法(语言)介绍	第26-27页
·CHAM化学抽象机	第27-33页
·CHAM的基本概念	第27-28页
·化学抽象机形式化语言概述	第28-33页
第四章. UML状态图的形式化	第33-49页
·UML状态图的CHAM语义	第33-34页
·简单UML状态图的形式化	第34-41页
·不含内部迁移的简单状态图的形式化	第34-39页
·含有内部迁移的简单状态图的形式化	第39-41页
·复杂UML状态图的形式化	第41-49页
·层次化与带有并发的状态图	第41页
·催化剂规则与通道理论	第41-49页
第五章. 形式化CHAM语言的软件设计辅助工具	第49-61页
·软件设计辅助工具的设计	第49-55页
·辅助工具的界面介绍	第49-50页
·功能及算法介绍	第50-55页
·辅助工具的功能测试与结果分析	第55-61页
·工具的功能测试	第55-59页
·测试结果分析	第59-61页
第六章. 结论与展望	第61-63页
参考文献	第63-67页
致谢	第67-69页
攻读学位期间发表的学术论文目录	第69页