基于MAM網(wǎng)的軟件過(guò)程工作流動(dòng)態(tài)變化建模研究.pdf

1、軟件過(guò)程管理的目的是最大限度地提高軟件產(chǎn)品的質(zhì)量和軟件開(kāi)發(fā)的生產(chǎn)率。由于軟件開(kāi)發(fā)過(guò)程是一個(gè)非常復(fù)雜并且難以量化、估算的過(guò)程,因此非常強(qiáng)調(diào)對(duì)過(guò)程的建模,力求通過(guò)對(duì)軟件過(guò)程本身的形式化建模來(lái)實(shí)現(xiàn)對(duì)軟件過(guò)程的控制以及度量。
　　 本文以Petri網(wǎng)為基本工具,結(jié)合工作流技術(shù),研究軟件過(guò)程建模。在實(shí)際軟件開(kāi)發(fā)過(guò)程中經(jīng)常會(huì)出現(xiàn)諸如需求、人員流動(dòng)、任務(wù)轉(zhuǎn)移等變化,從工作流角度來(lái)看,這些變化可能會(huì)產(chǎn)生死鎖、丟失實(shí)例、不一致性等問(wèn)題,因此,在軟

2、件過(guò)程建模時(shí)應(yīng)給予足夠的重視。為了解決這些問(wèn)題,文中首先定義了一個(gè)具有可容性的結(jié)構(gòu)變化,這種變化在應(yīng)用到工作流的過(guò)程中,不會(huì)造成任何結(jié)構(gòu)性錯(cuò)誤或行為不一致,此外,文中還提出了一種工作流節(jié)點(diǎn)變化算法,該算法可以用來(lái)計(jì)算工作流結(jié)構(gòu)變化影響的最小區(qū)域,從而解決了軟件過(guò)程工作流由于動(dòng)態(tài)變化產(chǎn)生的問(wèn)題。
　　 在本文中,另一個(gè)工作重點(diǎn)是在對(duì)Petri網(wǎng)進(jìn)行擴(kuò)展的基礎(chǔ)上,提出一種軟件過(guò)程工作流建模工具,該工具具有建模(Model)、分析(A

3、nalysis)和管理(Management)功能,因此叫做MAM網(wǎng),它是基于對(duì)時(shí)間Pr／T網(wǎng)的拓展。文中重點(diǎn)介紹了MAM的定義,MAM網(wǎng)的圖形符號(hào)表示,使用MAM網(wǎng)對(duì)軟件過(guò)程工作流建模；并且對(duì)MAM網(wǎng)所建軟件過(guò)程工作流模型進(jìn)行分析,其中包括對(duì)過(guò)程沖突的分析、過(guò)程并發(fā)執(zhí)行的分析、完成整個(gè)工程的最小人力需求分析等。MAM網(wǎng)支持整合的軟件過(guò)程模型和組織環(huán)境,以統(tǒng)一的方式調(diào)用工作流節(jié)點(diǎn)變化算法,從而動(dòng)態(tài)適應(yīng)軟件過(guò)程工作流建模,提高軟件過(guò)程建模