The Community for Technology Leaders
Rules and Rule Markup Languages for the Semantic Web, International Conference on (2006)
Athens, Georgia, USA
Nov. 10, 2006 to Nov. 11, 2006
ISBN: 0-7695-2652-7
pp: 29-38
Franz Schenk , Universitat Gottingen, Germany
Erik Behrends , Universitat Gottingen, Germany
Wolfgang May , Universitat Gottingen, Germany
Oliver Fritzen , Universitat Gottingen, Germany
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.
INDEX TERMS
null
CITATION
Franz Schenk, Erik Behrends, Wolfgang May, Oliver Fritzen, "Combining ECA Rules with Process Algebras for the Semantic Web", Rules and Rule Markup Languages for the Semantic Web, International Conference on, vol. 00, no. , pp. 29-38, 2006, doi:10.1109/RULEML.2006.8
98 ms
(Ver 3.3 (11022016))