一种基于抽象格结构的异步普适计算环境感知方法

摘要

本发明公开了一种基于抽象格结构的异步普适计算环境感知方法。在异步的普适计算环境中，传感器设备收集环境信息，并发送给信息处理基站，局部区域的信息处理基站将环境信息封装为局部状态，并发送给服务器上的中间件处理进程，该进程将收集到的局部状态组合成全局快照，并用抽象格结构建模整个普适计算环境的变化过程，通过谓词检测来确定普适计算环境是否满足应用程序提出的特性，从而实现对异步普适计算环境的感知。由于普适计算环境的异步性，传感器设备收集到的局部环境信息是异步的，这些局部环境信息可以组成不同的全局快照，全局快照和它们之间的时序关系形成全局快照格，全面描述了异步普适计算环境的变化过程。

主权项

一种基于抽象格结构的异步普适计算环境感知方法，其特征在于包括如下步骤：1）在异步普适计算环境中，环境信息处理基站收集传感器采集到的环境信息，封装成局部状态，并发送给中间件处理进程；2）中间件处理进程将收集到的局部状态组合成全局状态，又称全局快照，所有这种可能的全局状态构成一个全局快照集合；3）中间件处理进程将持续感知异步普适计算环境所得到的全局快照集合按照它们之间的时序关系，建模成全局快照格；4）中间件处理进程通过遍历全局快照格，检测应用程序提出的谓词是否成立，进而感知异步普适计算环境的变化，并通知应用程序自适应的调整自身的行为。