科研之友
微信
新浪微博
Facebook
分享链接
摘要
物联网系统架构的核心是逻辑控制器，逻辑控制器中使用规则控制业务逻辑，减少物联网系统的开发、维护成本，提高物联网设备的灵活性.但随着物联网系统的规模扩大，规则间的关系变得复杂，从而可能产生规则冲突.为避免规则发生冲突，一些研究者提出了规则冲突检测方法.但是，以往的规则冲突检测方法还存在规则冲突类型分析不全面、检测结果准确性较低的问题.为此提出一种针对物联网系统控制逻辑的形式化规则冲突检测方法 (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规则冲突检测方法效果更好.
- 单位
