Towards Creation of Logical Framework for Event-Driven Information Systems
Event-Condition-Action (ECA) rules offer extensible and flexible approach to realizing active Enterprise Information Systems. Such systems are enabled to actively respond on events or state changes. Hence their behavior is programable by means of ECA rules. We propose an implementation of ECA rules in a completely logical framework, usingTransaction Datalog ¬ as an underlying logic. In this way, we extend the current ECA framework by means of powerful and declarative semantics, which also have an appropriate procedural interpretation. We show how a logical calculus of Transaction Datalog ¬ can be exploited for realizing composite events, conditions, and actions; justifying the use of declarative semantics for solving some of the existing issues in reactive systems.