loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)
Combining ECA Rules with Process Algebras for the Semantic Web
Athens, Georgia, USA
November 10-November 11
ISBN: 0-7695-2652-7
ASCII Text
x 
 
Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk, "Combining ECA Rules with Process Algebras for the Semantic Web," Rules and Rule Markup Languages for the Semantic Web, International Conference on, pp. 29-38, Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/RULEML.2006.8,
author = {Erik Behrends and Oliver Fritzen and Wolfgang May and Franz Schenk},
title = {Combining ECA Rules with Process Algebras for the Semantic Web},
journal ={Rules and Rule Markup Languages for the Semantic Web, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2652-7},
pages = {29-38},
doi = {http://doi.ieeecomputersociety.org/10.1109/RULEML.2006.8},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Rules and Rule Markup Languages for the Semantic Web, International Conference on
TI - Combining ECA Rules with Process Algebras for the Semantic Web
SN - 0-7695-2652-7
SP29
EP38
A1 - Erik Behrends,
A1 - Oliver Fritzen,
A1 - Wolfgang May,
A1 - Franz Schenk,
PY - 2006
KW - null
VL - 0
JA - Rules and Rule Markup Languages for the Semantic Web, International Conference on
ER -
 
Erik Behrends, Universitat Gottingen, Germany
Oliver Fritzen, Universitat Gottingen, Germany
Wolfgang May, Universitat Gottingen, Germany
Franz Schenk, Universitat Gottingen, Germany
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.
Citation:
Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk, "Combining ECA Rules with Process Algebras for the Semantic Web," ruleml, pp.29-38, Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.