An event detection algebra for reactive systems

EMSOFT 2004 - Fourth ACM International Conference on Embedded Software

Volumn , Issue , 2004, Pages 147-154

  Carlson, Jan ^a   Lisper, Björn ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

Event algebra; Event detection; Reactive systems; Resource efficiency

Indexed keywords

SEMANTICS;

EVENT ALGEBRA; EVENT DETECTION; REACTIVE SYSTEMS; RESOURCE-EFFICIENCY;

EMBEDDED SYSTEMS;

EID: 27644446653     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1017753.1017779     Document Type: Conference Paper

References (15)

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, Prance, 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.
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.
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.
10. R. A. Kowalski and M. J. Sergot. A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.
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.
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.
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.