The paper involves the conception of Internal-procedure and External-procedure, as well the study of method of rule termination analysis in search of active mechanism.
在主动机制系统中,本文提出了内部过程和外部过程的概念,并对规则终止性分析的方法进行了研究。
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.
对主动规则终止性分析已有静态和动态方法,其中静态方法使用较多,静态方法是在编译时间内检测主动规则执行的潜在非终止性。
In this paper we also discussed the rule analysis theory. By defining trigger graph, active graph and de-active graph we gave a static rule analysis algorithm of deciding of the rule termination.
本文还探讨了规则分析理论,通过定义触发图、活化图和惰化图,给出一个规则终止性静态分析算法,提高了规则终止性判定的准确性。
In this paper we also discussed the rule analysis theory. By defining trigger graph, active graph and de-active graph we gave a static rule analysis algorithm of deciding of the rule termination.
本文还探讨了规则分析理论,通过定义触发图、活化图和惰化图,给出一个规则终止性静态分析算法,提高了规则终止性判定的准确性。
应用推荐