Since there are no implementation methods in SIP standards (RFC3261), a finite state machine of client's transaction and its dataflow diagram are designed with rollback pointers algorithm.
Based on the analysis of dataflow state machine, the authors design and implement a dataflow analyzer to parse more useful information from their simulation work.