TESLA: A formally defined event specification language

Proceedings of the 4th ACM International Conference on Distributed Event-Based Systems, DEBS 2010

Volumn , Issue , 2010, Pages 50-61

  Cugola, Gianpaolo ^a   Margara, Alessandro ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DOMAINS; CUSTOMIZABLE; DATA ITEMS; EVENT DETECTION ALGORITHM; EVENT SELECTION; FIRST ORDER; FORMAL SEMANTICS; METRIC TEMPORAL LOGIC; PROCESSING SYSTEMS; TEMPORAL FILTERS;

FORMAL METHODS; QUERY LANGUAGES; SEMANTICS; SOFTWARE ARCHITECTURE; SPECIFICATION LANGUAGES; SPECIFICATIONS; TEMPORAL LOGIC;

LINGUISTICS;

EID: 77955784288     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1827418.1827427     Document Type: Conference Paper

References (31)

1. D. J. Abadi, D. Carney, U. Çetintemel, M. Cherniack, C. Convey, S. Lee, M. Stonebraker, N. Tatbul, and S. Zdonik. Aurora: a new model and architecture for data stream management. The VLDB Journal, 12(2):120-139, 2003. (Pubitemid 37017924)
2. A. Adi and O. Etzion. Amit - the situation manager. The VLDB Journal, 13(2):177-203, 2004.
3. J. Agrawal, Y. Diao, D. Gyllstrom, and N. Immerman. Efficient pattern matching over event streams. In SIGMOD, pages 147-160, New York, NY, USA, 2008. ACM.
4. A. Arasu, B. Babcock, S. Babu, M. Datar, K. Ito, I. Nishizawa, J. Rosenstein, and J. Widom. Stream: the stanford stream data manager (demonstration description). In SIGMOD, pages 665-665, New York, NY, USA, 2003. ACM.
5. A. Arasu, S. Babu, and J. Widom. The cql continuous query language: semantic foundations and query execution. The VLDB Journal, 15(2):121-142, 2006.
6. B. Babcock, S. Babu, M. Datar, R. Motwani, and J. Widom. Models and issues in data stream systems. In PODS, pages 1-16, New York, NY, USA, 2002. ACM.
7. Y. Bai, H. Thakkar, H. Wang, C. Luo, and C. Zaniolo. A data stream language and system designed for power and extensibility. In CIKM, pages 337-346, New York, NY, USA, 2006. ACM.
8. 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 SIGMOD, pages 1100-1102, New York, NY, USA, 2007. ACM.
9. K. Broda, K. Clark, R. M. 0002, and A. Russo. Sage: A logical agent-based environment monitoring and control system. In AmI, pages 112-117, 2009.
10. S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S.-K. Kim. Composite events for active databases: Semantics, contexts and detection. In VLDB, pages 606-617, San Francisco, CA, USA, 1994. Morgan Kaufmann Publishers Inc.
11. S. Chandrasekaran, O. Cooper, A. Deshpande, M. J. Franklin, J. M. Hellerstein, W. Hong, S. Krishnamurthy, S. R. Madden, F. Reiss, and M. A. Shah. Telegraphcq: continuous dataflow processing. In SIGMOD, pages 668-668, New York, NY, USA, 2003. ACM.
12. G. Cugola and A. Margara. Raced: an adaptive middleware for complex event detection. In ARM, pages 1-6, New York, NY, USA, 2009. ACM.
13. G. Cugola and A. Margara. Processing flows of information: From data stream to complex event processing. Technical report, Politecnico di Milano, 2010. Submitted for Publication.
14. U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, S. Sarin, M. J. Carey, M. Livny, and R. Jauhari. The hipac project: combining active databases and timing constraints. SIGMOD Rec., 17(1):51-70, 1988.
15. A. J. Demers, J. Gehrke, M. Hong, M. Riedewald, and W. M. White. Towards expressive publish/subscribe systems. In EDBT, pages 627-644, 2006.
16. Event zero, http://www.eventzero.com/solutions/environment.aspx.
17. S. Gatziu and K. R. Dittrich. Events in an active object-oriented database system. In Rules in Database Systems, pages 23-39, 1993.
18. N. H. Gehani and H. V. Jagadish. Ode as an active database: Constraints and triggers. In VLDB, pages 327-336, San Francisco, CA, USA, 1991. Morgan Kaufmann Publishers Inc.
19. C. Ghezzi, D. Mandrioli, and A. Morzenti. Trio: A logic language for executable specifications of real-time systems. Journal of Systems and Software, 12(2):107-123, 1990.
20. D. Gyllstrom, J. Agrawal, Y. Diao, and N. Immerman. On supporting kleene closure over event streams. In ICDE, pages 1391-1393, 2008.
21. G. Li and H.-A. Jacobsen. Composite subscriptions in content-based publish/subscribe systems. In Middleware, pages 249-269. Springer-Verlag New York, Inc., 2005.
22. A. Morzenti, D. Mandrioli, and C. Ghezzi. A model parametric real-time logic. ACM Trans. Program. Lang. Syst., 14(4):521-573, 1992.
23. G. Mühl, L. Fiege, and P. Pietzuch. Distributed Event-Based Systems. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2006.
24. Oracle cep. http://www.oracle.com/technologies/soa/complex-event- processing.html.
25. P. R. Pietzuch, B. Shand, and J. Bacon. Composite event detection as a generic middleware extension. IEEE Network, 18:44-55, 2004.
26. N. P. Schultz-Moøller, M. Migliavacca, and P. R. Pietzuch. Distributed complex event processing with query rewriting. In DEBS, 2009.
27. U. Srivastava and J. Widom. Flexible time management in data stream systems. In PODS '04, pages 263-274, New York, NY, USA, 2004. ACM.
28. F. Wang and P. Liu. Temporal management of rfid data. In VLDB, pages 1128-1139. VLDB Endowment, 2005.
29. W. White, M. Riedewald, J. Gehrke, and A. Demers. What is "next" in event processing? In PODS, pages 263-272, New York, NY, USA, 2007. ACM.
30. E. Wu, Y. Diao, and S. Rizvi. High-performance complex event processing over streams. In SIGMOD, pages 407-418, New York, NY, USA, 2006. ACM.
31. D. Zimmer. On the semantics of complex events in active database management systems. In ICDE '99, page 392, Washington, DC, USA, 1999. IEEE.