Institute for Informatics
Georg-August-Universität Göttingen

Databases and Information Systems

dbis
Uni Göttingen

International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006),
Athens, Georgia, USA, November 10/11, 2006. IEEE Comp. Sc. Press, pp. 29-38.

Combining ECA Rules with Process Algebras for the Semantic Web

Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk

Abstract:

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

An extended version of the paper can be found in Event Algebras and Process Algebras in ECA Rules (Fundamenta Informaticae, 2008).

[Slides (pdf)]
An extended talk about the framework can be found [here (pdf)]

This research is supported by the EU FP6 Network of Excellence REWERSE