You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

An Intuitive and Resource-Efficient Event Detection Algebra

Fulltext:


Authors:


Note:

<pre> @misc{carlson2004lic, author = {Jan Carlson}, title = {An Intuitive and Resource-Efficient Event Detection Algebra}, howpublished = {Licentiate thesis No.~29}, month = jun, year = 2004, note = {M{"a}lardalen University, Sweden}, issn = {1651-9256}, isbn = {91-88834-49-2} } </pre>

Publication Type:

Licentiate Thesis

Publisher:

Mälardalen University Press


Abstract

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 simpel 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. A detection mechanism listens for simple event occurrences and notifies the application when one of the complex event patterns of interest occur. The event detection mechanism can for example be based on an event algebra, i.e.,~expressions that correspond to the event patterns of interest are built from simple events and operators from the algebra.This thesis presents a novel event algebra with two important characteristics: It complies with algebraic laws that intuitively ought to hold for the operators of the algebra, and for a large class of expressions the detection can be correctly performed with limited resources in terms of memory and time. In addition to the declarative algebra semantics, we present an imperative detection algorithm and show that it correctly implements the algebra. This algorithm is analysed with respect to memory requirements and execution time complexity. To increase the efficiency of the algebra, we also present a semantic-preserving transformation scheme by which many expressions can be transformed to meet criteria under which limited resource requirements are guaranteed. Finally, we present a prototype implementation that combines the algebra with the event system in Java.

Bibtex

@misc{Carlson608,
author = {Jan Carlson},
title = {An Intuitive and Resource-Efficient Event Detection Algebra},
note = {\textlesspre\textgreater @misc\textbraceleftcarlson2004lic, author = \textbraceleftJan Carlson\textbraceright, title = \textbraceleftAn Intuitive and Resource-Efficient Event Detection Algebra\textbraceright, howpublished = \textbraceleftLicentiate thesis No.~29\textbraceright, month = jun, year = 2004, note = \textbraceleftM\textbraceleft{"}a\textbracerightlardalen University, Sweden\textbraceright, issn = \textbraceleft1651-9256\textbraceright, isbn = \textbraceleft91-88834-49-2\textbraceright \textbraceright \textless/pre\textgreater},
number = {29},
month = {June},
year = {2004},
publisher = {M{\"a}lardalen University Press},
url = {http://www.es.mdh.se/publications/608-}
}