| 提要 | 第4-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| 第1章 引言 | 第12-20页 |
| 1.1 研究背景 | 第12-17页 |
| 1.1.1 分布式技术研究现状 | 第12-14页 |
| 1.1.2 分布式编程模型研究现状 | 第14-16页 |
| 1.1.3 并发面向对象语言模型研究现状 | 第16-17页 |
| 1.2 研究意义 | 第17-18页 |
| 1.3 本文研究工作 | 第18-19页 |
| 1.4 论文组织结构 | 第19-20页 |
| 第2章 经典 Pi 演算及其变体 | 第20-26页 |
| 2.1 Pi 演算相关基础 | 第20-23页 |
| 2.2 异步 Pi 演算 | 第23-24页 |
| 2.3 Pi 演算及变体的编程应用 | 第24-25页 |
| 2.4 本章小结 | 第25-26页 |
| 第3章 一种新型的分布式演算-DOPi 及其互模拟分析 | 第26-38页 |
| 3.1 边界的概念 | 第26-28页 |
| 3.2 DOPi 演算语法 | 第28-34页 |
| 3.2.1 DOPi 演算的基本语法 | 第28-32页 |
| 3.2.2 DOPi 演算中的结构同余 | 第32-33页 |
| 3.2.3 归约规则 | 第33-34页 |
| 3.3 DOPi 演算中的标签迁移系统 | 第34-35页 |
| 3.4 互模拟等价性质分析 | 第35-37页 |
| 3.5 本章小结 | 第37-38页 |
| 第4章 DOPi 演算建模能力分析 | 第38-50页 |
| 4.1 DOPi 演算交互实例建模 | 第38-42页 |
| 4.1.1 进程移动 | 第38-41页 |
| 4.1.2 存储过程 | 第41-42页 |
| 4.2 DOPi 演算面向对象建模分析 | 第42-45页 |
| 4.2.1 面向对象模型 | 第43页 |
| 4.2.2 DOL 语法 | 第43-45页 |
| 4.3 基于 DOPi 演算的对象语言语义分析 | 第45-49页 |
| 4.3.1 DOL 语义 | 第45-47页 |
| 4.3.2 DOL 语义描述实例 | 第47-49页 |
| 4.4 本章小结 | 第49-50页 |
| 第5章 基于 IMC 框架的 DOPi 演算实现 | 第50-63页 |
| 5.1 IMC 框架 | 第50-52页 |
| 5.1.1 通信协议 | 第50-51页 |
| 5.1.2 节点和进程 | 第51-52页 |
| 5.2 DOPi 演算实现框架 | 第52-57页 |
| 5.2.1 DOPi 系统通信协议 | 第53-54页 |
| 5.2.2 节点 | 第54-57页 |
| 5.2.3 线程 | 第57页 |
| 5.3 DOPi 演算实例分析 | 第57-62页 |
| 5.4 本章小结 | 第62-63页 |
| 第6章 结语和展望 | 第63-65页 |
| 6.1 本文总结 | 第63-64页 |
| 6.2 未来研究展望 | 第64-65页 |
| 参考文献 | 第65-68页 |
| 作者简介及在学期间所取得的科研成果 | 第68-69页 |
| 致谢 | 第69页 |