Business Communications for Distributed finite state machine model and its method of

The invention discloses a distributed transaction communication finite state machine model and a verification method thereof. The invention is characterized in that: (1) the distributed transaction communication finite state machine model can be represented by a seven-element group; (2) a verification method for a distributed transaction protocol finite state machine comprises the step of: starting from the initial state of the distributed transaction communication finite state machine (TCFSM), generating all possible subsequent nodes of each node by adopting a depth-first method, so as to describe all possible implementation processes of all processes of one protocol. By the distributed transaction communication finite state machine model provided by the invention, the description capability of the model is improved by adding a final state set, matching the final state set and internal events and the like, a distributed transaction protocol can be well described; and the invention also provides the verification method for the model.