Abstract: According to one embodiment, an electronic device may be configured to perform temporal correlation operations to determine if a plurality of observables correspond to an event of interest. The electronic device comprises a memory and a processor. The memory is adapted to store information representing a process template for the event, where the process template including a plurality of observation states. The processor is coupled to the memory. The processor is adapted to receive a plurality of observables, even in non-chronological order, and to conduct a recursive comparison of time values associated with each of the plurality of observables to timing ranges associated with each observation state to determine if the plurality of observables are associated with the event.

Abstract: According to one embodiment of the invention, software operating as a state machine may be implemented within a digital device to support out-of-ordering processing of events by the state machine. Upon execution of the software by a processor, the following operations are performed. First, a determination is made if an incoming event is a transition, and if so, if the transition is not a transition associated with the current state of the state machine, but rather, is out-of-order from a predetermined order of transitions supported by the state machine. Upon determining that the transition is out-of-order, a determination is made whether the transition is to a reachable state such as a state prior to the current state of the state machine or to a future state from the current state. If so, the transition is allowed to be undertaken.

Abstract: According to one embodiment, an electronic device may be configured to perform temporal correlation operations to determine if a plurality of observables correspond to a selected event of interest. The electronic device comprises a memory and a processor. The memory is adapted to store information representing a process template for a selected event, where the process template including a plurality of observation states. The processor is coupled to the memory. The processor is adapted to receive a plurality of observables and to automatically conduct a recursive comparison of time values associated with each of the plurality of observables to timing ranges associated with each observation state to produce a listing that is subsequently used to determine if the plurality of observables are associated with the selected event.