結(jié)合面向?qū)ο蠛蜆?gòu)件化技術(shù)的領(lǐng)域需求分析方法

軟件的可復(fù)用性是人們評價一個軟件系統(tǒng)的重要指標(biāo)。軟件復(fù)用是提高軟件生產(chǎn)效率與質(zhì)量的一種有效途徑，它可以通過軟件中的可復(fù)用構(gòu)件(reusable component)來實現(xiàn)，即通過集成已有的構(gòu)件來創(chuàng)建新系統(tǒng)。以領(lǐng)域分析為基礎(chǔ)的特定領(lǐng)域復(fù)用(Domain-Specific Reuse)是提高軟件復(fù)用水平的重要途經(jīng)之一。將目標(biāo)集中在一個特定應(yīng)用領(lǐng)域中實現(xiàn)軟件復(fù)用，從構(gòu)件的開發(fā)到構(gòu)件的存儲與管理都比較容易。本文對結(jié)合面向?qū)ο?、FODA方法和構(gòu)件化思想的領(lǐng)域分析方法進行了初步探索，提出了構(gòu)件化的領(lǐng)域分析方法，從而為在軟件開發(fā)的前期階段實現(xiàn)構(gòu)件化開發(fā)，更加有效地實現(xiàn)軟件復(fù)用提供了指導(dǎo)。

1 相關(guān)理論

1.1 軟件復(fù)用

軟件復(fù)用是指重復(fù)使用“為了復(fù)用目的而設(shè)計的軟件”的過程。軟件復(fù)用是在軟件開發(fā)中避免重復(fù)勞動的解決方案，其出發(fā)點是應(yīng)用系統(tǒng)的開發(fā)不再采用一切“從零開始”的模式，而是以已有的工作為基礎(chǔ)，充分利用過去應(yīng)用系統(tǒng)開發(fā)中積累的知識和經(jīng)驗，如：需求分析結(jié)果、設(shè)計方案、源代碼、測試計劃及測試案例等，從而將開發(fā)的重點集中于應(yīng)用的特有構(gòu)成成分。

與軟件復(fù)用相關(guān)的兩個基本開發(fā)活動是面向復(fù)用的開發(fā)和基于復(fù)用的開發(fā)，前者是生產(chǎn)可復(fù)用構(gòu)件的過程，后者是利用現(xiàn)有的可復(fù)用構(gòu)件生產(chǎn)新系統(tǒng)的過程。它們分別對應(yīng)領(lǐng)域工程和應(yīng)用工程，處理好它們之間的關(guān)系，才能實現(xiàn)真正成功的軟件復(fù)用。

1.2 領(lǐng)域工程

領(lǐng)域工程是為一組相似或相近系統(tǒng)的應(yīng)用工程建立基本能力和必備基礎(chǔ)的過程，它覆蓋了建立可復(fù)用的軟件構(gòu)件的所有活動。其中“領(lǐng)域”是指一組具有相似或相近軟件需求的應(yīng)用系統(tǒng)所覆蓋的功能區(qū)域。

領(lǐng)域工程是創(chuàng)建可復(fù)用構(gòu)件的過程，其核心思想是：應(yīng)用模式領(lǐng)域化，問題抽象通用化，軟件元素重用化，開發(fā)過程工程化。實施領(lǐng)域工程的過程可以分為以下三個主要的階段：
(1)領(lǐng)域分析：目標(biāo)是獲得領(lǐng)域模型。
(2)領(lǐng)域設(shè)計：目標(biāo)是獲得DSSA(特定領(lǐng)域軟件體系結(jié)構(gòu))。
(3)領(lǐng)域?qū)崿F(xiàn)：主要任務(wù)是依據(jù)領(lǐng)域模型和DSSA開發(fā)、組織可重用構(gòu)件。

需要特別指出的是，領(lǐng)域工程的三個基本階段所描述的過程是一個反復(fù)的、逐漸求精的過程。在實施領(lǐng)域工程的每個階段中，都可能返回到以前的步驟，對以前得到的結(jié)果進行修改和完善，再回到當(dāng)前步驟，在新的基礎(chǔ)上實施本階段的過程。

1.3 面向特定領(lǐng)域的軟件開發(fā)

與領(lǐng)域工程相對的是開發(fā)單個應(yīng)用系統(tǒng)的軟件工程的過程，稱為應(yīng)用工程。

在應(yīng)用工程中，軟件開發(fā)人員的任務(wù)是針對一組特定的需求產(chǎn)生一組特定的設(shè)計和實現(xiàn)。與此相對，在領(lǐng)域工程中，領(lǐng)域工程人員的基本任務(wù)是對一個領(lǐng)域中的所有系統(tǒng)進行抽象。領(lǐng)域工程的各個階段主要是對應(yīng)用工程中相應(yīng)階段產(chǎn)品的抽象，領(lǐng)域工程又對本領(lǐng)域中新系統(tǒng)的開發(fā)提供支持。在CBSE思想的指導(dǎo)下，基于構(gòu)件的應(yīng)用工程實際上是構(gòu)件的組裝過程。構(gòu)件(Component)是指應(yīng)用系統(tǒng)中可以明確辨識的構(gòu)成成分。而可復(fù)用構(gòu)件是指具有相對獨立的功能和可復(fù)用價值的構(gòu)件。隨著對軟件復(fù)用理解的深入，構(gòu)件的概念已不再局限于源代碼構(gòu)件，而是延伸到需求、系統(tǒng)和軟件的需求規(guī)約、系統(tǒng)和軟件的構(gòu)架、文檔、測試案例和數(shù)據(jù)以及其他對開發(fā)活動有用的信息。這些可復(fù)用軟件構(gòu)件通過領(lǐng)域工程獲得，作為應(yīng)用工程開發(fā)的基本元素。

在開發(fā)實際的應(yīng)用系統(tǒng)時，將領(lǐng)域工程與應(yīng)用工程相結(jié)合，可以快速、有效地開發(fā)出用戶滿意的系統(tǒng)。兩者相結(jié)合的軟件開發(fā)模型如圖1所示。

通過以上討論可以看到，在面向領(lǐng)域的軟件開發(fā)過程中，領(lǐng)域模型的建立是軟件開發(fā)的基礎(chǔ)。當(dāng)開發(fā)同一領(lǐng)域的新系統(tǒng)時，可根據(jù)領(lǐng)域分析確定新應(yīng)用的需求規(guī)約，以此來指導(dǎo)貫穿于整個開發(fā)的設(shè)計與組裝。因此領(lǐng)域分析的成功與否，對今后的開發(fā)具有舉足輕重的作用。領(lǐng)域分析的成功復(fù)用，可以從更抽象的層次實現(xiàn)軟件復(fù)用。

1.4 領(lǐng)域分析

所謂領(lǐng)域分析(DA)就是在系統(tǒng)分析之前，分析、研究有關(guān)應(yīng)用領(lǐng)域特性的活動。它是發(fā)現(xiàn)和記錄某個領(lǐng)域各系統(tǒng)的共性和差異的過程，是系統(tǒng)化、形式化、有效復(fù)用的關(guān)鍵。通過領(lǐng)域分析，相似系統(tǒng)的公共特性將被提取，適用于該領(lǐng)域所有公共的、基本的對象、操作也將被標(biāo)志出來，并且可通過定義模型描述它們之間的關(guān)系。領(lǐng)域分析的目標(biāo)就是獲得領(lǐng)域模型。領(lǐng)域模型(Domain Model)是領(lǐng)域中各系統(tǒng)的共同需求的描述。它描述了領(lǐng)域內(nèi)系統(tǒng)需求上的共性。

1.4.1 FODA方法與特征模型

FODA對領(lǐng)域分析過程進行了完整的描述，特征概念是FODA方法的核心。所謂特征是指系統(tǒng)中的屬性和特點，按特征在領(lǐng)域中的可選性及特征間的相互關(guān)系可分為三類：

(1)強制性特征：必須被選擇的特征。
(2)可選特征：從0到n個可供選擇的特征。
(3)可替換特征：至少有一個被選擇的特征。

按特征的內(nèi)容也可分為三類：
(1)功能相關(guān)：系統(tǒng)所作的事情。
(2)環(huán)境相關(guān)：系統(tǒng)是如何被使用的，變化點的原因。
(3)表示相關(guān)：系統(tǒng)信息是如何被用戶所觀察的或者是如何被相關(guān)應(yīng)用所獲得的。

特征模型通過使用抽象和細化的機制對領(lǐng)域中不同應(yīng)用的所有特征進行了分類，從而提供了關(guān)于領(lǐng)域體系結(jié)構(gòu)和可復(fù)用構(gòu)件的高層視圖。特征模型可作為應(yīng)用開發(fā)者的地圖，當(dāng)應(yīng)用開發(fā)者面對龐雜的Use Case模型或者其他模型時，特征模型提供了關(guān)于哪些是可選的、哪些是可合并的信息。

1.4.2 領(lǐng)域Use Case模型和動態(tài)模型

領(lǐng)域Use Case模型是RSEB(Reuse-Driven Soft-ware Engineering Business)方法為了表示領(lǐng)域中用戶需求的不同之處對其進行擴展而形成的。但是領(lǐng)域Use Case模型無法詳細地表示出系統(tǒng)工作流程。為了更詳細地描述整個系統(tǒng)對象間的活動，考慮在領(lǐng)域Use Case模型中附加動態(tài)模型對工作流進行建模。領(lǐng)域Use Case模型和動態(tài)模型采用構(gòu)件化的思想進行組裝。動態(tài)模型可以采用uml的活動圖描述，領(lǐng)域Use Case或單個的活動與活動圖之間通過接口進行連接，并且有明確的標(biāo)識，從而完整、獨立、詳盡地描述特征模型。在此還特別注意了可變性機制，可變性機制中主要是變化點和變體的表示。變化點是指在Use Case中不同應(yīng)用之間的不同處理方式或處理對象的一種抽象，而變體是指變化點的一種具體實現(xiàn)方法。

為了領(lǐng)域Use Case模型和動態(tài)模型的構(gòu)件化組裝，在實際應(yīng)用中定義了這些描述需求的構(gòu)件接口，接口定義如下：

接口=(Provides，Requires)
其中，Provides為對外提供的功能/服務(wù)，Requires為對外要求的功能服務(wù)。
Provides=({provideFunction})
Requires=({requiredIncludedFunction}，{requiredExtendedFunction})
需要說明的是，在對外要求的功能/服務(wù)中，requiredIncludeFunction是必須滿足的條件，requiredExtendFunction是可能滿足的條件，從而增加了構(gòu)件的靈活性和可變性。

2 構(gòu)件化的領(lǐng)域分析方法

領(lǐng)域分析是提取構(gòu)件和建立體系結(jié)構(gòu)的關(guān)鍵。依據(jù)面向?qū)ο?、FODA中特征的概念以及CBSE方法的一些思想，進行領(lǐng)域分析有以下幾個步驟：

(1)建立領(lǐng)域邊界模型：目的是定義領(lǐng)域的范圍。
方法是，從待分析領(lǐng)域中確定包含哪些應(yīng)用，表示出本領(lǐng)域系統(tǒng)的邊界；從這些應(yīng)用中找出所有與本領(lǐng)域進行交互的人或領(lǐng)域，并表示出它們的通用職責(zé)。為了確定領(lǐng)域的范圍，可以根據(jù)領(lǐng)域知識用類似于高層抽象用例圖的形式來表示。

(2)建立特征模型：目的是識別領(lǐng)域中應(yīng)用的共同特征和可變特征。
方法是，在實際建模中利用開發(fā)的原型或現(xiàn)存系統(tǒng)尋找本領(lǐng)域中的通用功能和可選功能，抽象表示成強制性特征和可選的特征；然后找到相同功能的不同實現(xiàn)方法, 用可替換特征表示；最后考察模型中的特征是否可以被進一步分解為子特征，從而形成特征模型。

(3)建立領(lǐng)域Use Case模型和動態(tài)模型：目的是將領(lǐng)域內(nèi)的特征描述完整化、獨立化，并且具有可適應(yīng)性和可標(biāo)識性。通過此步可以描述整個領(lǐng)域的業(yè)務(wù)處理。

方法是，選擇特征模型中強制性特征、可替換特征以及一些出現(xiàn)頻率比較高的可選特征作為通用功能；將具有相似功能或者操作同一對象的功能組成一個Use Case，在組成一個Use Case時也要考慮復(fù)用力度的問題，根據(jù)復(fù)用的力度選擇Use Case的規(guī)模；強制性特征、可選特征和可替換特征分別利用uml中的包含(include)、延伸(extend)和實現(xiàn)(realize)關(guān)系予以表示，從而映射到Use Case模型中，并且定義其接口；對于相對具體的Use Case，利用動態(tài)模型描述隨時間發(fā)生的活動和參與的對象，并且定義接口與其描述的Use Case模型連接，對于某些活動可以繼續(xù)定義動態(tài)模型并通過接口進行組裝。

(4)建立對象模型：目的是抽象出主要的對象和類，描述領(lǐng)域中對象和類的靜態(tài)關(guān)系，為下一步體系結(jié)構(gòu)的建立打下基礎(chǔ)。

方法是，將動態(tài)模型中的對象與領(lǐng)域Use Case模型中的名詞相結(jié)合建立對象模型；把相同或相似的對象進行合并；最后再用使用、繼承、參數(shù)化等機制實現(xiàn)變體。

綜上所述，整個分析過程分為以上四步進行，但這四步不是線性的，是并行和迭代的。它是對以上模型不斷精化的過程，可以分成幾個周期不斷循環(huán)進行，直至得到滿意的領(lǐng)域模型。在此過程中，還有一個將所得模型構(gòu)件化提交構(gòu)件庫的階段，在此不作討論。

3 應(yīng)用分析