Termination Analysis for Active Rule Set Based on Triggering Path
Wu Qiu · Chinese Journal of Computers · 2012
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.