| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 基于触发路径的主动规则集终止性分析 |
| 作者 | 熊伟 吴烨 张震 吴秋云 |
| 作者单位 | (国防科学技术大学电子科学与工程学院 长沙 410073) |
| 发表年份 | 2012 |
| 发表月份 | 1期(65—75) |
| 文章摘要 | 摘要 为满足用户对网络服务的个性化、定制化和主动化需求，主动规则成为解决这些问题的关键技术.研究了在网络环境下基于规则的复杂应用中，大量规则集同时触发所带来的规则终止性问题，提出的分析方法确保主动规则能够有效运行，以提供更加灵活的主动服务.讨论了以静态分析方法为主的主动规则终止性分析相关工作，随后给出问题描述和相关形式化定义.分析了基于关联图的终止性分析方法的保守性，引入触发路径和有限触发环概念，提出了基于触发路径的两种终止情形分析方法，提高了规则集终止性分析的准确性，采用两阶段分析算法保证了分析效率.与相关分析方法的实验比较说明，文中方法能够更准确高效地检测主动规则集的终止性，并适应基于主动规则的其它应用. 关键词 主动规则；触发路径；有限触发环；终止性分析；关联图 中图法分类号 TP311 DOI号: 10.3724/SP.J.1016.2012.00065 |