| 摘要 | 第1-6页 |
| Abstract | 第6-17页 |
| 第一章 绪论 | 第17-33页 |
| ·AOCA：面向动作的上下文感知应用 | 第17-22页 |
| ·普适计算与上下文感知技术 | 第18页 |
| ·上下文感知应用的分类 | 第18-20页 |
| ·面向动作的上下文感知(AOCA)应用及其特征 | 第20-22页 |
| ·AOCA应用的编程模式与运行支撑 | 第22-26页 |
| ·AOCA应用的软件结构 | 第22-24页 |
| ·AOCA应用的编程模式 | 第24-25页 |
| ·AOCA应用的运行支撑 | 第25-26页 |
| ·问题与研究思路 | 第26-30页 |
| ·研究思路 | 第26-28页 |
| ·研究现状概述 | 第28-29页 |
| ·技术路线 | 第29-30页 |
| ·本文的主要贡献 | 第30-32页 |
| ·文章组织 | 第32-33页 |
| 第二章 相关工作 | 第33-46页 |
| ·概念模型相关工作 | 第33-39页 |
| ·上下文感知概念模型研究工作 | 第34-35页 |
| ·面向动作的动态上下文模型相关研究 | 第35-37页 |
| ·语用学的上下文研究 | 第37-38页 |
| ·讨论 | 第38-39页 |
| ·上下文感知应用编程模式相关工作 | 第39-41页 |
| ·上下文感知应用编程模式考察关注点 | 第39-40页 |
| ·典型工作 | 第40-41页 |
| ·讨论 | 第41页 |
| ·上下文感知应用运行支撑方法相关工作 | 第41-43页 |
| ·上下文感知应用运行支撑方法考察关注点 | 第41页 |
| ·典型工作 | 第41-42页 |
| ·讨论 | 第42-43页 |
| ·基于形式化验证的上下文感知应用可靠性保障方法相关工作 | 第43-45页 |
| ·基于形式化验证的可靠性保障方法考察关注点 | 第43-44页 |
| ·典型工作 | 第44页 |
| ·讨论 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 第三章 AOCA应用的概念模型 | 第46-59页 |
| ·设计思路 | 第46-48页 |
| ·软件模型 | 第48-54页 |
| ·静态模型 | 第48-50页 |
| ·运行时软件模型 | 第50-54页 |
| ·上下文模型 | 第54-58页 |
| ·本章小结 | 第58-59页 |
| 第四章 AOCA应用编程模式 | 第59-70页 |
| ·编程模式设计思路 | 第59-62页 |
| ·基础设施开发 | 第62-65页 |
| ·特征定义 | 第62-63页 |
| ·所有者规约 | 第63页 |
| ·探测器和执行器实例规约 | 第63-65页 |
| ·应用开发 | 第65-68页 |
| ·动作类型定义 | 第66页 |
| ·默认约束规约 | 第66页 |
| ·个性化约束规约 | 第66-67页 |
| ·开放性 | 第67-68页 |
| ·本章小结 | 第68-70页 |
| 第五章 AOCA应用开发支撑平台 | 第70-83页 |
| ·基础设施开发工具 | 第70-76页 |
| ·设计思路 | 第70-71页 |
| ·工具设计与实现 | 第71-74页 |
| ·基础设施开发示例 | 第74-76页 |
| ·环境约束开发工具 | 第76-81页 |
| ·设计思路 | 第77-78页 |
| ·工具设计与实现 | 第78-79页 |
| ·约束开发示例 | 第79-81页 |
| ·AOCA应用开发支撑平台集成 | 第81页 |
| ·本章小结 | 第81-83页 |
| 第六章 运行支撑平台PAOC | 第83-98页 |
| ·PAOC平台概述 | 第83-85页 |
| ·PAOC的实现 | 第85-95页 |
| ·环境基础设施 | 第86-88页 |
| ·动作运行 | 第88-90页 |
| ·上下文管理 | 第90-92页 |
| ·知识库 | 第92-95页 |
| ·案例 | 第95-96页 |
| ·应用场景描述 | 第95页 |
| ·运行时状态描述 | 第95-96页 |
| ·本章小结 | 第96-98页 |
| 第七章 AOCA应用形式化初探 | 第98-121页 |
| ·Ambient Calculus和Ambient Logic | 第99-102页 |
| ·Ambient Calculus | 第99-101页 |
| ·Ambient Logic | 第101页 |
| ·小结 | 第101-102页 |
| ·AOCA应用的形式化 | 第102-110页 |
| ·概述 | 第102-103页 |
| ·软件制品形式化 | 第103-107页 |
| ·运行系统的形式化 | 第107-110页 |
| ·AOCA应用运行状态形式化规约工具 | 第110-114页 |
| ·形式化规约工具设计 | 第110-111页 |
| ·AOCA应用运行状态Ambient树生成算法 | 第111-113页 |
| ·Ambient Calculus表达式生成算法 | 第113-114页 |
| ·案例研究 | 第114-120页 |
| ·软件制品形式化例 | 第114-116页 |
| ·运行系统形式化例 | 第116-118页 |
| ·形式验证案例分析 | 第118-120页 |
| ·本章小结 | 第120-121页 |
| 第八章 示例系统开发与实验评估 | 第121-136页 |
| ·示例系统：智能会议室 | 第121-127页 |
| ·系统概述 | 第121-122页 |
| ·基础设施开发 | 第122-124页 |
| ·动作相关的约束开发 | 第124-125页 |
| ·应用运行状态 | 第125-126页 |
| ·总结与讨论 | 第126-127页 |
| ·评估实验 | 第127-135页 |
| ·编程模式评估实验 | 第128-132页 |
| ·实验方法 | 第128-130页 |
| ·实验结果和分析 | 第130页 |
| ·有效性威胁因素 | 第130-132页 |
| ·编程模式评估实验的总结与讨论 | 第132页 |
| ·运行支撑平台评估实验 | 第132-135页 |
| ·实验过程与结果 | 第133-134页 |
| ·运行支撑平台评估实验的总结与讨论 | 第134-135页 |
| ·本章小结 | 第135-136页 |
| 第九章 总结与展望 | 第136-139页 |
| ·工作总结 | 第136-137页 |
| ·研究展望 | 第137-139页 |
| 参考文献 | 第139-149页 |
| 简历与科研成果 | 第149-151页 |
| 致谢 | 第151-152页 |