On the base of this model, we give the method based on execution graph that is used to analyze the confluence and the condition that guarantees that the set of rules is confluent.

• 在此模型的基础上，提出了基于执行图的汇流性分析方法，给出了路径汇流和边汇流的定理，并提出了保证规则集汇流的条件。