ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics

An important problem to be addressed within Event-Driven Architecture (EDA) is how to correctly and efficiently capture and process the event/action-based logic. This paper endeavors to bridge the gap between the Knowledge Representation (KR) approaches based on durable events/actions and such formalisms as event calculus, on one hand, and event-condition-action (ECA) reaction rules extending the approach of active databases that view events as instantaneous occurrences and/or sequences of events, on the other. We propose formalism based on reaction rules (ECA rules) and a novel interval-based event logic and present concrete RuleML-based syntax, semantics and implementation. We further evaluate this approach theoretically, experimentally and on an example derived from common industry use cases and illustrate its benefits.

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

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

[3]  John C. Mitchell,et al.  On the Sequential Nature of Unification , 1984, J. Log. Program..

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

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

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

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

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

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

[10]  José Júlio Alferes,et al.  LUPS - A Language for Updating Logic Programs , 1999, LPNMR.

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

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

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

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

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

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

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

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

[19]  Adrian Paschke RBSLA A declarative Rule-based Service Level Agreement Language based on RuleML , 2005, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06).

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

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

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

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

[24]  Steffen Hölldobler,et al.  A New Deductive Approach to Planning , 1989, GWAI.

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

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

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

[28]  Roberto Baldoni,et al.  The Evolution of Publish/Subscribe Communication Systems , 2003, Future Directions in Distributed Computing.

[29]  Robert A. Kowalski,et al.  Amalgamating language and metalanguage in logic programming , 1982 .

[30]  Neil Immerman,et al.  Relational Queries Computable in Polynomial Time , 1986, Inf. Control..

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[48]  A. Paschke The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases-A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML) , 2005 .

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

[50]  Adrian Paschke,et al.  Typed Hybrid Description Logic Programs with Order-Sorted Semantic Web Type Systems based on OWL and RDFS , 2005 .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[69]  Klaus R. Dittrich,et al.  Detecting composite events in active database systems using Petri nets , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

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

[71]  Norman W. Paton,et al.  Active Rules in Database Systems , 1998, Monographs in Computer Science.

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