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

• 作者: 卢涛 赵鑫
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: ECA规则 时间自动机 转换 UPPAAL
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 应用技术与研究
• 页码范围: 74-79
• 页数: 6页
• 分类号: TP391
• 字数: 4597字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2017.02.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢涛	大连理工大学管理与经济学部	17	123	7.0	10.0
2	赵鑫	大连理工大学管理与经济学部	2	3	1.0	1.0