李凱

摘要：通過軟件開發(fā)實(shí)踐，人們逐步地認(rèn)識(shí)到軟件產(chǎn)品的質(zhì)量在很大程度上依賴于產(chǎn)品開發(fā)時(shí)所使用的過程.軟件過程建模是通過特定的方法對(duì)軟件過程進(jìn)行抽象、表示和分析以增加對(duì)軟件過程的理解，同時(shí)，可執(zhí)行的（enactable）軟件過程模型可以直接指導(dǎo)實(shí)際軟件開發(fā)活動(dòng)，進(jìn)而規(guī)范軟件開發(fā)行為并最終提高軟件質(zhì)量.

關(guān)鍵字：軟件過程，建模，分析研究

軟件過程（software process）是指用于開發(fā)和維護(hù)軟件產(chǎn)品的一系列有序活動(dòng)，而每個(gè)活動(dòng)的屬性包括相關(guān)的制品（artifact）、資源（人或者其他資源）、組織結(jié)構(gòu)和約束.通過軟件開發(fā)實(shí)踐，人們逐步地認(rèn)識(shí)到軟件產(chǎn)品的質(zhì)量在很大程度上依賴于產(chǎn)品開發(fā)時(shí)所使用的過程，即生產(chǎn)高質(zhì)量的軟件需要有一個(gè)高質(zhì)量的軟件過程.由于影響軟件開發(fā)的各種因素，比如商業(yè)環(huán)境、開發(fā)技術(shù)以及開發(fā)人員，總是在持續(xù)不斷地變化，因此一個(gè)高質(zhì)量的軟件過程也必須是一個(gè)持續(xù)不斷改進(jìn)的過程，而軟件過程改進(jìn)也構(gòu)成了軟件過程管理活動(dòng)的核心。

軟件過程建模的目的是利用適當(dāng)?shù)慕７椒ㄅc工具建立和描述軟件過程模型，并在特定過程環(huán)境中將軟件過程模型實(shí)例化為實(shí)現(xiàn)特定開發(fā)目標(biāo)的軟件過程，從而為軟件組織實(shí)現(xiàn)以過程為中心的軟件開發(fā)管理提供有力支持，對(duì)于軟件組織保證軟件產(chǎn)品質(zhì)量，提高開發(fā)效率具有重要的理論和實(shí)踐價(jià)值.軟件開發(fā)是特殊的生產(chǎn)過程，它高度依賴人的能力，同樣的過程由不同的執(zhí)行者執(zhí)行，會(huì)生產(chǎn)不同質(zhì)量和數(shù)量的產(chǎn)品。

軟件過程建模的主要目的是建立軟件過程的抽象模型，通過對(duì)該抽象模型的分析增加對(duì)過程本身的理解和認(rèn)識(shí)，從而可以更好地實(shí)施軟件開發(fā)活動(dòng).對(duì)于同一個(gè)軟件過程，所建立的抽象模型與建模方法、建模目的密切相關(guān).比如，對(duì)于支持控制流描述的建模語言，其相應(yīng)的模型將會(huì)以過程中的一系列開發(fā)活動(dòng)作為主線；而如果一個(gè)建模語言主要通過制品間的轉(zhuǎn)換關(guān)系和出入口標(biāo)準(zhǔn)來描述一個(gè)軟件過程，則相應(yīng)的模型更主要的是描述開發(fā)活動(dòng)中的制品.就建模目的而言，如果建模只是為了增加對(duì)過程的理解，所建立的模型只需比較高的抽象層次上對(duì)軟件過程進(jìn)行描述；而為了支持后續(xù)的軟件過程執(zhí)行或者更為詳盡的分析，則需要過程模型包含必要的細(xì)節(jié)。

軟件過程建模方法的研究主要是圍繞著過程建模語言和以過程為中心的軟件工程環(huán)境（process-centeredsoftware engineering environment，簡稱 PSEE）展開的.一種建模方法所具備的描述、分析、執(zhí)行和演化的能力主要依賴于所使用的建模語言，而 PSEE 決定了一種建模方法對(duì)實(shí)際開發(fā)活動(dòng)所能提供的支持；PSEE 和過程建模語言往往是密不可分的，每個(gè) PSEE 具有相關(guān)聯(lián)的一種或者幾種建模語言，而一種建模語言需要在相應(yīng)的PSEE 中被解釋和執(zhí)行.PSEE 的出現(xiàn)可以追溯到 20 世紀(jì) 70 年代，主要是通過數(shù)據(jù)流集成的方式，將一些原本孤立的開發(fā)工具組合在一起，比如需求分析工具的輸出作為設(shè)計(jì)工具的輸入、設(shè)計(jì)工具的輸出作為代碼生成工具的輸入等等，而真正將軟件過程作為一個(gè)實(shí)體進(jìn)行支持的 PSEE，則是在 20 世紀(jì) 80 年代后開始出現(xiàn)在 90 年代前后，特別是基于軟件過程也是軟件（software processes are software too）的思想提出后，研究者們提出了多種 PSEE 和軟件過程建模語言。

軟件過程所涉及的要素很多，要素之間的交互和約束關(guān)系也很復(fù)雜.軟件過程建模方法通常將建模所關(guān)注的焦點(diǎn)集中在某一個(gè)要素上，并以該要素為中心建立整個(gè)軟件過程模型.由于建模的焦點(diǎn)不同，軟件過程模型的結(jié)構(gòu)也不盡相同，例如，基于活動(dòng)的方法以活動(dòng)為模型的核心要素，其他過程要素與活動(dòng)相關(guān)聯(lián)，從而將軟件過程模型描述為一系列活動(dòng)或步驟的偏序集.類似地有基于制品的方法以及基于角色的方法這些方法通常僅關(guān)注于過程和活動(dòng)之間的關(guān)系，人被作為過程的執(zhí)行者或者過程資源而被動(dòng)地在預(yù)定義的模式下實(shí)施軟件開發(fā)活動(dòng)，所建立過程的能力由設(shè)備能力所決定，只考慮過程能夠做什么以及目標(biāo)如何實(shí)現(xiàn)，很少考慮實(shí)現(xiàn)目標(biāo)所需的資源.

上述的建模方法一般是在軟件建模和分析方法的基礎(chǔ)上，針對(duì)軟件過程建模的需要，作適當(dāng)?shù)母倪M(jìn)而提出來的.但在研究過程中，人們逐漸認(rèn)識(shí)到現(xiàn)有的方法在實(shí)際應(yīng)用中存在著如下兩個(gè)主要問題：a） 實(shí)際軟件開發(fā)過程涉及很多要素，而軟件過程模型作為實(shí)際軟件開發(fā)過程的抽象，一般只描述了過程的某些方面.

另外，由于開發(fā)人員所具有的主觀性、軟件開發(fā)活動(dòng)所具有的創(chuàng)造性以及實(shí)際軟件開發(fā)過程在執(zhí)行中將會(huì)隨著項(xiàng)目的進(jìn)展或者外部組織環(huán)境的變化而不斷變化，使得實(shí)際軟件開發(fā)活動(dòng)很少可以嚴(yán)格按照在 PSEE 中實(shí)例化的軟件過程模型執(zhí)行.因此，所構(gòu)造的軟件過程模型往往是隨著開發(fā)的進(jìn)行而不斷與實(shí)際軟件開發(fā)活動(dòng)相偏離，從而逐漸失去了對(duì)實(shí)際軟件開發(fā)活動(dòng)的指導(dǎo)和規(guī)范意義在 PSEE 和建模語言的設(shè)計(jì)過程中，人們需要權(quán)衡相互矛盾的需求。

為使不具有太多工程背景的涉眾（stakeholder）也能很好地理解軟件過程，需要建模語言的表現(xiàn)形式較易于理解：一般需要圖形化支持且不需要涉及太多的細(xì)節(jié)；而軟件過程的執(zhí)行和分析需要建模語言能夠描述必要的細(xì)節(jié)：一般需要具有明確的操作語義，而且最好采用形式化的方法.如何能夠滿足這些相互矛盾的需求，是軟件過程建模語言和 PSEE 設(shè)計(jì)中需要仔細(xì)權(quán)衡的問題，同時(shí)也是軟件過程建模方法研究所一直面對(duì)的課題.近年來，軟件過程建模領(lǐng)域的研究人員針對(duì)上述問題作了很多有益的探索，主要的研究熱點(diǎn)包括支持過程演化（process evolution）、偏離容忍（deviation tolerance）的 PSEE、軟件過程的驗(yàn)證和分析（主要包括過程模型的語法檢查、語義正確性分析、匹配和仿真），以及集成的軟件過程模型等.同時(shí)，對(duì)于分布式和全球協(xié)同環(huán)境下的軟件過程建模和軟件過程建模技術(shù)在企業(yè)的應(yīng)用、實(shí)施也積累了一些經(jīng)驗(yàn).