research-article

Efficient analysis of event processing applications

Authors:

Gianpaolo Cugola,

Alessandro Margara,

Matteo PradellaAuthors Info & Claims

DEBS '15: Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems

Pages 10 - 21

https://doi.org/10.1145/2675743.2771834

Published: 24 June 2015 Publication History

Abstract

Complex event processing (CEP) middleware systems are increasingly adopted to implement distributed applications: they not only dispatch events across components, but also embed part of the application logic into declarative rules that detect situations of interest from the occurrence of specific pattern of events. While this approach simplifies the development of large scale event processing applications, writing the rules that correctly capture the application domain arguably remains a difficult and error prone task, which fundamentally lacks consolidated tool support.

Moving from these premises, this paper introduces CAVE, an efficient approach and tool to support developers in analyzing the behavior of an event processing application. CAVE verifies properties based on the adopted CEP ruleset and on the environmental conditions, and outputs sequences of events that prove the satisfiability or unsatisfiability of each property. The key idea that contributes to the efficiency of CAVE is the translation of the property checking task into a set of constraint solving problems. The paper presents the CAVE approach in detail, describes its prototype implementation and evaluates its performance in a wide range of scenarios.

References

[1]

A. Aiken, J. M. Hellerstein, and J. Widom. Static analysis techniques for predicting the behavior of active database rules. ACM Trans. on Database Systems, 20(1):3--41, 1995.

Digital Library

[2]

D. Anicic, P. Fodor, S. Rudolph, R. Stühmer, N. Stojanovic, and R. Studer. Etalis: Rule-based reasoning in event processing. In Reasoning in Event-Based Distributed Systems, pages 99--124. Springer, 2011.

[3]

B. Babcock, S. Babu, M. Datar, R. Motwani, and J. Widom. Models and issues in data stream systems. In Proc. of the Twenty-first ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems, pages 1--16, New York, NY, USA, 2002. ACM.

Digital Library

[4]

J. Bailey, G. Dong, and K. Ramamohanarao. On the decidability of the termination problem of active database systems. Theoretical computer science, 311(1):389--437, 2004.

Digital Library

[5]

E. Bainomugisha, A. L. Carreton, T. v. Cutsem, S. Mostinckx, and W. d. Meuter. A survey on reactive programming. ACM Comput. Surv., 45(4):52:1--52:34, Aug. 2013.

Digital Library

[6]

E. Baralis, S. Ceri, and S. Paraboschi. Compile-time and runtime analysis of active behaviors. IEEE Trans. on Knowledge and Data Engineering, 10(3):353--370, 1998.

Digital Library

[7]

G. Behrmann, A. David, and K. G. Larsen. A tutorial on Uppaal. In M. Bernardo and F. Corradini, editors, 4th Int. School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pages 200--236. Springer--Verlag, September 2004.

[8]

J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems. In Proc. of Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pages 232--243. Springer--Verlag, Oct. 1995.

Digital Library

[9]

L. Brenna, A. Demers, J. Gehrke, M. Hong, J. Ossher, B. Panda, M. Riedewald, M. Thatte, and W. White. Cayuga: A high-performance event processing engine. In Proc. of the 2007 ACM SIGMOD Int. Conf. on Management of Data, pages 1100--1102, New York, NY, USA, 2007. ACM.

Digital Library

[10]

K. Broda, K. Clark, R. Miller, and A. Russo. Sage: A logical agent-based environment monitoring and control system. In Proc. of the European Conf. on Ambient Intelligence, pages 112--117, Berlin, Heidelberg, 2009. Springer-Verlag.

Digital Library

[11]

S. Comai and L. Tanca. Termination and confluence by rule prioritization. IEEE Trans. on Knowledge and Data Engineering, 15(2):257--270, 2003.

Digital Library

[12]

G. Cugola and A. Margara. Tesla: A formally defined event specification language. In Proc. of the Fourth ACM Int. Conf. on Distributed Event-Based Systems, pages 50--61, New York, NY, USA, 2010. ACM.

Digital Library

[13]

G. Cugola and A. Margara. Complex event processing with t-rex. Journal of Systems and Software, 85(8):1709--1728, 2012.

Digital Library

[14]

G. Cugola and A. Margara. Low latency complex event processing on parallel hardware. Journal of Parallel Distrib. Comp., 72(2):205--218, 2012.

Digital Library

[15]

G. Cugola and A. Margara. Processing flows of information: From data stream to complex event processing. ACM Comput. Surv., 44(3):1--62, 2012.

Digital Library

[16]

L. De Moura and N. Bjørner. Z3: An efficient smt solver. In Tools and Algorithms for the Construction and Analysis of Systems, pages 337--340. Springer, 2008.

Digital Library

[17]

A. Demers, J. Gehrke, M. Hong, M. Riedewald, and W. White. Towards expressive publish/subscribe systems. In Proc. of the 10th Int. Conf. on Advances in Database Technology, pages 627--644, Berlin, Heidelberg, 2006. Springer-Verlag.

Digital Library

[18]

A. Ericsson. Enabling Tool Support for Formal Analysis of ECA Rules. PhD thesis, Linköping University, 2009.

[19]

A. Ericsson and M. Berndtsson. Rex, the rule and event explorer. In Procs. of the 2007 Int. Conf. on Distributed Event-based Systems, DEBS '07, pages 71--74, New York, NY, USA, 2007. ACM.

Digital Library

[20]

O. Etzion and P. Niblett. Event processing in action. Manning Publications Co., 2010.

Digital Library

[21]

E. Falkenroth and A. Törne. How to construct predictable rule sets. In Procs. of the joint 24th IFAC/IFIP workshop on real time programming and 3rd international workshop on active and real-time database system, pages 33--40, 1999.

[22]

D. Gyllstrom, J. Agrawal, Y. Diao, and N. Immerman. On supporting kleene closure over event streams. In Proc. of the 2008 IEEE 24th Int. Conf. on Data Engineering, pages 1391--1393, Washington, DC, USA, 2008. IEEE Computer Society.

Digital Library

[23]

K. Kuchcinski and R. Szymanek. Jacop-java constraint programming solver. In Procs. of CP Solvers: Modeling, Applications, Integration, and Standardization, 2013.

[24]

S.-Y. Lee and T.-W. Ling. Verify updating trigger correctness. In Database and Expert Systems Applications, pages 382--391. Springer, 1999.

Digital Library

[25]

D. C. Luckham. The power of events, volume 204. Addison-Wesley Reading, 2002.

[26]

D. C. Luckham. Event processing for business: organizing the real-time enterprise. John Wiley & Sons, 2011.

[27]

A. Margara, G. Cugola, and G. Tamburrelli. Learning from the past: Automated rule generation for complex event processing. In Proc. of the 8th ACM Int. Conf. on Distributed Event-Based Systems, pages 47--58, New York, NY, USA, 2014.

Digital Library

[28]

A. Margara and G. Salvaneschi. Ways to react: Comparing reactive languages and complex event processing. In 1st Workshop on Reactivity, Events, and Modularity (REM '13), 2013.

[29]

G. Mühl, L. Fiege, and P. Pietzuch. Distributed event-based systems. Springer, Heidelberg, 2006.

Digital Library

[30]

E. Rabinovich, O. Etzion, S. Ruah, and S. Archushin. Analyzing the behavior of event processing applications. In Procs. of the Fourth ACM Int. Conf. on Distributed Event-Based Systems, DEBS '10, pages 223--234, New York, NY, USA, 2010. ACM.

Digital Library

[31]

N. P. Schultz-Møller, M. Migliavacca, and P. Pietzuch. Distributed complex event processing with query rewriting. In Proc. of the Third ACM Int. Conf. on Distributed Event-Based Systems, pages 4:1--4:12, New York, NY, USA, 2009. ACM.

Digital Library

[32]

G. Sharon and O. Etzion. Event-processing network model and implementation. IBM Systems Journal, 47(2):321--334, 2008.

Digital Library

[33]

Y. Turchin, A. Gal, and S. Wasserkrug. Tuning complex event processing rules using the prediction-correction paradigm. In Procs. of the Third ACM Int. Conf. on Distributed Event-Based Systems, page 10. ACM, 2009.

Digital Library

[34]

F. Wang and P. Liu. Temporal management of rfid data. In VLDB, pages 1128--1139, 2005.

Digital Library

[35]

M. Weidlich, J. Mendling, and A. Gal. Net-based analysis of event processing networks--the fast flower delivery case. In Application and Theory of Petri Nets and Concurrency, pages 270--290. Springer, 2013.

Digital Library

[36]

J. Widom and S. Ceri. Active database systems: Triggers and rules for advanced database processing. Morgan Kaufmann, 1996.

Digital Library

Cited By

Pérez-Vereda ACanal CHervás R(2024)Distributed mobile CEP for collaborative social computingComputing10.1007/s00607-023-01254-x106:3(889-913)Online publication date: 24-Jan-2024
https://doi.org/10.1007/s00607-023-01254-x
Maslanka PZielinski B(2021)Poster: Testing Complex Event Patterns2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST49551.2021.00063(474-477)Online publication date: Apr-2021
https://doi.org/10.1109/ICST49551.2021.00063
Bertoa MMoreno NPerez-Vereda ABandera DÁlvarez-Palomo JCanal C(2020)Digital Avatars for Older People’s CareGerontechnology10.1007/978-3-030-41494-8_6(59-70)Online publication date: 29-Feb-2020
https://doi.org/10.1007/978-3-030-41494-8_6
Show More Cited By

Index Terms

Efficient analysis of event processing applications

Recommendations

Complex event processing with T-REX

Several application domains involve detecting complex situations and reacting to them. This asks for a Complex Event Processing (CEP) middleware specifically designed to timely process large amounts of event notifications as they flow from the ...
On Event-Based Middleware for Location-Aware Mobile Applications

As mobile applications become more widespread, programming paradigms and middleware architectures designed to support their development are becoming increasingly important. The event-based programming paradigm is a strong candidate for the development ...
Introducing uncertainty in complex event processing: model, implementation, and validation

Several application domains involve detecting complex situations and reacting to them. This asks for a Complex Event Processing (CEP) engine specifically designed to timely process low level event notifications to identify higher level composite events ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

DEBS '15: Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems

June 2015

385 pages

ISBN:9781450332866

DOI:10.1145/2675743

General Chairs:
Frank Eliassen
University of Oslo, Norway
,
Roman Vitenberg
University of Oslo, Norway

Copyright © 2015 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 the author(s) 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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 June 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Swiss National Science Foundation
Italian Ministry of Education, University, and Research (MIUR)

Conference

DEBS '15

Sponsor:

DEBS '15: The 9th ACM International Conference on Distributed Event-Based Systems

June 29 - July 3, 2015

Oslo, Norway

Acceptance Rates

Overall Acceptance Rate 145 of 583 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
267
Total Downloads

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

Reflects downloads up to 13 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Pérez-Vereda ACanal CHervás R(2024)Distributed mobile CEP for collaborative social computingComputing10.1007/s00607-023-01254-x106:3(889-913)Online publication date: 24-Jan-2024
https://doi.org/10.1007/s00607-023-01254-x
Maslanka PZielinski B(2021)Poster: Testing Complex Event Patterns2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST49551.2021.00063(474-477)Online publication date: Apr-2021
https://doi.org/10.1109/ICST49551.2021.00063
Bertoa MMoreno NPerez-Vereda ABandera DÁlvarez-Palomo JCanal C(2020)Digital Avatars for Older People’s CareGerontechnology10.1007/978-3-030-41494-8_6(59-70)Online publication date: 29-Feb-2020
https://doi.org/10.1007/978-3-030-41494-8_6
Zhang YSheng V(2019)Fog-enabled Event Processing Based on IoT Resource ModelsIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2018.286750431:9(1707-1721)Online publication date: 1-Sep-2019
https://doi.org/10.1109/TKDE.2018.2867504
Moreno NBertoa MBurgueno LVallecillo A(2019)Managing Measurement and Occurrence Uncertainty in Complex Event Processing SystemsIEEE Access10.1109/ACCESS.2019.29239537(88026-88048)Online publication date: 2019
https://doi.org/10.1109/ACCESS.2019.2923953
Barquero GBurgueño LTroya JVallecillo AWąsowski APaige RHaugen Ø(2018)Extending Complex Event Processing to Graph-structured InformationProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239402(166-175)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239402
Burgueño LBertoa MMoreno NVallecillo AWąsowski APaige RHaugen Ø(2018)Expressing Confidence in Models and in Model Transformation ElementsProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239394(57-66)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239394
Dayarathna MPerera S(2018)Recent Advancements in Event ProcessingACM Computing Surveys10.1145/317043251:2(1-36)Online publication date: 13-Feb-2018
https://dl.acm.org/doi/10.1145/3170432
Metzger AReinartz CPohl K(2018)Incremental Verification of Complex Event Processing Applications for System Monitoring2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)10.1109/SEAA.2018.00055(293-297)Online publication date: Aug-2018
https://doi.org/10.1109/SEAA.2018.00055
Burgueno LBoubeta-Puig JVallecillo A(2018)Formalizing Complex Event Processing Systems in MaudeIEEE Access10.1109/ACCESS.2018.28311856(23222-23241)Online publication date: 2018
https://doi.org/10.1109/ACCESS.2018.2831185
Show More Cited By

View Options

Get Access

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.

Media

Figures

Other

Tables

View Table of Contents