[发明专利]一种上下文一致性检测与修复系统及检验方法与平台

摘要

本说明书公开了一种上下文一致性检测与修复系统及检验方法与平台。平台布设有传感器，并通过控制物理设备在其中测试。平台能够利用传感器实时不间断地采集环境上下文信息，通过一致性检测与修复系统来消除上下文的不一致性，然后触发各类事件，上层应用监听特定事件，及时地对物理设备进行调度，在真实环境中做出反馈，从而有效验证一致性检测与修复的正确性。本发明的平台包括设备连接与控制模块，状态转移模块，事件监听模块，自适应调度模块和应用模块。对上下文的采集、检测与修复，上层应用的反馈，设备的连接均是自动进行的。用户可自由选择运行场景，改变检测与修复模式，以更明显地体现一致性检测与修复方法的作用。

主权项

一种上下文一致性检测与修复系统，其特征在于，包括：一致性约束，所述一致性约束限定环境上下文信息必须满足的条件；所述一致性约束基于一阶逻辑语言进行描述；所述一致性约束中的全称量词和存在性量词对应于上下文集合；一致性检测模块，对于采集到的环境上下文信息，使用所述一致性约束描述上下文应当满足的性质，并在发生任何上下文变化时检查所述一致性约束是否被违反，从而验证环境上下文信息的一致性；一致性修复模块，对于检测到的一致性错误，选择是否修复环境上下文信息；当修复环境上下文信息，采用删除部分上下文或自定义的修复方式，使得环境上下文信息重新满足一致性约束；所述上下文集合，由同一类型的环境上下文信息组成，所述上下文集合中的环境上下文信息通常有类似的结构；所述上下文一致性检测与修复是指验证上下文感知应用的环境和提升上下文信息质量的过程；所述上下文感知应用是利用传感器，使用环境信息为用户提供服务与功能的应用程序。