6、基于标准的自主上下文管理系统与自x属性系统的形式化建模验证

基于标准的自主上下文管理系统与自x属性系统的形式化建模验证

1. 传感器与上下文管理系统概述

传感器分为物理传感器（如温度传感器、GPS 设备）和逻辑传感器。逻辑传感器通常是物理传感器结合额外软件，能支持比单一物理传感器更复杂的传感现象。例如图 2 中的相机，作为物理传感器它提供图像流，而应急服务场景所需的智能相机则增加了人脸、场景和车牌识别软件。

上下文管理系统的作用是获取、存储上下文信息（通常以上下文事实的形式），并通过查询和/或基于订阅的通知将这些信息传播给应用程序。为了实现上下文源的运行时发现和替换，上下文管理系统需要以下额外信息和功能：
- 传感器描述存储库 ：支持传感器的发现。结合使用 TEDS 和 SensorML，TEDS 支持传感器实例的动态发现和识别，SensorML 可描述传感器匹配和管理所需的额外信息。
- 当前上下文源集合 ：支持传感器的运行时替换。上下文管理系统需要了解当前的传感器绑定，以便在传感器故障或用户移动时进行替换。
- 观测 - 上下文事实映射 ：支持将任意传感器的观测结果集成到应用层上下文模型中。该映射可由上下文模型的设计者通过扩展模型的元数据来指定，采用 OGC 的 O&M 建议的观测格式，以促进不同传感器类型和上下文管理系统之间的互操作性。
- 传感器匹配限制 ：支持根据应用程序定义的上下文事实类型发现新传感器。这些限制由应用程序设计者根据观测 - 上下文事实映射创建，规定所需的传感现象（如“FaceRecognition”）以及与应用相关的限制（如传感器必须