Embedding event algebras and process algebras in a framework for ECA rules for the semantic web

zbMATH Open1135.68498MaRDI QIDQ5450124FDOQ5450124

Authors Erik Behrends, Olivier Fritzen, Wolfgang May, Franz Schenk

Publication date 19 March 2008

zbMATH Keywords

Event-Condition-ActionModular Active Rules for the Semantic Web

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Symbolic termination and confluence checking for ECA rules
• An Event-Condition-Action Logic Programming Language
• Event-condition-action rules on RDF metadata in P2P environments
• scientific article; zbMATH DE number 1952106
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

Cited in

(2)

• Event-condition-action rules on RDF metadata in P2P environments
• A new approach to detecting active rule confluence with exclusive rules during an indeterminable rule process

Describes a project that uses

Uses Software

• SPARQL
• MARS

This page was built for publication: Embedding event algebras and process algebras in a framework for ECA rules for the semantic web

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5450124)