Reactive Rules on the Web

Reactive rules are used for programming rule-based, reactive systems, which have the ability to detect events and respond to them automatically in a timely manner. Such systems are needed on the Web for bridging the gap between the existing, passive Web, where data sources can only be accessed to obtain information, and the dynamic Web, where data sources are enriched with reactive behavior. This paper presents two possible approaches to programming rule-based, reactive systems. They are based on different kinds of reactive rules, namely Event-Condition-Action rules and production rules. Concrete reactive languages of both kinds are used to exemplify these programming paradigms. Finally the similarities and differences between these two paradigms are studied.

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

[2]  James Bailey,et al.  Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web , 2005, RuleML.

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

[4]  Malik Ghallab,et al.  On Chronicles: Representation, On-line Recognition and Learning , 1996, KR.

[5]  François Bry,et al.  Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification , 2002, ICLP.

[6]  Markus Endler,et al.  Evaluating composite events using shared trees , 2001, IEE Proc. Softw..

[7]  François Bry,et al.  Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data , 2003, VLDB.

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

[9]  Kevin E. Kline,et al.  SQL in a Nutshell , 2000 .

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

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

[12]  Christophe Dousson,et al.  Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization , 2007, IJCAI.

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

[14]  Alexandra Poulovassilis,et al.  Event-Condition-Action Rule Languages for the Semantic Web , 2006, EDBT Workshops.

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

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

[17]  François Bry,et al.  Querying the Web Reconsidered: A Practical Introduction to Xcerpt , 2004, Extreme Markup Languages®.

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

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

[20]  Anneli Folkesson,et al.  World Wide Web Consortium (W3C) , 2005 .

[21]  Narain H. Gehani,et al.  Composite Event Specification in Active Databases: Model & Implementation , 1992, VLDB.

[22]  Michael Eckert,et al.  Querying Composite Events for Reactivity on the Web , 2006, APWeb Workshops.

[23]  Ur Informatik,et al.  Use Cases for Reactivity on the Web: Using ECA Rules for Business Process Modeling , 2006 .

[24]  Johannes Klein,et al.  Web services transaction (ws-transaction) , 2002 .

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

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

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

[28]  Stefano Paraboschi,et al.  Active rules for XML: A new paradigm for E-services , 2001, The VLDB Journal.

[29]  Paula-Lavinia Patrânjan,et al.  The language Xchange: a declarative approach to reactivity on the web , 2005 .

[30]  Tim Furche,et al.  Web and Semantic Web Query Languages: A Survey , 2005, Reasoning Web.

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

[32]  Jennifer Widom,et al.  The Lorel query language for semistructured data , 1997, International Journal on Digital Libraries.

[33]  Morris Sloman,et al.  GEM: a generalized event monitoring language for distributed systems , 1997, Distributed Syst. Eng..

[34]  Stefano Ceri,et al.  Exception handling in workflow-driven Web applications , 2005, WWW '05.

[35]  François Bry,et al.  Towards a Declarative Query and TransformationLanguage for XML and Semistructured Data:Simulation Unification , 2002 .

[36]  Michael P. Eckert,et al.  Reactivity on the Web: Event Queries and Composite Event Detection in XChange , 2005 .

[37]  Lan Huang,et al.  Scalable trigger processing , 1999, Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337).

[38]  George Coulouris,et al.  Distributed systems (3rd ed.): concepts and design , 2000 .

[39]  Roger S. Barga,et al.  Event Correlation and Pattern Detection in CEDR , 2006, EDBT Workshops.

[40]  Wolfgang May,et al.  Extending an OWL Web Node with Reactive Behavior , 2006, PPSWR.

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

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

[43]  Hao Zhang,et al.  Path sharing and predicate evaluation for high-performance XML filtering , 2003, TODS.

[44]  Adarshpal S. Sethi,et al.  SEL, a new event pattern specification language for event correlation , 2001, Proceedings Tenth International Conference on Computer Communications and Networks (Cat. No.01EX495).

[45]  Gerti Kappel,et al.  Composite events for xml , 2004, WWW '04.

[46]  Michael Eckert,et al.  Twelve Theses on Reactive Rules for the Web , 2006, EDBT Workshops.

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

[48]  Claudia Roncancio,et al.  Toward Duration-Based, Constrained and Dynamic Event Types , 1997, ARTDB.

[49]  Tim Furche,et al.  Foundations of Rule-Based Query Answering , 2007, Reasoning Web.

[50]  César Sánchez,et al.  Expressive Completeness of an Event-Pattern Reactive Programming Language , 2005, FORTE.

[51]  Scott Boag,et al.  XQuery 1.0 : An XML Query Language , 2007 .

[52]  George Coulouris,et al.  Distributed systems - concepts and design , 1988 .

[53]  François Bry,et al.  A gentle introduction to Xcerpt, a rule-based query and transformation language for XML , 2002, RuleML.

[54]  Hendrik Grallert.  Propagation of updates in distributed Web data. A use case for the language XChange, Institute of Co , 2006 .

[55]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[56]  Bruno Berstel,et al.  Extending the RETE algorithm for event management , 2002, Proceedings Ninth International Symposium on Temporal Representation and Reasoning.

[57]  Joachim Hammer,et al.  Updatex---an xquery-based language for processing updates in xml , 2004 .

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

[59]  Michael Eckert,et al.  A High-Level Query Language for Events , 2006, 2006 IEEE Services Computing Workshops.

[60]  Ur Informatik,et al.  A Gentle Introduction into Xcerpt, a Rule-Based Query and Transformation Language for XML , 2002 .

[61]  Tim Furche,et al.  Xcerpt and visXcerpt: Twin Query Languages for the Semantic Web , 2004 .

[62]  Dan Suciu,et al.  Processing XML Streams with Deterministic Automata , 2003, ICDT.