并发系统的形式化技术研究
| 论文摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第1 章 绪论 | 第9-12页 |
| ·研究背景及现状 | 第9-10页 |
| ·研究的意义和目的 | 第10-11页 |
| ·论文的组织结构 | 第11-12页 |
| 第2 章 形式化方法与并发系统 | 第12-16页 |
| ·形式化方法 | 第12-13页 |
| ·并发系统 | 第13-14页 |
| ·进程 | 第13-14页 |
| ·并发系统描述语言 | 第14页 |
| ·小结 | 第14-16页 |
| 第3 章 混成形式化模型：BCCS | 第16-50页 |
| ·BCCS 模型概述 | 第16-17页 |
| ·B 方法 | 第17-18页 |
| ·通信系统演算（CCS） | 第18-23页 |
| ·CCS 概述 | 第18-20页 |
| ·传值CCS 的裁剪及其操作语义 | 第20-23页 |
| ·BCCS 的语法 | 第23-34页 |
| ·BCCS 语法元语言 | 第24-27页 |
| ·BCCS 定义的基础 | 第27-30页 |
| ·BCCS 的语法 | 第30-31页 |
| ·用BCCS 模型描述的极坐标到直角坐标转换系统 | 第31-34页 |
| ·BCCS 的操作语义 | 第34-46页 |
| ·环境与抽象机 | 第34-38页 |
| ·动作和参数 | 第38页 |
| ·环境的初始化 | 第38-39页 |
| ·语义域 | 第39页 |
| ·语义推理规则 | 第39-46页 |
| ·BCCS 和几种集成方法的比较 | 第46-48页 |
| ·小结 | 第48-50页 |
| 第4 章 基于BCCS 的应用实例 | 第50-60页 |
| ·实例背景介绍 | 第50-52页 |
| ·EJB3.0 的有状态会话 Bean | 第50-51页 |
| ·容器（Container） | 第51-52页 |
| ·生命周期(life cycle) | 第52页 |
| ·基于BCCS 模型的SFSB 生命周期规范 | 第52-59页 |
| ·SFSB 的生命周期模型 | 第52-53页 |
| ·基于BCCS 的SFSB 生命周期规范 | 第53-59页 |
| ·小结 | 第59-60页 |
| 第5 章 结束语 | 第60-62页 |
| ·本文主要研究成果 | 第60页 |
| ·进一步的工作 | 第60-62页 |
| 参考文献 | 第62-65页 |
| 致谢 | 第65页 |
