计算机研究与发展

作者：杨波,郭浩然,冯俊辉,李戈,金芝,

关键词：物联网, 智能系统, 规则冲突, 冲突检测, 规则形式化,

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

来源：2023年第3期

《计算机研究与发展》期刊编辑部

查看计算机研究与发展杂志2023年第3期