在主动机制系统中,本文提出了内部过程和外部过程的概念,并对规则终止性分析的方法进行了研究。
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.
应用推荐