结合数据性质的进程演算及模型检测

摘要	第1-5页
Abstract	第5-10页
第一章 绪论	第10-19页
·引言	第10-12页
·通信演算系统CCS	第12-14页
·通信演算系统CCS 的主要思想	第12-13页
·与其他进程代数的比较	第13-14页
·软件规约方法与Z 语言	第14-16页
·软件规约方法简介	第14-15页
·形式规约语言Z	第15-16页
·模型检测概述	第16-17页
·模型检测的主要思想	第16页
·模型检测的优点	第16-17页
·本文研究的主要内容与组织结构	第17-19页
·本文研究的主要内容	第17-18页
·本文的组织结构	第18-19页
第二章 结合数据性质的进程演算系统	第19-42页
·进程演算系统CCS-Z	第19-28页
·CCS-Z 的语法部分	第20-23页
·CCS-Z 的操作语义	第23-28页
·CCS-Z 系统的强互模拟	第28-39页
·强互模拟的定义	第29-31页
·强互模拟的性质	第31-39页
·CCS-Z 系统的弱互模拟	第39-42页
·弱互模拟的定义	第39页
·弱互模拟的性质	第39-42页
第三章CCS-Z 对应的逻辑系统	第42-46页
·逻辑公式	第42-43页
·可满足关系	第43-46页
第四章 模型检测算法及实例验证	第46-65页
·模型检测算法	第46-50页
·CCS-Z 系统的数据结构表示	第46-47页
·CCS-Z 对应逻辑的数据结构表示	第47-48页
·CCS-Z 系统的模型检测算法	第48-50页
·模型检测算法实现	第50-55页
·算法实现的类图	第51-52页
·算法实现的流程图	第52-55页
·实例验证	第55-65页
·开关控制系统的状态转换图	第55-58页
·开关控制系统的检测结果	第58-60页
·火车控制系统的状态转换图	第60-64页
·火车控制系统的检测结果	第64-65页
第五章 结束语	第65-66页
·本文总结	第65页
·展望	第65-66页
参考文献	第66-68页
致谢	第68-69页
攻读硕士学位期间发表(录用)论文情况	第69页