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

第 35卷 第 1期 计 算 机 学 报 Vo1．35 No．1 2012年 1月 CHINE『SEJOURNALOF COM PUTERS Jan．2012 基于触发路径的主动规则集终止性分析 熊 伟 吴 烨 张 震 吴秋云 (国防科学技术大学电子科学与工程学 院 长沙 410073) 摘 要 为满足用户对 网络服务 的个性化、定制化和主动化需求 ，主动规则成为解决这些问题 的关键技术．研究了 在 网络环境下基于规则的复杂应用 中，大量规则集同时触发所带来 的规则终止性 问题 ，提 出的分析方法确保主动 规则能够有效运行，以提供更加灵活的主动服务 ．讨论 了以静态分析方法为主的主动规则终止性分析相关工作 ，随 后给 出问