移动界程演算及模型检测应用的关键问题研究
| 摘要 | 第1-8页 |
| ABSTRACT | 第8-15页 |
| 第一章 绪论 | 第15-24页 |
| ·研究背景 | 第15-19页 |
| ·研究内容 | 第19-22页 |
| ·研究内容 | 第19-21页 |
| ·主要创新点 | 第21-22页 |
| ·本文组织结构 | 第22-24页 |
| 第二章 移动计算形式化理论及应用研究与发展 | 第24-45页 |
| ·PI 演算及扩展演算的研究与发展 | 第24-28页 |
| ·PI 演算 | 第24-25页 |
| ·PI 演算的扩展 | 第25-28页 |
| ·移动界程演算及扩展演算的研究与发展 | 第28-34页 |
| ·移动界程演算 | 第28-29页 |
| ·安全界程演算模型 | 第29-31页 |
| ·BoxedAmbient 演算和Seal 演算 | 第31-33页 |
| ·公平界程演算 | 第33-34页 |
| ·移动界程逻辑和模型检测研究与发展 | 第34-41页 |
| ·移动界程演算的空间逻辑 | 第34-37页 |
| ·移动界程演算的模型检测 | 第37-41页 |
| ·移动界程演算的建模工具研究与发展 | 第41-44页 |
| ·本章小结 | 第44-45页 |
| 第三章 应用界程演算 | 第45-60页 |
| ·引言 | 第45-46页 |
| ·应用界程演算的语法 | 第46-48页 |
| ·应用界程演算的语义 | 第48-56页 |
| ·标准化进程的概念 | 第48-52页 |
| ·结构同余关系 | 第52-54页 |
| ·归约关系 | 第54-56页 |
| ·举例 | 第56-59页 |
| ·本章小结 | 第59-60页 |
| 第四章 应用界程演算的有限控制进程 | 第60-91页 |
| ·引言 | 第60-61页 |
| ·应用界程演算的有限控制进程 | 第61-73页 |
| ·有限控制进程的概念 | 第61-62页 |
| ·有限控制进程的类型系统 | 第62-68页 |
| ·可类型化进程的有限控制性质 | 第68-72页 |
| ·有限名字空间条件的可满足性 | 第72-73页 |
| ·举例 | 第73-81页 |
| ·无限可达但有限控制的进程 | 第73-76页 |
| ·防火墙系统的交互协议 | 第76-81页 |
| ·对有限控制PI 演算的翻译 | 第81-90页 |
| ·有限控制PI 演算概述 | 第81-82页 |
| ·有限控制PI 演算的翻译 | 第82-86页 |
| ·翻译方案的正确性 | 第86-90页 |
| ·本章小结 | 第90-91页 |
| 第五章 应用界程逻辑及模型检测方法 | 第91-118页 |
| ·引言 | 第91-92页 |
| ·应用界程逻辑 | 第92-102页 |
| ·逻辑公式的语法 | 第92-93页 |
| ·逻辑公式的语义 | 第93-102页 |
| ·逻辑表达能力问题 | 第102-107页 |
| ·结构互模拟与结构同余 | 第102-104页 |
| ·结构互模拟与逻辑等价 | 第104-107页 |
| ·模型检测问题 | 第107-116页 |
| ·模型检测算法 | 第107-112页 |
| ·算法正确性证明 | 第112-116页 |
| ·本章小结 | 第116-118页 |
| 第六章 应用界程演算模型检测的偏序归约方法 | 第118-141页 |
| ·引言 | 第118-120页 |
| ·应用界程演算的偏序合流归约 | 第120-131页 |
| ·时态空间逻辑公式及偏序归约方法 | 第131-139页 |
| ·时态空间逻辑公式 | 第131-133页 |
| ·偏序归约方法 | 第133-137页 |
| ·实现算法 | 第137-139页 |
| ·本章小结 | 第139-141页 |
| 第七章 模型检测系统原型的实现框架 | 第141-157页 |
| ·引言 | 第141页 |
| ·应用界程演算的进程等式系 | 第141-149页 |
| ·进程等式系的概念 | 第141-142页 |
| ·应用界程演算进程的等式系表示 | 第142-145页 |
| ·应用界程演算进程及其等式系的等价性 | 第145-147页 |
| ·等式系的等价性判定的实现算法 | 第147-149页 |
| ·原型系统的实现框架 | 第149-156页 |
| ·原型系统的系统结构 | 第149-150页 |
| ·应用界程演算进程的描述语言 | 第150-151页 |
| ·应用界程逻辑公式的描述语言 | 第151-153页 |
| ·实例 | 第153-156页 |
| ·本章小结 | 第156-157页 |
| 结论 | 第157-160页 |
| 论文的主要贡献 | 第157-158页 |
| 进一步研究工作 | 第158-160页 |
| 参考文献 | 第160-167页 |
| 附录 | 第167-189页 |
| 附录1 | 第167-169页 |
| 附录2 | 第169-170页 |
| 附录3 | 第170页 |
| 附录4 | 第170-171页 |
| 附录5 | 第171页 |
| 附录6 | 第171-172页 |
| 附录7 | 第172-179页 |
| 附录8 | 第179-183页 |
| 附录9 | 第183-185页 |
| 附录10 | 第185-187页 |
| 附录11 | 第187-189页 |
| 攻读博士学位期间取得的研究成果 | 第189-190页 |
| 致谢 | 第190页 |
