The SpaTeC composite event language for spatio-temporal reasoning in mobile systems

In mobile systems, the requirements on composite event detection are fundamentally different from those in distributed systems. Composite event detection must be driven not just by the time of occurrence of an event, but also by its location of occurrence; composite event detection, as applied in traditional distributed event-based systems, needs to be reassessed. In this paper, we motivate the need to support spatio-temporal relations between composite events in mobile systems and introduce SpaTeC , a composite event language that enables simultaneous matching of event occurrences over space and time. Composite event operators provide for coarse spatio-temporal reasoning. Spatial and temporal restrictions constrain composite event detection in space and time and provide a basis for event filtering and spatio-temporal routing. Time and location stamps use a guaranteed bounds model for location estimation and time synchronization. The semantics of SpaTeC event operators is defined within this framework.