摘要 | 第3-5页 |
ABSTRACT | 第5-6页 |
目录 | 第7-11页 |
插图索引 | 第11-13页 |
主要符号和简写对照表 | 第13-14页 |
第一章 绪论 | 第14-30页 |
1.1 研究背景 | 第15-24页 |
1.1.1 构件化软件开发 | 第15-20页 |
1.1.2 动态软件更新技术 | 第20-23页 |
1.1.3 软件更新形式化研究 | 第23-24页 |
1.2 研究动机与目标 | 第24-27页 |
1.2.1 问题的提出及研究动机 | 第24-27页 |
1.2.2 研究的主要目标 | 第27页 |
1.3 研究的主要内容 | 第27-28页 |
1.4 篇章结构组织 | 第28-29页 |
1.5 本章小结 | 第29-30页 |
第二章 动态软件更新问题及研究现状 | 第30-48页 |
2.1 基本过程和属性需求 | 第30-37页 |
2.1.1 动态软件更新过程 | 第30-33页 |
2.1.2 系统一致性 | 第33-35页 |
2.1.3 时序正确性 | 第35-36页 |
2.1.4 安全可靠性 | 第36-37页 |
2.2 动态软件更新技术研究现状 | 第37-44页 |
2.2.1 安全更新状态界定 | 第38-40页 |
2.2.2 动态更新时机选择 | 第40-42页 |
2.2.3 运行时状态迁移 | 第42-44页 |
2.3 软件更新形式化推演技术 | 第44-47页 |
2.3.1 研究现状分析 | 第44-45页 |
2.3.2 形式化推演机理 | 第45-47页 |
2.4 本章小结 | 第47-48页 |
第三章 构件化软件动态更新关键技术研究 | 第48-72页 |
3.1 动态更新需求分析 | 第48-51页 |
3.1.1 功能需求 | 第48-50页 |
3.1.2 非功能需求 | 第50-51页 |
3.2 动态更新关键技术策略 | 第51-60页 |
3.2.1 确定安全更新点 | 第52-53页 |
3.2.2 安全交付更新文件 | 第53-55页 |
3.2.3 选择合理更新时机 | 第55-57页 |
3.2.4 提取并迁移运行时状态 | 第57-58页 |
3.2.5 检测及处理更新失败 | 第58-60页 |
3.3 构件化软件下的动态更新技术研究 | 第60-71页 |
3.3.1 基于安全通信方案传输更新文件 | 第60-64页 |
3.3.2 基于依赖性分析确定更新顺序 | 第64-67页 |
3.3.3 基于静态分析确定并迁移运行时状态 | 第67-71页 |
3.4 本章小结 | 第71-72页 |
第四章 高阶π演算的动态更新支持扩展研究 | 第72-90页 |
4.1 高阶π演算 | 第72-76页 |
4.1.1 基本语法 | 第72-74页 |
4.1.2 标记变迁系统 | 第74-76页 |
4.2 带进程位置的HOπ演算 | 第76-79页 |
4.2.1 进程钝化 | 第76-78页 |
4.2.2 语法和语义 | 第78-79页 |
4.3 带事务特性的HOπ演算 | 第79-83页 |
4.3.1 事务处理语法 | 第80-81页 |
4.3.2 操作语义 | 第81-83页 |
4.4 带状态属性的HOπ演算 | 第83-88页 |
4.4.1 基本语法 | 第85-86页 |
4.4.2 操作语义 | 第86-88页 |
4.5 本章小结 | 第88-90页 |
第五章 构件化软件动态更新形式化研究 | 第90-112页 |
5.1 设计依据 | 第90-93页 |
5.1.1 更新粒度选择 | 第90-91页 |
5.1.2 更新时机推导 | 第91-92页 |
5.1.3 状态获取与迁移 | 第92页 |
5.1.4 更新事务及失败恢复 | 第92-93页 |
5.2 updateπ演算的语法 | 第93-98页 |
5.2.1 基本约定 | 第93-94页 |
5.2.2 语法定义 | 第94-98页 |
5.3 updateπ演算操作语义 | 第98-105页 |
5.3.1 结构同余 | 第99-100页 |
5.3.2 归约关系 | 第100-103页 |
5.3.3 标记变迁系统 | 第103-105页 |
5.4 动态构件更新及其属性 | 第105-110页 |
5.4.1 动态更新实例 | 第105-108页 |
5.4.2 属性分析 | 第108-110页 |
5.5 本章小结 | 第110-112页 |
第六章 动态软件更新支持系统实现及案例研究 | 第112-136页 |
6.1 动态更新支持系统功能建模 | 第112-123页 |
6.1.1 基本更新处理过程 | 第114-115页 |
6.1.2 更新时机选择模块 | 第115-116页 |
6.1.3 依赖性分析模块 | 第116-120页 |
6.1.4 更新顺序确定模块 | 第120-121页 |
6.1.5 运行时状态迁移模块 | 第121-123页 |
6.2 普适计算环境下的动态软件更新 | 第123-134页 |
6.2.1 远程诊疗系统动态更新应用场景 | 第123-125页 |
6.2.2 基于R-OSGi平台技术的软件动态更新实现 | 第125-129页 |
6.2.3 原型实现及实验分析 | 第129-134页 |
6.3 本章小结 | 第134-136页 |
第七章 总结与展望 | 第136-140页 |
7.1 论文内容总结 | 第136-138页 |
7.2 未来研究方向 | 第138-140页 |
参考文献 | 第140-154页 |
致谢 | 第154-156页 |
攻读博士学位期间发表的学术论文及科研情况 | 第156-161页 |