Static Verification of Active Rule-Base System

L. Chavarría-Báez and X. Li (Mexico)


Active rules (ECA rules), Petri nets, knowledge based system, verification.


Active rules are a mechanism to provide reactive be havior to software system. Determining if a rule set is free of errors is an important process for both rule base design and maintenance. In this paper, we extend the errors conceptions which are adopted generally in production rule base to active rule base. Then a Petri net based method is proposed for error detection. The advantage of our approach is that the de tection is independent on initial markings of the Petri net model.

Important Links:

Go Back