| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 第一章 绪论 | 第9-14页 |
| ·动因 | 第9-10页 |
| ·研究目标 | 第10-11页 |
| ·研究内容 | 第11-14页 |
| 第二章 软件过程验证综述 | 第14-22页 |
| ·引言 | 第14页 |
| ·软件过程验证 | 第14-21页 |
| ·验证内容 | 第14-17页 |
| ·结构验证 | 第14-16页 |
| ·性质验证 | 第16-17页 |
| ·验证方法 | 第17-21页 |
| ·基于进程代数的方法 | 第17-18页 |
| ·基于状态空间的验证方法 | 第18-19页 |
| ·基于结构的验证方法 | 第19-20页 |
| ·基于逻辑推理的验证方法 | 第20-21页 |
| ·小结 | 第21-22页 |
| 第三章 相关研究基础 | 第22-37页 |
| ·引言 | 第22页 |
| ·PETRI网 | 第22-24页 |
| ·软件演化过程元模型 | 第24-27页 |
| ·进程代数 | 第27-32页 |
| ·CCS的算子与语义 | 第29-31页 |
| ·CCS的互模拟关系 | 第31-32页 |
| ·组合可达性分析 | 第32-33页 |
| ·正则表达式技术 | 第33-37页 |
| ·正则表达式 | 第33页 |
| ·基于NFA的正则表达式引擎 | 第33-37页 |
| 第四章 基于CEPMM软件演化过程的建模 | 第37-67页 |
| 本章目标 | 第37页 |
| ·引言 | 第37-38页 |
| ·建立基于CCS软件演化过程的元模型CEPMM | 第38-41页 |
| ·基于EPMM建模到基于CEPMM建模全局层转化 | 第41-44页 |
| ·基于EPMM建模到基于CEPMM建模过程层转化 | 第44-50页 |
| ·顺序基本块的转化 | 第45-46页 |
| ·并发基本块 | 第46-47页 |
| ·选择基本块的转化 | 第47-48页 |
| ·迭代基本块的转化 | 第48-50页 |
| ·基于EPMM建模到基于CEPMM建模活动层转化 | 第50-66页 |
| ·活动对象的图形化规约 | 第50-56页 |
| ·AML的规约到基于CEPMM模型的转化 | 第56-66页 |
| ·顺序结构 | 第56-58页 |
| ·选择结构 | 第58-59页 |
| ·并发结构 | 第59页 |
| ·迭代结构 | 第59-66页 |
| 结论 | 第66-67页 |
| 第五章 基于CEPMM建立软件演化过程模型分解 | 第67-81页 |
| 本章目标 | 第67页 |
| ·引言 | 第67页 |
| ·基于CEPMM建立的模型的待验证的对象 | 第67-68页 |
| ·基于CEPMM建立的软件演化过程模型的模型分解 | 第68-80页 |
| 结论 | 第80-81页 |
| 第六章 基于CEPMM建立软件演化过程模型结构合理性分析与验证 | 第81-113页 |
| 本章目标 | 第81页 |
| ·引言 | 第81页 |
| ·基于CEPMM的软件演化过程模型结构合理性分析 | 第81-86页 |
| ·LTS的扩充 | 第82-83页 |
| ·基于CEPMM的软件演化过程模型结构合理性 | 第83-86页 |
| ·基于CEPMM软件演化过程模型的安全性分析与验证 | 第86-106页 |
| ·安全性验证对象 | 第86-94页 |
| ·反应迁移图的构建 | 第94-96页 |
| ·软件演化过程模型的安全性分析与验证 | 第96-106页 |
| ·基于CEPMM的软件演化过程模型的可达性分析与验证 | 第106-112页 |
| ·可达性验证对象 | 第106-108页 |
| ·软件演化过程模型的可达性分析与验证 | 第108-112页 |
| 结论 | 第112-113页 |
| 第七章 基于CEPMM软件演化过程模型的资源分析 | 第113-125页 |
| 本章目标 | 第113页 |
| ·引言 | 第113页 |
| ·软件演化过程涉及的资源 | 第113-119页 |
| ·资源分类与属性分析 | 第113-114页 |
| ·资源的状态及分配准则 | 第114-115页 |
| ·任务并发 | 第115-119页 |
| ·构建基于CEPMM的软件演化过程模型的资源库 | 第119-124页 |
| ·资源的形式描述 | 第119-120页 |
| ·构建资源库 | 第120-124页 |
| 结论 | 第124-125页 |
| 第八章 一种软件演化过程性能分析方法 | 第125-137页 |
| 本章目标 | 第125页 |
| ·引言 | 第125页 |
| ·CEPMM扩展EPMM中活动的定义 | 第125-128页 |
| ·活动的扩展定义 | 第126-127页 |
| ·资源成本 | 第127-128页 |
| ·时间概率成本进程代数TCPCCS | 第128-136页 |
| ·TCPCCS时间、概率和成本的扩展 | 第128-136页 |
| 结论 | 第136-137页 |
| 第九章 案例研究与实验设计及实现 | 第137-158页 |
| 本章目标 | 第137页 |
| ·引言 | 第137-138页 |
| ·软件演化过程模型转化 | 第138-149页 |
| ·系统设计与实现 | 第149-157页 |
| ·系统设计 | 第149-153页 |
| ·系统的实现 | 第153-157页 |
| ·实现的平台 | 第153页 |
| ·实现结果 | 第153-157页 |
| ·小结 | 第157-158页 |
| 第十章 工作总结与展望 | 第158-161页 |
| 本章目标 | 第158页 |
| ·引言 | 第158页 |
| ·总结工作 | 第158-160页 |
| ·未来的展望 | 第160-161页 |
| 参考文献 | 第161-168页 |
| 攻读博士学位期间主持和参与的课题 | 第168-169页 |
| 攻读博士学位期间发表和录用的论文 | 第169-171页 |
| 致谢 | 第171页 |
