Aplicación de Bases de Datos Activas en un sistema bancario

En este trabajo se presenta un modelo de red de Petri que puede ser utilizada para representar reglas ECA, así como un software que se ha desarrollado, denominado ECAPNSim, donde una base de reglas ECA, puede ser convertida en un red de Petri extendida, con la finalidad de analizar el comportamiento de las reglas, y en su caso, poder ser conectadas a un sistema de base de datos y, que este sistema, reaccione automáticamente ante la ocurrencia de eventos de interés para el administrador del sistema. Además, se muestra un caso de estudio sobre un sistema bancario, donde se utilizan reglas ECA para lograr un estado consistente de la base de datos.