Combining ECA Rules with Process Algebras for the Semantic Web

Combining ECA Rules with Process Algebras for the Semantic Web

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Behrends, E., Fritzen, O., May, W., Schenk, F.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Algebra
Carbon capture and storage
Companies
Database languages
Delay
Educational institutions
Ontologies
Proposals
Semantic Web
Service oriented architecture
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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
DOI:10.1109/RULEML.2006.8