Event-driven approach for logic-based complex event processing

In this paper, we present a powerful logical encoding of complex event patterns into Transaction Logic programs. Complex Event Processing (CEP) deals with finding composed events and has useful applications in areas ranging from agile business and enterprise processes management, financial market applications to active Web and service oriented computation. Many systems for event processing have ad-hoc semantics with unexpected behaviors. Hence formal logical semantics is an important requirement for event-driven reactive systems. On the other hand, many logic-based approaches for CEP (based on formal semantics) fail, due to their inability to compute complex events in the data-driven fashion. Our approach enables both logic-based and data-driven complex event detection. Moreover, the proposed backward chaining approach allows for very efficient reasoning of complex events and actions triggered by these events.