基于Petri網(wǎng)的軟件過(guò)程變更控制模型的研究.pdf

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

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