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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-116

BibTeX:

@inproceedings{REWERSE-RP-2006-116,
	author = {Erik Behrends and Oliver Fritzen and Wolfgang May and Franz Schenk},
	title = {Combining ECA Rules with Process Algebras for the Semantic Web},
	booktitle = {Proceedings of Second International Conference on Rules and Rule Markup Languages for the Semantic Web, Athens, Georgia, USA (10th--11th November 2006)},
	year = {2006},
	pages = {29--38},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-116}
}