An Active Rule Base Simulator based on Petri Nets

Event-condition-action d e s , in active database systems, should be performed carefully, because iheir firings can produce inconsistent states in database systems. In this paper, an ECA rule base simulator is described, named ECAPNSim, which uses a Conditional Colored Petri Net model to depict ECA rules. It can model ECA rules, simulate their behavior, and perform a static analysis.

[1]  Xiaoou Li,et al.  Composite Event Speci cation in Active Database Systems : A Petri Nets Approach , 2004 .

[2]  Joselito Medina Marín,et al.  A Structural Model of ECA Rules in Active Database , 2002, MICAI.

[3]  Eric N. Hanson,et al.  The Design and Implementation of the Ariel Active Database Rule System , 1996, IEEE Trans. Knowl. Data Eng..

[4]  Klaus R. Dittrich,et al.  Detecting composite events in active database systems using Petri nets , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[5]  Detlef Zimmer,et al.  Rule Termination Analysis Based on a Rule Meta Model , 1995 .

[6]  Markus Schlesinger,et al.  Rule Modelling and Simulation in ALFRED , 1997, Rules in Database Systems.

[7]  Kurt Jensen,et al.  An Introduction to the Theoretical Aspects of Coloured Petri Nets , 1993, REX School/Symposium.

[8]  Jennifer Widom,et al.  The Starburst Active Database Rule System , 1996, IEEE Trans. Knowl. Data Eng..