[发明专利]一种基于环境上下文一致性的统一处理系统、方法

权利要求书

1.一种基于环境上下文一致性的统一处理系统，其特征在于，所述统一处理系统包括：

用户界面模块，用于输入应用场景依赖和选择系统配置，以及展示一致性检测的结果；

应用场景依赖解析模块，用于对输入的应用场景依赖进行解析，得到对应的环境上下文数据、一致性约束和约束相关的上下文集合模式，判定其是否合法；

配置解析模块，用于对输入的系统配置进行解析，根据系统配置实例化调度策略、检测技术和运行方式，并对于搭配的特定的调度策略和检测技术组合进行判定，判定组合搭配是否合法；其中，运行方式包括静态检测和动态检测两种；

调度策略模块，用于管理系统支持的多种调度策略算法，以及根据读取的环境上下文数据判定是否调度一致性约束检测；

检测技术模块，用于管理系统支持的多种检测技术算法，以及根据调度策略模块发送的检测指令运行一致性约束检测，输出一致性错误报告和辅助报告；

当运行方式为静态检测时，直接读取本地环境上下文数据并给予充分的运行时间进行一致性检测，当运行方式为动态检测时，由客户端的传感器感知模拟现实场景中环境上下文，通过网络从客户端读取模拟数据进行实时的一致性检测。

2.根据权利要求1所述的基于环境上下文一致性的统一处理系统，其特征在于，所述调度策略模块采用统一的调度接口实现了多种相关调度策略，包含ImmedSched、BatchSched、GEAS-ori和GEAS-opt，并支持在这个统一接口的基础上拓展新的调度策略。

3.根据权利要求1所述的基于环境上下文一致性的统一处理系统，其特征在于，所述检测技术模块采用统一检测的接口实现了多种相关检测技术，包含ECC、Con-C、GAIN和PCC，并支持在这个统一接口的基础上拓展新的检测技术。

4.根据权利要求1所述的基于环境上下文一致性的统一处理系统，其特征在于，所述应用场景依赖解析模块包括：

环境上下文数据解析器，根据数据格式和含义实现系统提供的接口来自定义默认数据解析器，用于对输入的环境上下文数据进行解析；

一致性约束解析器，默认采用一阶逻辑语言的解析器形式，用于对输入的一致性约束进行解析；

上下文集合模式解析器，用于解析与约束相关的上下文集合模式，每个模式都描述了需要满足的特定一致性约束的环境上下文的特征，将符合特征的环境上下文构成一个集合。

5.根据权利要求1或者4所述的基于环境上下文一致性的统一处理系统，其特征在于，输入的环境上下文数据、一致性约束以及约束相关的上下文集合模式的格式以用户手册的形式给出。

6.根据权利要求1所述的基于环境上下文一致性的统一处理系统，其特征在于，所述一致性错误报告包括具体一致性错误的数目及细节描述，所述辅助报告包括检测耗费时间信息、检测误报和检测漏报信息。

7.根据权利要求1所述的基于环境上下文一致性的统一处理系统，其特征在于，所述一致性错误报告和辅助报告由用户界面模块以图文结合的方式展示，用户界面模块同时还展示环境上下文数据的数据量和数据间隔。

8.根据权利要求1所述的基于环境上下文一致性的统一处理系统，其特征在于，所述调度策略模块根据统一调度策略接口实现ImmedSched、BatchSched、GEAS-ori和GEAS-opt算法，并支持利用这个接口将新的调度策略算法嵌入到系统中，并在用户界面模块添加相应的配置选项。

9.根据权利要求1所述的基于环境上下文一致性的统一处理系统，其特征在于，所述检测技术模块根据统一检测技术接口实现ECC、Con-C、GAIN和PCC算法，并支持利用这个接口将新的检测技术嵌入到系统中，并在用户界面模块添加相应的配置选项。

10.一种基于环境上下文一致性的统一处理方法，其特征在于，所述统一处理方法基于权利要求1-9任一项中所述的基于环境上下文一致性的统一处理系统执行，包括：

S1，由用户界面模块接受应用场景依赖和相关配置信息，转步骤S2；

S2，由应用场景依赖解析模块解析输入的场景依赖，包括环境上下文数据、一致性约束和约束相关的上下文集合模式，并判定它们是否合法，若合法转步骤s3，否则转步骤S1；

S3，由配置解析模块解析输入的配置，包括根据配置实例化调度策略、检测技术模块以及选择运行方式，并判定是否合法，若合法转步骤S4，否则转步骤S1；

S4，判定运行方式，若为静态检测转步骤S5，动态检则等待客户端模块的网络连接接收环境上下文数据，接收到数据后转步骤S5；

S5，由调度策略模块根据本地或远程(静态或动态)读取的环境上下文数据判定是否调度一次一致性约束检测，转步骤S6；

S6，由检测技术模块运行一次一致性检测，判定是否结束检测，若结束则退出，否则转步骤S4。