1. A computer program product, embodied on a non-transitory computer-readable medium, the product comprising instructions to cause a data processing apparatus to perform operations comprising: generating an instance of a type of object to be a state variable; generating an event to represent the generation of the instance, the event comprising an image of the instance; determining that the event has occurred; causing an event-condition-action cycle to be processed for the event, the event-condition -action cycle comprising: evaluating condition networks based on a state of execution of a state correlation engine comprising the event, the condition networks operating on state changes; wherein the event represents: a generation of a state variable in the state of execution of the state correlation engine; a change of values of a state variable in the state of execution of the state correlation engine; or a deletion of a state variable in the state of execution of the state correlation engine; and if evaluation of the condition networks with the state of execution is to result in an action being enabled, enabling an action to be executed; determining another event has occurred; and causing another event-condition-action cycle to be processed for the other event, the other event-condition-action cycle comprising: evaluating the condition networks based on another state of execution of the state correlation engine comprising the other event and the event; and if evaluation of the condition networks with the other state of execution is to result in an action being enabled, enabling an action to be executed:, wherein: the evaluating the condition networks comprises flooding all source nodes of the condition networks with the event having a type corresponding to the event; the event comprises an empty before image to reflect no attributes before generation of the instance and an after image to store an image of attributes after the generation of the instance.