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

Article type: Research Article

Authors: Behrends, Erik | Fritzen, Oliver | May, Wolfgang | Schenk, Franz

Affiliations: Institut für Informatik, Universität Göttingen, Lotzestrasse 16-18, 37083 Göttingen, Germany. E-mail: {behrends,fritzen,may,schenk}@informatik.uni-goettingen.de

Abstract: 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.

Journal: Fundamenta Informaticae, vol. 82, no. 3, pp. 237-263, 2008