计算机应用与软件2017，Vol.34Issue(2)：74-79,6.DOI:10.3969/j.issn.1000-386x.2017.02.013
基于时间自动机的ECA规则交互问题研究
RESEARCH ON ECA RULES INTERACTION PROBLEMS BASED ON TIMED AUTOMATA
摘要
Abstract
The evaluation and execution of each Event-Condition-Action (ECA) rule is considered to be independent from the others.But interactions of rule actions can cause the system behaviors to be unpredictable or unsafe.Typical problems are inconsistencies,and termination problems among rules.In response to these problems,the ECA rule is proposed to be converted into timed automata to analyze the interaction of rules.Then,a verification tool of timed automata which is named UPPAAL is used to verify the interaction problem among the rules set.A case of smart assisting system for dementia is used to prove this method.Experimental results demonstrate the feasibility and effectiveness of this method.关键词
ECA规则/时间自动机/转换/UPPAALKey words
ECA rules/Timed automata/Conversion/UPPAAL分类
信息技术与安全科学引用本文复制引用
赵鑫,卢涛..基于时间自动机的ECA规则交互问题研究[J].计算机应用与软件,2017,34(2):74-79,6.基金项目
国家自然科学基金项目(71271038). （71271038）
