Rule-Based Event Processing and Reaction Rules

Reaction rules and event processing technologies play a key role in making business and IT / Internet infrastructures more agile and active. While event processing is concerned with detecting events from large event clouds or streams in almost real-time, reaction rules are concerned with the invocation of actions in response to events and actionable situations. They state the conditions under which actions must be taken. In the last decades various reaction rule and event processing approaches have been developed, which for the most part have been advanced separately. In this paper we survey reaction rule approaches and rule-based event processing systems and languages.

[1]  Gerd Wagner,et al.  Rule-based agents for the semantic web , 2003, Electron. Commer. Res. Appl..

[2]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[3]  Martín Abadi,et al.  Security analysis of cryptographically controlled access to XML documents , 2005, PODS '05.

[4]  Bertram Ludäscher.  Integration of Active and Deductive Database Rules , 1998, DISDBIS.

[5]  Martin Bichler,et al.  SLA representation, management and enforcement , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[6]  Michael Eckert,et al.  Reactivity on the web: paradigms and applications of the language XChange , 2005, SAC '05.

[7]  Paolo Mancarella,et al.  Production Systems with Negation as Failure , 2002, IEEE Trans. Knowl. Data Eng..

[8]  Robert Meolic,et al.  An Action Computation Tree Logic With Unless Operator , 2003 .

[9]  Enrico Giunchiglia,et al.  An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.

[10]  Narain H. Gehani,et al.  Event specification in an active object-oriented database , 1992, SIGMOD '92.

[11]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[12]  Stefano Ceri,et al.  Rules in database systems , 1996, CSUR.

[13]  Jorge Lobo,et al.  Formal Characterization of Active Databases , 1996, Logic in Databases.

[14]  Adrian Paschke,et al.  A Homogeneous Reaction Rule Language for Complex Event Processing , 2010, ArXiv.

[15]  Herbert Schorr,et al.  Innovative applications of artificial intelligence 2 , 1989 .

[16]  Jennifer Widom,et al.  Set-oriented production rules in relational database systems , 1990, SIGMOD '90.

[17]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[18]  Juan Carlos Augusto,et al.  Two Approaches to Event Definition , 2002, DEXA.

[19]  A. Campbell,et al.  Progress in Artificial Intelligence , 1995, Lecture Notes in Computer Science.

[20]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[21]  Sharma Chakravarthy,et al.  SnoopIB: Interval-based event specification and detection for active databases , 2003, Data Knowl. Eng..

[22]  Ralph Arnote,et al.  Hong Kong (China) , 1996, OECD/G20 Base Erosion and Profit Shifting Project.

[23]  José Júlio Alferes,et al.  On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints , 2001, EPIA.

[24]  Don Batory.  The LEAPS Algorithm , 1994 .

[25]  Serge Abiteboul,et al.  Datalog Extensions for Database Queries and Updates , 1991, J. Comput. Syst. Sci..

[26]  Carlo Zaniolo,et al.  A Unified Semantics for Active and Deductive Databases , 1993, Rules in Database Systems.

[27]  Opher Etzion,et al.  Amit - the situation manager , 2003, The VLDB Journal.

[28]  Alon Y. Halevy,et al.  Updating XML , 2001, SIGMOD '01.

[29]  Christine Collet,et al.  Composite Events in NAOS , 1996, DEXA.

[30]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[31]  Sharma Chakravarthy,et al.  Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.

[32]  Adrian Paschke,et al.  Using Rule-Based Concepts as Foundation for Higher-Level Agent Architectures , 2009 .

[33]  Daniel P. Miranker.  TREAT: A new and efficient match algorithm for AI production systems , 1988 .

[34]  Mengchi Liu,et al.  A Declarative XML-RL Update Language , 2003, ER.

[35]  Kenneth R. Sheers.  HP OpenView Event Correlation Services , 1996 .

[36]  Martin Bichler,et al.  Knowledge representation concepts for automated SLA management , 2006, Decis. Support Syst..

[37]  Shamim A. Naqvi,et al.  Database updates in logic programming , 1988, PODS.

[38]  di GenovaViale Causa.  Action Languages, Temporal Action Logics and the Situation Calculus , 1999 .

[39]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[40]  Stefano Paraboschi,et al.  Active XQuery , 2002, Proceedings 18th International Conference on Data Engineering.

[41]  Adrian Giurca,et al.  Handbook of Research on Emerging Rule-based Languages and Technologies: Open Solutions and Approaches , 2009 .

[42]  Steffen Hölldobler,et al.  A new deductive approach to planning , 1989, New Generation Computing.

[43]  Robert Meolic,et al.  VERIFICATION OF CONCURRENT SYSTEMS USING ACTL , 2000 .

[44]  Louiqa Raschid,et al.  A Semantics for a Class of Stratified Production System Programs , 1989, J. Log. Program..

[45]  Erik Sandewall,et al.  Combining Logic and Differential Equations for Describing Real-World Systems , 1989, KR.

[46]  Wolfgang May,et al.  Combining ECA Rules with Process Algebras for the Semantic Web , 2006, 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06).

[47]  Jennifer Widom,et al.  Query Processing, Resource Management, and Approximation ina Data Stream Management System , 2002 .

[48]  A. Paschke,et al.  NPL: Negotiation Pattern Language A Design Pattern Language for Decentralized Coordination and Negotiation Protocols , 2006 .

[49]  Tok Wang Ling,et al.  Conceptual Modeling - ER 2003 , 2003, Lecture Notes in Computer Science.

[50]  Carlo Zaniolo.  Active Database Rules with Transaction-Conscious Stable-Model Semantics , 1995, DOOD.

[51]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[52]  José Júlio Alferes,et al.  Evolving Logic Programs , 2002, JELIA.

[53]  Jennifer Widom,et al.  A denotational semantics for the Starburst production rule language , 1992, SGMD.

[54]  Adrian Paschke.  ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language , 2006, ArXiv.

[55]  MayWolfgang.  XPath-logic and XPathLog: A logic-programming style XML data manipulation language , 2004 .

[56]  Michael Thielscher,et al.  From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..

[57]  Xml Db Initiative.  XUpdate-XML Update Language , 2003 .

[58]  Sharma Chakravarthy.  Sentinel: an object-oriented DBMS with event-based rules , 1997, SIGMOD '97.

[59]  Ioana Manolescu,et al.  Active XML: Peer-to-Peer Data and Web Services Integration , 2002, VLDB.

[60]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[61]  Alexandra Poulovassilis,et al.  An event-condition-action language for XML , 2002, WWW '02.

[62]  Peter Scheuermann,et al.  Active Database Systems , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[63]  Wolfgang May,et al.  XPath-logic and XPathLog: A logic-programming style XML data manipulation language , 2003, Theory and Practice of Logic Programming.

[64]  Radha Jagadeesan,et al.  Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..

[65]  Bertram Ludäscher,et al.  A Logical Framework for Active Rules , 1996, COMAD.

[66]  Lobel Crnogorac,et al.  Abstract Interpretation of Active Rules and its Use in Termination Analysis , 1997, ICDT.

[67]  Sebastian Schaffert,et al.  Xcerpt: a rule-based query and transformation language for the web , 2004 .

[68]  Adrian Paschke,et al.  ECA-RuleML/ECA-LP: A Homogeneous Event-Condition-Action Logic Programming Language , 2006 .

[69]  Lois M. L. Delcambre,et al.  A self-controlling interpreter for the relational production language , 1988, SIGMOD '88.

[70]  Sharma Chakravarthy,et al.  The HiPAC Project , 1996, Active Database Systems: Triggers and Rules For Advanced Database Processing.

[71]  Patrick Doherty,et al.  TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..

[72]  Stefano Paraboschi,et al.  Pushing reactive services to XML repositories using active rules , 2001, WWW '01.

[73]  Alfonso Fuggetta,et al.  Exploiting an event-based infrastructure to develop complex distributed systems , 1998, Proceedings of the 20th International Conference on Software Engineering.

[74]  Wenfei Fan,et al.  Keys with Upward Wildcards for XML , 2001, DEXA.

[75]  Norman W. Paton,et al.  Formal Specification of Active Database Functionality: A Survey , 1995, Rules in Database Systems.

[76]  Adrian Paschke.  ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics , 2006, ArXiv.

[77]  Giuseppe Psaila,et al.  Composite Events in Chimera , 1996, EDBT.

[78]  Antony Galton,et al.  A unifying semantics for time and events , 2004, Artif. Intell..

[79]  Miron Livny,et al.  Sequence query processing , 1994, SIGMOD '94.

[80]  Frederick Hayes-Roth,et al.  Rule-based systems , 1985, CACM.

[81]  Jorge Lobo,et al.  Semantics for update rule programs and implementation in a relational database management system , 1996, TODS.

[82]  Raghu Ramakrishnan,et al.  SRQL: Sorted Relational Query Language , 1998, Proceedings. Tenth International Conference on Scientific and Statistical Database Management (Cat. No.98TB100243).

[83]  Jennifer Widom,et al.  An Algebraic Approach to Rule Analysis in Expert Database Systems , 1994, VLDB.

[84]  Carlo Zaniolo,et al.  Optimization of sequence queries in database systems , 2001, PODS '01.

[85]  Klaus R. Dittrich,et al.  Events in an Active Object-Oriented Database System , 1993, Rules in Database Systems.

[86]  François Bry,et al.  Towards Formal Foundations of Event Queries and Rules , 2007 .

[87]  Martin Bichler,et al.  SLA Representation, Management and Enforcement - Combining Event Calculus, Deontic Logic, Horn Logic and Event Condition Action Rules , 2005 .

[88]  D. Ohsie,et al.  High speed and robust event correlation , 1996, IEEE Commun. Mag..

[89]  Timos K. Sellis,et al.  Coupling Production Systems and Database Systems: A Homogeneous Approach , 1993, IEEE Trans. Knowl. Data Eng..

[90]  Bertram Ludäscher,et al.  On Logical Foundations of Active Databases , 1998, Logics for Databases and Information Systems.

[91]  Sergio Greco,et al.  Declarative semantics for active rules , 2001, Theory Pract. Log. Program..

[92]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[93]  Eugene Miya,et al.  On "Software engineering" , 1985, SOEN.

[94]  Jennifer Widom,et al.  Behavior of database production rules: termination, confluence, and observable determinism , 1992, SIGMOD '92.

[95]  Hans Tompits,et al.  A Framework for Declarative Update Specifications in Logic Programs , 2001, IJCAI.

[96]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[97]  Raymond Reiter,et al.  On Specifying Database Updates , 1995, J. Log. Program..