When a Broker message flow is deleted, or the owning execution group is ended, the Broker does not invoke a termination method on every thread in the pool that has been active.

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.

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.