一种改进的规则终止性分析方法的研究

An improved method for rule termination analysis research

提出一种新的规则终止性静态分析方法REG,它在全面考虑触发图、活化图和惰化图的基础上引入事务的思想。对于规则的终止性分析,采用REG方法比基于进化图的分析方法更具体、精确,接着给出了REG的算法并证明其正确性。

We propse a improved method called REG for rule termination analysis ,the method which takes advantage of information within a transaction relies on evolution graphs simulating rule processing statically and considering both rule activation and deactivation.Using transaction,the new method provide a more specific and precise analysis than the evolution graph method ,then we show the REG algorithm testing rules termination and verify its correctness.