Reactive Rules for Emergency Management

The goal of the following survey on Event-Condition-Action (ECA) Rules is to come to a common understanding and intuition on this topic within EMILI. Thus it does not give an academic overview on Event-Condition-Action Rules which would be valuable for computer scientists only. Instead the survey tries to introduce Event-Condition-Action Rules and their use for emergency management based on real-life examples from the use-cases identified in Deliverable 3.1. In this way we hope to address both, computer scientists and security experts, by showing how the Event-Condition-Action Rule technology can help to solve security issues in emergency management. The survey incorporates information from other work packages, particularly from Deliverable D3.1 and its Annexes, D4.1, D2.1 and D6.2 wherever possible.

[1]  Tran Cao Son,et al.  Formalizing sensing actions A transition function based approach , 2001, Artif. Intell..

[2]  Charles L. Forgy,et al.  OPS5 user's manual , 1981 .

[3]  Michael Eckert,et al.  Reactive Rules on the Web , 2007, Reasoning Web.

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

[5]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

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

[7]  Rafael Peñaloza,et al.  Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics , 2006, EDBT Workshops.

[8]  Jos C. M. Baeten,et al.  Process Algebra , 2007, Handbook of Dynamic System Modeling.

[9]  Darko Anicic,et al.  Event-driven Reactivity: A Survey and Requirements Analysis , 2008 .

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

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

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

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

[14]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[15]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[16]  John P. McDermott,et al.  OPS, A Domain-Independent Production System Language , 1977, IJCAI.

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

[18]  Adrian Paschke,et al.  Rules Capturing Events and Reactivity , 2009 .

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

[20]  Michael Eckert,et al.  Complex event processing with Xchange_1hnE_1hnQ: language design, formal semantics, and incremental evaluation for querying events. , 2008 .

[21]  Michael Eckert,et al.  Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits , 2006, PPSWR.

[22]  Jos C. M. Baeten,et al.  A brief history of process algebra , 2005, Theor. Comput. Sci..

[23]  João Leite,et al.  Evolving knowledge bases : specification and semantics , 2003 .

[24]  Daniel Schubert,et al.  An ECA Engine for Deploying Heterogeneous Component Languages in the Semantic Web , 2006, EDBT Workshops.

[25]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

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

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

[28]  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).

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

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

[31]  Michael Eckert,et al.  Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics , 2007, RR.

[32]  Rainer Unland,et al.  On the semantics of complex events in active database management systems , 1999, Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337).

[33]  Jennifer Widom,et al.  Active Database Systems: Triggers and Rules For Advanced Database Processing , 1994 .

[34]  Roberta Cochrane,et al.  Active Database Features in SQL3 , 1999, Active Rules in Database Systems.

[35]  Enrico Giunchiglia,et al.  Representing Action: Indeterminacy and Ramifications , 1997, Artif. Intell..

[36]  Jennifer Widom,et al.  Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award) , 2000, VLDB.

[37]  Mikael Berndtsson,et al.  Design and Implementation of an ECA Rule Markup Language , 2005, RuleML.

[38]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[39]  Michael Stonebraker,et al.  The POSTGRES next generation database management system , 1991, CACM.

[40]  Gerhard Knolmayer,et al.  Modeling Processes and Workflows by Business Rules , 2000, Business Process Management.