Communicating sequential processes
Communicating sequential processes
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Event specification in an active object-oriented database
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
A calculus of mobile processes, II
Information and Computation
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Temporal conditions and integrity constraints in active database systems
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
ACM Computing Surveys (CSUR)
Communication and Concurrency
First-Order Dynamic Logic
Active Rules in Database Systems
Active Rules in Database Systems
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Specification and Analysis of Concurrent Systems: The COSY Approach
Specification and Analysis of Concurrent Systems: The COSY Approach
The box algebra = Petri nets + process expressions
Information and Computation
Composite Events for Active Databases: Semantics, Contexts and Detection
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
Combining ECA Rules with Process Algebras for the Semantic Web
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
Reactivity on the web: paradigms and applications of the language XChange
Journal of Web Engineering
Extending an OWL web node with reactive behavior
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
An ontology- and resources-based approach to evolution and reactivity in the semantic web
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Event-condition-action rule languages for the semantic web
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
An ECA engine for deploying heterogeneous component languages in the semantic web
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Active rules in the semantic web: dealing with language heterogeneity
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Design and implementation of an ECA rule markup language
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Hi-index | 0.00 |
We describe how Event-Condition-Action (ECA) rules can be combined with event algebras like SNOOP for specification of the event part, and process algebras like CCS for specification of the action part to obtain a powerful, declarative formalism that also covers intuitively procedural tasks in an appropriate way. Since these formalisms have a concise formal semantics, verification and other kinds of reasoning about such specifications are possible. Using a rulemarkupwith cleanly distinguished rule components allows for such a compositional approach. The approach is currently under implementation in the MARS (Modular Active Rules for the Semantic Web) Framework.