Software process patterns can be used to summarize and express software process knowledge, and process pattern based software process modeling can realize the reuse and dynamic improvement of software process knowledge. In this paper, Petri net and UML activity diagrams are utilized to define the formal description method of software process model , and the formal description method is utilized to describe software process patterns, the useful method of utilizing formally described process patterns to model the software process is proposed and verified.
展开▼