基于Petri網的軟件過程變更控制模型的研究.pdf

1、變更控制作為軟件項目管理中不可缺少的一部分，對軟件過程的執(zhí)行起著決定性的作用，不合理或失控的變更會嚴重阻礙組織完成既定的軟件目標，甚至會直接導致軟件項目的失敗。完善的變更管理系統(tǒng)可以輔助軟件過程更好的執(zhí)行，持續(xù)提高組織的軟件過程能力。 本文首先對變更控制的相關理論進行研究，分析了現(xiàn)有變更控制系統(tǒng)的不足并指出了過程執(zhí)行中存在的一些問題。接著從基于Petri網的工作流網的角度對變更控制進行分析，討論了變更控制的基本元素在工作流網上的

2、映射，并給出了變更控制的YAWL語言模型。然后分析了YAWL模型的有界性、安全性及活性的研究方法，給出了對模型進行驗證的幾個算法，在此基礎上對變更控制的網模型進行了驗證與證實。接著研究了在變更控制下柔性軟件過程的實現(xiàn)方法，給出了柔性過程執(zhí)行流程的動態(tài)修改策略以及允許變更的前提條件和判斷方法，利用模型正確性驗證算法對發(fā)生變更的過程進行驗證，將軟件過程置于變更控制之下，實現(xiàn)了柔性軟件過程的變更及執(zhí)行自動化。在變更控制過程及軟件過程執(zhí)行模型中