Logging of events for a state driven machine

Abstract

In a state driven machine logically sub-divided into a plurality of blocks, with each block including a sub-set of a total number of process defining operating states and transition paths, plural records each relating to a certain execution are associated with each block. A log is maintained on a per execution basis of events (such as state transitions and actions) which occur for that execution. In one implementation, the log is maintained in each record to store events occurring for the certain execution within the block associated with that record. In another implementation, the log is maintained to store events occurring for the certain execution across all implicated blocks. Using the information stored in the log, it is possible to trace back along process execution to identify an origin of a fault in the process implemented by the state driven machine.

Dependencies are inferred from the claim text.