Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
WSMX 1.0: A Further Step toward a Complete Semantic Execution Environment
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
An approach for data-driven and logic-based complex Event Processing
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Rule-based active domain brokering for the semantic web
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
r3: a foundational ontology for reactive rules
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A framework for semantic recommendations in situational applications
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
A proposal for transactions in the semantic web
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Efficient semantic event processing: lessons learned in user interface integration
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Reactive policies for the semantic web
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Towards complex actions for complex event processing
Proceedings of the 7th ACM international conference on Distributed event-based systems
| Hi-index | 0.00 |
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.