Simulation Model of Team Software Process Using Temporal Parallel Automata

Team Software Process (TSP) is brought forward to help improve the efficiency of software development process. Further, establishing simulation model for TSP can facilitate developers´ understanding, forecast possible shortcomings and bottlenecks in process and assist developers´ decision-making, supervise and control project development process. In this paper, firstly Temporal Parallel Automata (TPA) theory expanded from the finite state automata theory is applied into software process modeling. Secondly the concepts and the process control structures of TSP which are divided into sequence, AND-join, AND-split, OR-join, OR-split and Loop structure are mapped to TPA, thereby the TSP simulation model based on TPA is built. Thirdly the definition of soundness is given for soundness verification of process model. Finally, an instance is used to verify the validity of process model. It is proved that activity planning, resource allocation and schedule control of software process can be implemented effectively by the model.