摘要
物联网系统架构的核心是逻辑控制器,逻辑控制器中使用规则控制业务逻辑,减少物联网系统的开发、维护成本,提高物联网设备的灵活性. 但随着物联网系统的规模扩大,规则间的关系变得复杂,从而可能产生规则冲突. 为避免规则发生冲突,一些研究者提出了规则冲突检测方法. 但是,以往的规则冲突检测方法还存在规则冲突类型分析不全面、检测结果准确性较低的问题. 为此提出一种针对物联网系统控制逻辑的形式化规则冲突检测方法(formal rule conflict detection,FRCD). 该方法首先形式化定义规则及规则冲突,其中将规则定义为控制主体、动作、触发条件、符号的组合;然后根据规则对系统的影响以及规则的结构特征,总结出7类规则冲突类型;最后设计规则冲突检测的算法,并介绍规则冲突检测的详细过程. 在2个物联网系统上开展实验,与已有的3种典型的物联网规则冲突检测方法进行对比. 这3种方法分别是基于用户、触发器、环境实体和作动器的冲突检测方法(user, triggers, environment entities, and actuators, UTEA)、基于Web语义的策略冲突检测方法(semantic Web-based policy interaction detection with rules, SPIDER)和半形式化的冲突检测方法(identifying requirements interactions using semiformal, IRIS). 实验结果显示,FRCD规则冲突检测方法效果更好.
NETL
NSTL
维普
万方数据