Verification of failure recovery for composition transaction

Since tasks collaborate progresses in a point-to-point way instead of the central control in composition transaction,some tasks of the transaction flow may be committed and their successors unscheduled when a composition transaction system carsh occurs.In this situation,selecting an appropriate verification strategy for failure recovery is critical.Then a failure recovery verification strategy for forward recovery,backward recovery and alternative recovery is proposed.When failure occurs,according to the execution log and acceptable state set of composition transaction,the appropriate recovery stategy is selected,which verifies whether action sequences generated during execution of failure recovery with state space contains a set of good behaviors and whether consistency states after recovery can be checked by keeping track of the execution progress.Finally,the classical travel reservation process(TRP) is analyzed.The results show the feasibility of the proposed verification strategy.