中文摘要：

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

英文摘要：

The demands for Web service are becoming more and more personalized,customized and active,active rule is one of the key techniques to meet this requirement.In those large scale and complicated Web applications with active rule,the termination problem of rule sets triggered simultaneously is important and attracted great interests of research.Therefore,analytical methods are provided for efficient execution of rule and flexibility of active service.Compile-Time analysis methods and problems are overviewed.Then,the problem descriptions and formal definitions are presented.For the conservation of previous techniques based on relationship graph,triggering path method is proposed to improve the accuracy of termination analysis for active rule set.The main contribution of this method is the definition of finite trigger ring.Two new cases of termination in the triggering path are used to improve the accuracy of traditional methods.Because of the higher complexity of triggering path algorithm,a two-stage analysis algorithm is proposed to ensure efficiency of the analysis.Compared with other methods,the experiments show that triggering path technique can detect more termination cases.Combined the two stage strategy,the time efficiency of the algorithm is close to relationship graph algorithm.The results also show that this method can be applied in other concurrent and dynamic network environments based on active rule.