Summary: Implementation and Testing
for a Set of Event Detection Operators
Rodolfo G´omez Juan C. Augusto
Departamento de Ciencias de la Computaci´on
Universidad Nacional del Sur
Bah´ia Blanca, Argentina
Department of Computer Science
University of Exeter
11 December 2000
A rich set of operators for detecting complex events and states has been proposed in [Gal00].
Our work tries to complement [Gal00] by offering a set of test cases suited to the definitions of
the operators. We believe these cases provide a general strategy that can be re-used with other
temporal systems. In fact, we have used these cases in the testing of an event detector prototype.
1 Introduction 2