Article

An event detection algebra for reactive systems

Authors:

Björn LisperAuthors Info & Claims

EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software

Pages 147 - 154

https://doi.org/10.1145/1017753.1017779

Published: 27 September 2004 Publication History

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

References

[1]

J. F. Allen and G. Ferguson. Actions and events in interval temporal logic. Journal of Logic and Computation, 4(5):531--579, Oct. 1994.

[2]

G. Berry. The Esterel-V5 Language Primer. CMA and Inria, Sophia-Antipolis, France, v 5.21, release 2.0 edition, May 1999.

[3]

J. Carlson. An intuitive and resource-efficient event detection algebra. Licentiate thesis No. 29, June 2004. Mälardalen University, Sweden.

[4]

J. Carlson and B. Lisper. An interval-based algebra for restricted event detection. In First Int. Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS 2003), volume 2791 of Lecture Notes in Computer Science. Springer-Verlag, Sept. 2003.

[5]

M. Carlsson, J. Nordlander, and D. Kieburtz. The semantic layers of Timber. In Proceedings of the First Asian Symposium on Programming Languages and Systems (APLAS'2003), volume 2895 of Lecture Notes in Computer Science, Beijing, China, 26--29 Nov. 2003. Springer-Verlag.

[6]

S. Chakravarthy and D. Mishra. Snoop: An expressive event specification language for active databases. Data Knowledge Engineering, 14(1):1--26, 1994.

Digital Library

[7]

A. Galton and J. C. Augusto. Two approaches to event definition. In Proc. of Database and Expert Systems Applications 13th Int. Conference (DEXA'02), volume 2453 of Lecture Notes in Computer Science. Springer-Verlag, Sept. 2002.

Digital Library

[8]

S. Gatziu and K. R. Dittrich. Events in an active object-oriented database system. In Proc. 1st Intl. Workshop on Rules in Database Systems (RIDS), Edinburgh, UK, Sept. 1993. Springer-Verlag.

[9]

N. Gehani, H. V. Jagadish, and O. Shmueli. COMPOSE: A system for composite specification and detection. In Advanced Database Systems, volume 759 of Lecture Notes in Computer Science. Springer, 1993.

Digital Library

[10]

R. A. Kowalski and M. J. Sergot. A logic-based calculus of events. New Generation Computing, 4:67--95, 1986.

Digital Library

[11]

G. Liu, A. Mok, and P. Konana. A unified approach for specifying timing constraints and composite events in active real-time database systems. In 4th IEEE Real-Time Technology and Applications Symposium (RTAS '98), pages 199--209. IEEE, June 1998.

Digital Library

[12]

J. Mellin. Resource-Predictable and Efficient Monitoring of Events. PhD thesis, Department of Computer Science, University of Skövde, June 2004.

[13]

H. Nilsson, A. Courtney, and J. Peterson. Functional reactive programming, continued. In Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (HASKELL-02), pages 51--64, New York, Oct. 3 2002. ACM Press.

Digital Library

[14]

C. Sánchez, S. Sankaranarayanan, H. Sipma, T. Zhang, D. Dill, and Z. Manna. Event correlation: Language and semantics. In Embedded Software, Third International Conference, EMSOFT 2003, volume 2855 of Lecture Notes in Computer Science, pages 323--33. Springer, 2003.

[15]

Z. Wan, W. Taha, and P. Hudak. Event-driven FRP. In Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, volume 2257 of Lecture Notes in Computer Science, 2002.

Digital Library

Cited By

Liu PLi YMiao H(2021)Transition Algebra for Software TestingIEEE Transactions on Reliability10.1109/TR.2021.311605470:4(1438-1454)Online publication date: Dec-2021
https://doi.org/10.1109/TR.2021.3116054
Helala MQureshi FPu K(2020)A Stream Algebra for Performance Optimization of Large Scale Computer Vision PipelinesIEEE Transactions on Pattern Analysis and Machine Intelligence10.1109/TPAMI.2020.3015867(1-1)Online publication date: 2020
https://doi.org/10.1109/TPAMI.2020.3015867
Mellin JBerndtsson M(2018)Event SpecificationEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_505(1389-1393)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_505
Show More Cited By

Index Terms

An event detection algebra for reactive systems
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Computing methodologies
  1. Symbolic and algebraic manipulation
    1. Computer algebra systems
      1. Special-purpose algebraic systems

Recommendations

A resource-efficient event algebra

Events play many roles in computer systems, ranging from hardware interrupts, over event-based software architecture, to monitoring and managing of complex systems. In many applications, however, individual event occurrences are not the main point of ...
Composite events for xml
WWW '04: Proceedings of the 13th international conference on World Wide Web

Recently, active behavior has received attention in the XML field to automatically react to occurred events. Aside from proprietary approaches for enriching XML with active behavior, the W3C standardized the Document Object Model (DOM) Event Module for ...
Improving Event Detection by Automatically Assessing Validity of Event Occurrence in Text
CIKM '15: Proceedings of the 24th ACM International on Conference on Information and Knowledge Management

Manually inspecting text to assess whether an event occurs in a document collection is an onerous and time consuming task. Although a manual inspection to discard the false events would increase the precision of automatically detected sets of events, it ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software

September 2004

316 pages

ISBN:1581138601

DOI:10.1145/1017753

General Chair:
Giorgio Buttazzo
University of Pavia, Italy

Copyright © 2004 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 September 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

EMSOFT04

Sponsor:

SIGBED

EMSOFT04: Fourth ACM International Conference on Embedded Software 2004

September 27 - 29, 2004

Pisa, Italy

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

32
Total Citations
View Citations
601
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Liu PLi YMiao H(2021)Transition Algebra for Software TestingIEEE Transactions on Reliability10.1109/TR.2021.311605470:4(1438-1454)Online publication date: Dec-2021
https://doi.org/10.1109/TR.2021.3116054
Helala MQureshi FPu K(2020)A Stream Algebra for Performance Optimization of Large Scale Computer Vision PipelinesIEEE Transactions on Pattern Analysis and Machine Intelligence10.1109/TPAMI.2020.3015867(1-1)Online publication date: 2020
https://doi.org/10.1109/TPAMI.2020.3015867
Mellin JBerndtsson M(2018)Event SpecificationEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_505(1389-1393)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_505
Liu PAi JXu Z(2017)A study for extended regular expression-based testing2017 IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS)10.1109/ICIS.2017.7960106(821-826)Online publication date: May-2017
https://doi.org/10.1109/ICIS.2017.7960106
Mellin JBerndtsson M(2017)Event SpecificationEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_505-2(1-5)Online publication date: 5-Apr-2017
https://doi.org/10.1007/978-1-4899-7993-3_505-2
Helala MPu KQureshi F(2016)A Formal Algebra Implementation for Distributed Image and Video Stream ProcessingProceedings of the 10th International Conference on Distributed Smart Camera10.1145/2967413.2967432(84-91)Online publication date: 12-Sep-2016
https://dl.acm.org/doi/10.1145/2967413.2967432
Cardoso BRomão T(2015)Avoiding "...too late!" - Expressing and Detecting Opportunity with EveWorks and EveXLProceedings of the 13th International Conference on Advances in Mobile Computing and Multimedia10.1145/2837126.2837139(293-302)Online publication date: 11-Dec-2015
https://dl.acm.org/doi/10.1145/2837126.2837139
Helala MPu KQureshi F(2015)Towards Efficient Feedback Control in Streaming Computer Vision PipelinesComputer Vision - ACCV 2014 Workshops10.1007/978-3-319-16631-5_24(314-329)Online publication date: 11-Apr-2015
https://doi.org/10.1007/978-3-319-16631-5_24
Cardoso BRomão TPaternò FSantoro CZiegler J(2014)Presenting EveWorks, a framework for daily life event detectionProceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems10.1145/2607023.2610279(289-294)Online publication date: 17-Jun-2014
https://dl.acm.org/doi/10.1145/2607023.2610279
Helala MPu KQureshi F(2014)A Stream Algebra for Computer Vision PipelinesProceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition Workshops10.1109/CVPRW.2014.122(800-807)Online publication date: 23-Jun-2014
https://dl.acm.org/doi/10.1109/CVPRW.2014.122
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten