普适计算中基于集合的上下文建模和操作

上下文感知是普适计算的最主要特征之一.现今关于上下文相关的形式化工作主要集中在两个方面:上下文表示以及系统行为建模;而在关于如何刻画上下文时间特性以及如何对上下文进行操作这方面的形式化工作却很少.提出一套基于集合的用于描述上下文及其操作的形式化模型.在该模型中,上下文被定义为一系列上下文条目(contextentry)所组成的集合;在此基础之上,引入一系列上下文操作(operation),通过对这些操作的组合,可以依据应用的不同需求来描述相应的上下文处理流程和逻辑.此外,还给出了一个参考实现,以验证该模型的可用性.