| 摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 目录 | 第10-13页 |
| 第一章 绪论 | 第13-33页 |
| 第一节 研究背景 | 第13-22页 |
| ·网构软件 | 第13-18页 |
| ·可信计算 | 第18-20页 |
| ·软件可信性 | 第20-22页 |
| 第二节 相关研究现状 | 第22-28页 |
| ·网构软件可信性保障的相关研究 | 第23-26页 |
| ·网构软件可信性评估的相关研究 | 第26-28页 |
| 第三节 研究内容及意义 | 第28-31页 |
| ·本文的研究内容与创新点 | 第28-30页 |
| ·研究的理论与实际意义 | 第30-31页 |
| 第四节 论文结构 | 第31-33页 |
| 第二章 网构软件可信实体模型 | 第33-58页 |
| 第一节 网构软件实体模型分析 | 第33-38页 |
| ·基于 Agent 的网构软件实体/构件模型 | 第33-36页 |
| ·基于自主构件的网构软件实体模型 | 第36-37页 |
| ·支持软件自适应的网构软件实体模型 | 第37-38页 |
| 第二节 强可信智能实体模型 | 第38-45页 |
| ·网构软件可信实体模型的特点 | 第39-40页 |
| ·模型结构设计 | 第40-43页 |
| ·模型行为设计 | 第43-45页 |
| 第三节 实体可信情况形式化描述语言 EDSADL | 第45-55页 |
| ·体系结构描述语言（ADL） | 第45-46页 |
| ·EDSADL 元素的设计与描述 | 第46-55页 |
| 第四节 基于 EDSADL 的实体自省机制 | 第55-57页 |
| 第五节 本章小结 | 第57-58页 |
| 第三章 网构软件实体间信任约束机制 | 第58-77页 |
| 第一节 网构软件的信任度量及演化模型 | 第58-60页 |
| 第二节 基于契约的网构软件实体间信任关系约束机制设计 | 第60-65页 |
| ·契约式设计 | 第60-61页 |
| ·信任契约描述 | 第61-65页 |
| 第三节 基于评估的信任衰减过程 | 第65-68页 |
| ·贝叶斯网络的建立 | 第65-66页 |
| ·间接信任计算 | 第66-68页 |
| 第四节 实验及结果 | 第68-76页 |
| ·实验场景 | 第68-70页 |
| ·实验流程 | 第70-72页 |
| ·实验结果及分析 | 第72-76页 |
| 第五节 本章小结 | 第76-77页 |
| 第四章 基于分层 Petri 网的网构软件可信性演化模型 | 第77-95页 |
| 第一节 网构软件结构分析 | 第77-79页 |
| 第二节 Petri 网相关定义 | 第79-81页 |
| ·Petri 网基本概念 | 第79-80页 |
| ·Petri 网基本性质 | 第80-81页 |
| 第三节 Petri 网用于网构软件可信性演化的相关研究 | 第81-84页 |
| ·基于 Petri 网的开放环境下软件可靠性评估方法 | 第81-83页 |
| ·基于 Petri 网自动信任协商模型 | 第83-84页 |
| 第四节 网构软件系统建模 | 第84-89页 |
| ·系统结构建模 | 第85-88页 |
| ·契约协商策略建模 | 第88-89页 |
| 第五节 网构软件系统运行中可信性演化机制 | 第89-92页 |
| 第六节 实例与验证 | 第92-94页 |
| 第七节 本章小结 | 第94-95页 |
| 第五章 网构软件可信性评估模型 | 第95-115页 |
| 第一节 基于贝叶斯网络的网构软件可信性评估体系 | 第95-102页 |
| ·贝叶斯网络 | 第96-98页 |
| ·网构软件可信性评估体系 | 第98-100页 |
| ·基于贝叶斯网络的网构软件可信性评估 | 第100-102页 |
| 第二节 可信性评估指标计算方法 | 第102-108页 |
| ·静态可信性指标 | 第103-105页 |
| ·动态可信性指标 | 第105-106页 |
| ·系统整体可信性计算方法 | 第106-108页 |
| 第三节 实验及结果 | 第108-114页 |
| ·系统结构分析 | 第109-110页 |
| ·系统可信性计算 | 第110-113页 |
| ·结果分析 | 第113-114页 |
| 第四节 本章小结 | 第114-115页 |
| 第六章 结束语 | 第115-118页 |
| 第一节 本文工作总结 | 第115-116页 |
| 第二节 进一步研究工作展望 | 第116-118页 |
| 参考文献 | 第118-129页 |
| 致谢 | 第129-130页 |
| 个人简历 | 第130-132页 |
