An Approach for Data-Driven and Logic-Based Complex Event Processing3rd ACM International Conference on Distributed Event-Based Systems (DEBS 2009), Nashville, USA06-09.July 2009Darko AnicicPaul Fodor Roland StühmerNenad StojanovicWIR FORSCHEN FÜR SIE

MotivationRole of Logic in Event Processing:Formal logical semantics to ground well defined behaviour of EP; Further on, to control reactive behaviour (actions/reactions) triggered by detected events;Problem:State-of-the-art logic-based EP is query driven (not event-driven)ETALIS approach is logic-based and event-driven!Reasoning over time, space, and context in EP;Detection of complex events, states, and situations of interest;Pattern rule management: consistency checking, minimal set of rules, correctness.

ETALIS Algorithm 1. Complex pattern (not event-driven rule)a ⊗ b ⊗ c -> ce12. Decoupling((a ⊗ b) ⊗ c) -> ce1a ⊗ b -> ie1ie1 ⊗ c -> ce13. Binarizationa :- while_do(a,1).a(1) :- ins(goal(b,a,ie1)). b :- while_do(b,1).b(1) :- goal(b,a,ie1) ⊗ del(goal(b,a,ie1)) ⊗ ie1.ie1 :- while_do(ie1,1).ie1(1) :- ins(goal(c,ie1,ce1)).c :- while_do(c,1).c(1) :- goal(c,ie1,ce1) ⊗ del(goal(c,ie1,ce1)) ⊗ ce1.ce1 :- action1.4. Event-driven backward chaining rules

ETALIS Update Algorithm a ⊗ b ⊗ c -> ce1a :- while_do(a,1).a(1) :- ins(goal(b,a,ie1)). b :- while_do(b,1).b(1) :- goal(b,a,ie1) ⊗ del(goal(b,a,ie1)) ⊗ ie1.ie1 :- while_do(ie1,1).ie1(1) :- ins(goal(c,ie1,ce1)).c :- while_do(c,1).c(1) :- goal(c,ie1,ce1) ⊗ del(goal(c,ie1,ce1)) ⊗ ce1.ce1 :- action1.

ETALIS Update Algorithm a ⊗ b ⊗ c -> ce1b ⊗ c ⊗ d -> ce2c ⊗ d -> ce3a :- while_do(a,1).a(1) :- ins(goal(b,a,ie1)). b :- while_do(b,1).b(1) :- goal(b,a,ie1) * del(goal(b,a,ie1)) * ie1.b(2) :- ins(goal(c,b,ie2)).c :- while_do(c,1).c(1) :- goal(c,ie1,ce1) * del(goal(c,ie1,ce1)) * ce1.c(2) :- goal(c,b,ie2) * del(goal(c,b,ie2)) * ie2.c(3) :- ins(goal(d,c,ce3)).d :- while_do(d,1).d(1) :- goal(d,ie2,ce2) * del(goal(d,ie2,ce2)) * ce2.d(2) :- goal(d,c,ce3) * del(goal(d,c,ce3)) * ce3.ie1 :- while_do(ie1,1).ie1(1) :- ins(goal(c,ie1,ce1)).ie2 :- while_do(ie2,1).ie2(1) :- ins(goal(d,ie2,ce2)).

Representation of Binary Events1. Complex pattern (not event-driven rule)a ⊗ b ⊗ c -> ce12. Decoupling((a ⊗ b) ⊗ c) -> ce1a ⊗ b -> ie1ie1 ⊗ c -> ce13. Binarization4. Representation of binary eventsce1ie1⊗⊗abcie1

ETALIS Candelas Event program: a ⊗ b ⊗ c -> ce1b ⊗ c ⊗ d -> ce2c ⊗ d -> ce3Action/Workflows triggers:e1 -> action1.e1 or e2 -> workflow1.e3 -> workflow2.abcdie1⊗ie2⊗⊗ce1ce2⊗ce3⊗

Advantages of ETALISPossibilities to discover a desired state in the process of pattern detection.Standard eventoperators supported: sequence parallel composition conjunction negation disjunction window operators etc.New operators easy to develop.Different consumption policies of events supported.Reasoning and querying over whole event space.⊗⊗⊗Aggregation functions supported: count sum min max average⊗⊗Handling out-of-order events supported.

sequence

parallel composition

conjunction

negation

disjunction

window operators etc.

count

sum

min

max

average

Thank you!ETALIS (Event-driven Transaction Logic Inference System)Open source: http://code.google.com/p/etalisSee also our Live DEMO at:http://krake26.perimeter.fzi.de:8080/etalisdarko.anicic@fzi.depfodor@cs.sunysb.eduroland.stuehmer@fzi.denenad.stojanovic@fzi.de