Patent ID: 7028055

Claim:
A computer-implemented method for marking a transaction, comprising: defining an application as a plurality of states, wherein each of the plurality of states is associated with at least one transition; specifying a transaction set comprising at least one of the plurality of states; specifying a commit set comprising at least one of a plurality of states; marking the transaction using a transaction marking procedure, wherein the transaction marking procedure marks the transaction based on the transaction set, the commit set, and at least one of the plurality of transitions; marking all transition branches originating from one of the plurality of states not in the transaction set and terminating in one of the plurality of states in the transaction set with a begin transaction tag; marking all transition branches originating from one of the plurality of states in the transaction set and terminating in one of the plurality of states in the commit set with a commit transaction tag; and marking all transition branches originating from one of the plurality of states in the transaction set and terminating in one of the plurality of states not in the commit set with a rollback transaction tag.