초록 ▼

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 pe

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.

대표청구항 ▼

[What is claimed is:] [6.]a plurality of operating states;a plurality of transition paths between operating states; anda plurality of records wherein each record is associated with a separate one of a plurality of simultaneous executions of the process, and wherein each record includes a first log f

[What is claimed is:] [6.]a plurality of operating states;a plurality of transition paths between operating states; anda plurality of records wherein each record is associated with a separate one of a plurality of simultaneous executions of the process, and wherein each record includes a first log for storing certain event information concerning the particular one of the simultaneous process executions that is associated with that record.