A logic-based calculus of events
New Generation Computing
Snoop: an expressive event specification language for active databases
Data & Knowledge Engineering
Functional reactive programming, continued
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
COMPOSE: A System For Composite Specification And Detection
Advanced Database Systems
Two Approaches to Event Definition
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
RTAS '98 Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium
A metamodel for distributed event based systems
Proceedings of the second international conference on Distributed event-based systems
On static determination of temporal relevance for incremental evaluation of complex event queries
Proceedings of the second international conference on Distributed event-based systems
Formal Definition and Detection Algorithm for Passive Event in RFID Middleware
APWeb/WAIM '09 Proceedings of the Joint International Conferences on Advances in Data and Web Management
Chasing a Definition of "Alarm"
Journal of Network and Systems Management
An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Cordies: expressive event correlation in distributed systems
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Seamless event and data stream processing: reconciling windows and consumption modes
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
Annals of Mathematics and Artificial Intelligence
The semantics of alarm definitions: enabling systematic reasoning about alarms
International Journal of Network Management
Modeling trade-offs in the design of sensor-based event processing infrastructures
Information Systems Frontiers
An event-oriented inference algorithm with timing constraints
Proceedings of the 2012 ACM Research in Applied Computation Symposium
On the algebraic semantics of reactive rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
RTRS: a novel real-time reasoning system based on active rules
ACM SIGAPP Applied Computing Review
Hi-index | 0.00 |
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed to react to sophisticated situations involving a number of simpler events occurring in accordance with some pattern. A systematic approach to handle this type of systems is to separate the mechanism for detecting composite events from the rest of the application logic.In this paper, we present an event algebra for composite event detection. We show a number of algebraic laws that facilitate formal reasoning, and justify the algebra semantics by showing to what extent the operators comply with intuition. Finally, we present an implementation of the algebra, and identify a large subset of expressions for which detection can be performed with bounded resources.