Event-driven approach for logic-based complex event processing

Proceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009

Volumn 1, Issue , 2009, Pages 56-63

  Anicic, Darko ^a   Fodor, Paul ^b   Stühmer, Roland ^a   Stojanovic, Nenad ^a  

^a FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

^b Stony Brook University   (United States)

Author keywords

Complex event processing; Event driven backward chaining rules

Indexed keywords

BACKWARD CHAINING; COMPLEX EVENT DETECTION; COMPLEX EVENT PROCESSING; DATA-DRIVEN; EVENT DRIVEN; EVENT PATTERN; EVENT-DRIVEN APPROACH; FINANCIAL MARKET; FORMAL SEMANTICS; LOGIC PROGRAMS; LOGIC-BASED APPROACH; LOGICAL ENCODING; LOGICAL SEMANTICS; REACTIVE SYSTEM; SERVICE ORIENTED;

FORMAL METHODS; LOGIC PROGRAMMING; SEMANTICS;

COMPUTATIONAL LINGUISTICS;

EID: 70749104752     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSE.2009.402     Document Type: Conference Paper

References (9)

1. F. Bry and M. Eckert, "Rule-based composite event queries: The language xchangeeq and its semantics," in RR. Springer, 2007.
2. A. Paschke, A. Kozlenkov, and H. Boley, "A homogenous reaction rules language for complex event processing," in International Workshop on Event Drive Architecture for Complex Event Process. ACM, 2007.
3. P. Haley, "Data-driven backward chaining," in International Joint Conferences on Artificial Intelligence. Milan, Italy, 1987.
4. E. Behrends, O. Fritzen, W. May, and F. Schenk, "Combining eca rules with process algebras for the semantic web," in RuleML, 2006.
5. N. W. Paton and O. Díaz, "Active database systems," in ACM Comput. Surv. ACM, 1999.
6. R. Milner, "Calculi for synchrony and asynchrony," in Theor. Comput. Sci., 1983.
7. A. J. Bonner and M. Kifer, "Concurrency and communication in transaction logic," in Joint International Conference and Symposium on Logic Programming. MIT Press, 1996.
8. A. J. Bonner and M. Kifer, "Transaction logic programming (or, a logic of procedural and declarative knowledge," in Technical Report CSRI-270, 1995.
9. D. Roman and M. Kifer, "Reasoning about the behavior of semantic web services with concurrent transaction logic," in VLDB '07: Proceedings of the 33rd international conference on Very large data bases. VLDB Endowmentg, 2007.