□文/安海寧 婁 健

（河北大學(xué)計算中心 河北·保定）

基于構(gòu)件進行系統(tǒng)組裝的研究，是基于組件的軟件工程（簡稱CBSE）中的一個研究熱點。合理地進行構(gòu)件描述，并在使用構(gòu)件的時候，快速、準(zhǔn)確地判斷出構(gòu)件的可用性，通過構(gòu)件組裝系統(tǒng)的可行性分析，才能在此基礎(chǔ)上進行有理有據(jù)的構(gòu)件組裝，進而形成應(yīng)用系統(tǒng)。

為了實現(xiàn)構(gòu)件組裝，大量的可重用構(gòu)件是不可缺少的，所以構(gòu)件庫作為存儲和管理構(gòu)件的實體，在基于構(gòu)件的開發(fā)過程中起著非常重要的作用。其中，如何對構(gòu)件進行合理的描述將直接影響構(gòu)件的可用性、易用性、可學(xué)習(xí)性等。在利用構(gòu)件庫中的構(gòu)件進行系統(tǒng)組裝時，快速推導(dǎo)出構(gòu)件能否被正確地集成在一起，完成特定的系統(tǒng)功能，是研究人員必須解決的一個非常重要的問題。

一、構(gòu)件描述

為了能夠利用構(gòu)件庫中的構(gòu)件進行組裝，對構(gòu)件進行合理的描述是必不可少的。構(gòu)件描述需要涉及其組裝特征，及從多個方面衡量它與其他構(gòu)件能否組裝的必備信息；要描述構(gòu)件的接口，從而獲知構(gòu)件如何與其他構(gòu)件進行信息交互；還有一些其他特征信息，便于用戶更好地理解構(gòu)件?；谶@些因素，定義構(gòu)件描述如下:

一個構(gòu)件描述就是一個三元組:

其中，AssemblyProperties用于描述構(gòu)件的組裝特征，ComponentInterfaces用于描述構(gòu)件的接口，OtherCharacters用于描述構(gòu)件的其他特征。

1、AssemblyProper ties的描述。對于AssemblyProperties，定義其也為一個三元組:

其中，每個描述項稱為一個組裝刻面，每個組裝刻面可以有多個術(shù)語對其進行具體描述。

functions刻面描述構(gòu)件的主要功能，是構(gòu)件用戶最關(guān)心的一個刻面。其術(shù)語隨領(lǐng)域不同，可以自行定義。例如，針對圖書館管理領(lǐng)域，functions刻面的術(shù)語可以有圖書信息處理、讀者信息處理、借閱信息處理等。

依據(jù)軟件體系結(jié)構(gòu)的構(gòu)成，structures刻面主要描述該構(gòu)件在軟件體系結(jié)構(gòu)中中所處的位置，其術(shù)語可包括:表示層（UI）、業(yè)務(wù)邏輯層、數(shù)據(jù)層等，術(shù)語隨構(gòu)件實際所處的軟件架構(gòu)位置不同，可以自行定義。

implements刻面主要描述構(gòu)件實現(xiàn)的具體方法，其術(shù)語可以包括如:應(yīng)用程序?qū)崿F(xiàn)、腳本實現(xiàn)等。該刻面的術(shù)語同樣可以自行定義。

2、Component Inter faces的描述。構(gòu)件通過接口向外提供服務(wù)。對Interfaces的描述包括該接口能夠?qū)ν饨缣峁┠男┓?wù)，滿足哪些條件才能夠提供這些服務(wù)，如何提供服務(wù)。表示如下:

接口語義說明接口能夠提供什么服務(wù)，需要滿足哪些條件才能提供這些服務(wù)，以及構(gòu)件執(zhí)行完畢的狀態(tài)；接口語法說明接口如何提供服務(wù)。由于利用XML可以比較清晰地反映接口描述的層次性，使描述結(jié)構(gòu)化，所以這里用一個簡化的XML的DTD（文檔模板定義）給出對接口描述的詳細(xì)設(shè)計。其中參數(shù)的基本類型與C++所提供的基本參數(shù)類型一致。

3、OtherCharacters的描述。Other－Characters主要包括用戶在使用該構(gòu)件時需要了解的其他方面的信息，如構(gòu)件版本、運行平臺、其他構(gòu)件支持等。Other－Characters的具體描述項可根據(jù)構(gòu)件實際情況增減，但在描述時需要一一指明有哪些描述項。

圖1 構(gòu)架規(guī)則實例

圖2 組裝過程

二、構(gòu)件組裝規(guī)則

組裝規(guī)則可定義為一個三元組（A，R，P），其中A代表組裝的架構(gòu)規(guī)則，R代表組裝的實現(xiàn)規(guī)則，P代表組裝的性能規(guī)則。

其中，架構(gòu)規(guī)則的含義是軟件配置單中各個構(gòu)件在軟件架構(gòu)上滿足的要求，如一個完整的應(yīng)用軟件應(yīng)該由UI、業(yè)務(wù)邏輯等構(gòu)件組成，即為架構(gòu)規(guī)則。架構(gòu)規(guī)則可保證配置單中的構(gòu)件在邏輯上可以正確連接。

實現(xiàn)規(guī)則規(guī)定了軟件配置單中各個構(gòu)件在實現(xiàn)方法上的一些限制，如采用何種構(gòu)件實現(xiàn)技術(shù)、接口定義如何等。實現(xiàn)規(guī)則可確保配置單中的構(gòu)件在物理上可以正確連接。

性能規(guī)則說明了組裝成一個性能較好的應(yīng)用軟件，對配置單中出現(xiàn)的構(gòu)件應(yīng)有的一些要求。如各個構(gòu)件的延遲、響應(yīng)時間等。性能規(guī)則能夠輔助用戶組裝一個性能優(yōu)越的應(yīng)用軟件。

在上述組裝規(guī)則中，實現(xiàn)規(guī)則和性能規(guī)則的表達較為簡單，而架構(gòu)規(guī)則的表達較為復(fù)雜，為了簡潔且準(zhǔn)確地表達一個應(yīng)用軟件的架構(gòu)規(guī)則，在本項目中，使用EBNF對架構(gòu)規(guī)則進行了描述。EBNF，即擴展巴科斯－瑙爾范式，經(jīng)常用來描述高級程序設(shè)計語言的語法規(guī)則，具有簡潔、嚴(yán)謹(jǐn)、精確、無歧異等優(yōu)點。EBNF中常用的符號如下:

根據(jù)架構(gòu)規(guī)則的不同，我們可把目前常用的應(yīng)用軟件分為數(shù)據(jù)庫應(yīng)用型、網(wǎng)絡(luò)應(yīng)用型、Web應(yīng)用型等不同種類型，可用EBNF表達，如圖1所示。（圖1）

其中，規(guī)則a的含義為:一個應(yīng)用軟件可以是數(shù)據(jù)庫應(yīng)用、通信應(yīng)用或Web應(yīng)用；規(guī)則b的含義為:一個數(shù)據(jù)庫應(yīng)用應(yīng)該由UI構(gòu)件、一個或多個業(yè)務(wù)邏輯構(gòu)件、數(shù)據(jù)訪問構(gòu)件、數(shù)據(jù)庫構(gòu)件組成，其中數(shù)據(jù)訪問構(gòu)件為可選項。其他規(guī)則的解釋類似，這里就不再贅述了。

三、構(gòu)件的組裝

項目中，采用如圖2所示的組裝過程。（圖 2）

首先，用戶根據(jù)軟件的功能需求及構(gòu)件庫中現(xiàn)有構(gòu)件功能特性，生成軟件配置單。由于用戶生成軟件配置單時只考慮了構(gòu)件的功能特性，而功能符合要求的構(gòu)件并不一定可以組裝成一個完整的應(yīng)用程序，因此需要對用戶生成的軟件配置單做驗證，驗證依據(jù)即為上述的組裝規(guī)則。在本項目中，實現(xiàn)配置單驗證的模塊被稱為“配置單編譯器”。

若軟件配置單通過驗證，則配置單編譯器會給出成功標(biāo)志，同時會對本次組裝的性能做相應(yīng)評價；若未能通過驗證，則會給出錯誤標(biāo)志，同時提示配置單出錯位置，以便于用戶修改。

通過上述對組裝過程的分析可知，組裝實現(xiàn)的關(guān)鍵是軟件配置單的驗證，即如何實現(xiàn)配置單編譯器。

［1］Shaw M，Deline R，K lein DV.Abstractions for Software Architecture and Tools to SupportThem[J].IEEETransaction on Software Engineering，1995.4.

［2］任洪敏，錢樂秋.構(gòu)件組裝及其形式化推導(dǎo)研究[J].軟件學(xué)報，2003.6.

［3］廖昕，陳松喬，孫瑩.可復(fù)用構(gòu)件組裝技術(shù)研究[J].計算技術(shù)與自動化，2004.3.