Systems, Man, and Cybernetics

 

Home

• [P1012] Termination Analysis of Active Rules - A Petri Net Based Approach
  Author(s): Xiaoou Li, Lorena Chavarria-Baez
  
  

  Abstract
  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 it very useful to manage possible bad scenarios. We also describe our Petri net-based approach to effectively detect termination and potential termination problems.

  
   

Full Text (PDF)