Release Time:2019-03-11  Hits:

Indexed by: Journal Article

Date of Publication: 2017-02-15

Journal: 计算机应用与软件

Volume: 34

Issue: 2

Page Number: 74-79

ISSN: 1000-386X

Key Words: ECA规则;时间自动机;转换;UPPAAL

Abstract: Event-Condition-Action (ECA)规则的评估和执行独立于其他规则,但规则行为间交互作用可能导致系统行为不可预测或不安全.典型的问题有规则的不一致性和终止性.针对上述问题,提出将ECA规则转换为时间自动机,对规则之间的交互进行分析.采用时间自动机验证工具UPPAAL验证规则集合是否存在交互问题.以痴呆老人智能辅助系统为例,实验结果证明了该方法的可行性和有效性.