[论文解读] Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments

Yu Huang, Jianping Yu+4 more|ArXiv.org|Nov 1, 2009

Context-Aware Activity Recognition Systems参考文献 35被引用 7

一句话总结

本文提出排序全局活动（OGA）算法，通过利用消息因果关系和逻辑向量时钟，确定异步普适计算环境中分布式上下文活动的时间顺序，以检查行为一致性约束。在MIPA中间件上进行评估，OGA在存在异步性的情况下仍能实现高精度的全局活动顺序检测，表现出对可变延迟和更新间隔的鲁棒性。

ABSTRACT

Context consistency checking, the checking of specified constraint on properties of contexts, is essential to context-aware applications. In order to delineate and adapt to dynamic changes in the pervasive computing environment, context-aware applications often need to specify and check behavioral consistency constraints over the contexts. This problem is challenging mainly due to the distributed and asynchronous nature of pervasive computing environments. Specifically, the critical issue in checking behavioral constraints is the temporal ordering of contextual activities. The contextual activities usually involve multiple context collecting devices, which are fully-decentralized and interact in an asynchronous manner. However, existing context consistency checking schemes do not work in asynchronous environments, since they implicitly assume the availability of a global clock or relay on synchronized interactions. To this end, we propose the Ordering Global Activity (OGA) algorithm, which detects the ordering of the global activities based on predicate detection in asynchronous environments. The essence of our approach is the message causality and its on-the-fly coding as logic vector clocks in asynchronous environments. We implement the Middleware Infrastructure for Predicate detection in Asynchronous environments (MIPA), over which the OGA algorithm is implemented and evaluated. The evaluation results show the impact of asynchrony on the checking of behavioral consistency constraints, which justifies the primary motivation of our work. They also show that OGA can achieve accurate checking of behavioral consistency constraints in dynamic pervasive computing environments.

研究动机与目标

• 解决在无全局时钟的完全异步、去中心化的普适计算环境中检查行为一致性约束的挑战。
• 基于从并发本地上下文事件推导出的全局活动时间顺序，定义行为一致性约束。
• 开发一种不依赖同步时钟或全局时间快照的实用解决方案。
• 评估异步性（如消息延迟和更新间隔）对一致性检查精度的影响。
• 在中间件基础设施（MIPA）中实现并验证OGA算法，以支持真实世界的普适计算场景。

提出的方法

• OGA算法通过在异步系统中分析消息因果关系，利用逻辑向量时钟检测全局上下文活动的顺序。
• 将上下文活动建模为事件，并利用‘之前发生’关系推断跨分布式设备的时间顺序。
• 该方法基于异步环境中谓词检测的中间件基础设施（MIPA），支持无需全局同步的分布式谓词检测。
• 全局活动被定义为多个上下文采集设备上并发本地活动的集合，其顺序通过因果依赖关系确定。
• 系统通过在运行时将因果关系编码为向量时间戳，以跟踪去中心化节点间事件序列。
• OGA算法在智能锁用例中进行评估，以模拟真实世界的异步性和行为模式检测。

实验结果

研究问题

• RQ1 普适计算环境中的异步性如何影响行为一致性约束检查的准确性？
• RQ2 在无全局时钟的情况下，哪些机制可可靠地确定全局上下文活动的时间顺序？
• RQ3 消息因果关系和向量时钟能否有效用于检测分布式上下文感知系统中的行为模式？
• RQ4 不同的消息延迟和更新间隔如何影响行为一致性检查的性能？
• RQ5 中间件基础设施能否在异步普适计算环境中支持高效且准确的谓词检测，以实现行为约束？

主要发现

• 即使在长达300秒的消息延迟下，OGA仍能以高概率正确检测全局上下文活动的顺序。
• 当消息延迟在6秒以内时，正确检测的概率保持在90%以上，表明对中等程度异步具有强鲁棒性。
• 随着更新间隔的增加，检测精度下降，但在更新间隔不超过10秒时，仍保持在85%以上。
• 用户在特定上下文中的停留时长（例如办公室停留时间）对检测精度影响较小，仅在停留时间超过50分钟时出现轻微下降。
• 评估结果证实，异步性显著影响一致性检查，验证了OGA因果排序方法的必要性。