基于时间自动机的ECA规则交互问题研究.pdfVIP

Vol. 34 No.2 计算机应用与软件 第 34 卷第 2 期 2017 年2 月 Computer Applications and Software Feb. 2017 基于时间自动机的 ECA 规则交互问题研究 赵鑫卢涛 (大连理工大学管理与经济学部辽宁大连 116024) 摘 要 Event-Condition-Action( ECA) 规则的评估和执行独立于其他规则，但规则行为间交互作用可能导致系 统行为不可预测或不安全。典型的问题有规则的不一致性和终止性。针对上述问题，提出将 ECA 规则转换为时 间自动机，对规则之间的交互进行分析。采用时间自动机验证工具 UPPAAL 验证规则集合是否存在交互问题。 以痴呆老人智能辅助系统为例，实验结果证明了该方法的可行性和有效性。