异步环境下普适上下文的行为一致性约束检查

上下文一致性检查，即对上下文属性的指定约束进行检查，对于上下文感知应用至关重要。为了描绘并适应普适计算环境中的动态变化，上下文感知应用通常需要指定并检查上下文上的行为一致性约束。该问题的主要挑战在于普适计算环境的分布式和异步特性。具体而言，检查行为约束的关键问题是上下文活动的时间排序。上下文活动通常涉及多个上下文收集设备，这些设备完全去中心化并以异步方式交互。然而，现有的上下文一致性检查方案在异步环境中无法工作，因为它们隐式地假设存在全局时钟或依赖于同步交互。为此，我们提出了排序全局活动（OGA）算法，该算法基于异步环境中的谓词检测来检测全局活动的顺序。我们方法的核心是消息因果性及其在异步环境中作为逻辑向量时钟的即时编码。我们实现了异步环境中谓词检测的中间件基础设施（MIPA），并在其上实现和评估了OGA算法。评估结果显示了异步性对行为一致性约束检查的影响，这证实了我们工作的主要动机。结果还表明，OGA能够在动态普适计算环境中实现行为一致性约束的精确检查。