Embedding Event Algebras and Process for ECA Rules for the Semantic Web

We describe how Event-Condition-Action (ECA) rules can be combined with event algebras like SNOOP for specification of the event part, and process algebras like CCS for specification of the action part to obtain a powerful, declarative formalism that also covers intuitively procedural tasks in an appropriate way. Since these formalisms have a concise formal semantics, verification and other kinds of reasoning about such specifications are possible. Using a rulemarkupwith cleanly distinguished rule components allows for such a compositional approach. The approach is currently under implementation in the MARS (Modular Active Rules for the Semantic Web) Framework.

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

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

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

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

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

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

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

[8]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[9]  Jan Chomicki,et al.  Efficient checking of temporal integrity constraints using bounded history encoding , 1995, TODS.

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

[11]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[12]  José Júlio Alferes,et al.  An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web , 2005, OTM Conferences.

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

[14]  David Walker,et al.  CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus , 1989, Automatic Verification Methods for Finite State Systems.

[15]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[16]  A. Prasad Sistla,et al.  Temporal conditions and integrity constraints in active database systems , 1995, SIGMOD '95.

[17]  José Júlio Alferes,et al.  Active Rules in the Semantic Web: Dealing with Language Heterogeneity , 2005, RuleML.

[18]  Jan A. Bergstra,et al.  Algebra of Communicating Processes with Abstraction , 1985, Theor. Comput. Sci..

[19]  Maciej Koutny,et al.  The box algebra = Petri nets + process expressions , 2002 .

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

[21]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

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

[23]  Ryszard Janicki,et al.  Specification and Analysis of Concurrent Systems: The Cosy Approach , 1992 .

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

[25]  Alin Deutsch,et al.  XML-QL: A Query Language for XML , 1998 .

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

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

[28]  José Júlio Alferes,et al.  Evolution and Reactivity for the Web , 2005, Reasoning Web.

[29]  Dov M. Gabbay,et al.  The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems , 1987, Temporal Logic in Specification.