UML建模的形式化方法研究和应用

摘要	第1-7页
Abstract	第7-9页
目录	第9-11页
第一章 绪论	第11-15页
·研究背景	第11-12页
·研究意义	第12页
·国内外研究情况	第12-14页
·论文的总体结构	第14-15页
第二章 B方法	第15-28页
·形式化方法综述	第15页
·B方法简介	第15-17页
·B方法数学基础	第17-20页
·抽象机	第20-22页
·精化和实现	第22-24页
·证明义务	第24-26页
·ProB工具	第26-28页
第三章 统一建模语言UML	第28-35页
·UML发展的历史	第28页
·UML语义的模型框架	第28-29页
·UML模型图简介	第29-33页
·UML形式化语义研究	第33-35页
第四章 UML类图及状态图的B方法形式化描述	第35-52页
·UML类图的B方法形式化描述	第35-43页
·UML状态图的B方法形式化描述	第43-51页
·小结	第51-52页
第五章 实例应用	第52-67页
·订单管理系统描述	第52-53页
·系统需求的UML模型图	第53-55页
·系统UML模型图的B方法形式化描述	第55-64页
·系统的ProB模型检测	第64-65页
·小结	第65-67页
第六章 总结	第67-68页
参考文献	第68-72页
附录	第72-80页
发表论文和参加科研说明	第80-81页
致谢	第81页