基于触发路径的主动规则集终止性分析

• 作者: 吴烨 吴秋云 张震 熊伟
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 主动规则 触发路径 有限触发环 终止性分析 关联图
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 65-75
• 分类号: TP311
• 字数: 11153字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2012.00065

摘要

为满足用户对网络服务的个性化、定制化和主动化需求,主动规则成为解决这些问题的关键技术.研究了在网络环境下基于规则的复杂应用中,大量规则集同时触发所带来的规则终止性问题,提出的分析方法确保主动规则能够有效运行,以提供更加灵活的主动服务.讨论了以静态分析方法为主的主动规则终止性分析相关工作,随后给出问题描述和相关形式化定义.分析了基于关联图的终止性分析方法的保守性,引入触发路径和有限触发环概念,提出了基于触发路径的两种终止情形分析方法,提高了规则集终止性分析的准确性,采用两阶段分析算法保证了分析效率.与相关分析方法的实验比较说明,文中方法能够更准确高效地检测主动规则集的终止性,并适应基于主动规则的其它应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	熊伟	国防科学技术大学电子科学与工程学院	36	446	12.0	20.0
2	吴秋云	国防科学技术大学电子科学与工程学院	19	230	7.0	15.0
3	吴烨	国防科学技术大学电子科学与工程学院	13	96	5.0	9.0
4	张震	国防科学技术大学电子科学与工程学院	11	110	6.0	10.0