Termination analysis of active rules — A Petri net based approach

Active rules allow software systems behave automatically when relevant events take place. Due to unstructured rule processing, it is necessary to inspect behavior characteristics such as termination which guarantees that rule processing finishes. In this paper we introduce potential termination concept which gives valuable information about those rules whose processing may not terminate during execution time. It is very useful to manage possible bad scenarios. We also describe our Petri net-based approach to effectively detect termination and potential termination problems.