Research Of Petri Net-based Change Control Model Of Software Process

As an essential part of software project management, change control plays an important role in the execution of software process, unreasonable or uncontrollable change will keep the organization far away from the established goals, even lead the project to the failure directly. Perfect change control system may contribute to better execution of software process and will improve the ability of software process of the organization continually.In this paper, we first introduce the relevant theories and research achievements of change control, analyze the shortage of existing change control system and point out several problems in the process execution. Then, in the view of workflow net which based on Petri net, we discuss the mapping from basic elements of change control to workflow net, and propose YAWL model of change control. After, the boundedness, safeness and liveness of YAWL model are analyzed, several algorithms are described which can be used to verify the validity of the model. We also introduce the implementation methods of flexible software process in the management of change control, and propose the dynamic modification strategy and prerequisites of modification granted in the process execution. By using the algorithms given above we can verify the validity of the changed process, manage software process by change control, and achieve the automatic execution of flexible software process. With the combination of maintainable rules, we provide interface to the process metric and evaluation, and enhance the flexibility and expandability of software development, it will be very helpful to the process improvement of the organization. Finally, we design and implement the software process execution module based on research above, it will contribute a lot to the further researches.