There are several static and dynamic approaches for active rules termination analysis. We consider only static methods that at compile time detect potential non-terminating active rules execution.
对主动规则终止性分析已有静态和动态方法,其中静态方法使用较多,静态方法是在编译时间内检测主动规则执行的潜在非终止性。
youdao