第4章 特定領(lǐng)域的軟件體系結(jié)構(gòu)

1、第四章 特定領(lǐng)域的軟件體系結(jié)構(gòu) 2/35本章內(nèi)容o 4.1特定領(lǐng)域軟件體系結(jié)構(gòu)概述特定領(lǐng)域軟件體系結(jié)構(gòu)概述o 4.2 DSSA的定義及組成的定義及組成o 4.3 特定領(lǐng)域軟件體系結(jié)構(gòu)的領(lǐng)域工程特定領(lǐng)域軟件體系結(jié)構(gòu)的領(lǐng)域工程o 4.4 特定領(lǐng)域軟件體系結(jié)構(gòu)的應(yīng)用工程特定領(lǐng)域軟件體系結(jié)構(gòu)的應(yīng)用工程o 4.5 DSSA的生命周期o 4.6 特定領(lǐng)域軟件體系結(jié)構(gòu)的建立o 4.7 基于特定領(lǐng)域軟件體系結(jié)構(gòu)的開(kāi)發(fā)過(guò)程o 4.9 特定領(lǐng)域軟件體系結(jié)構(gòu)對(duì)軟件開(kāi)發(fā)的意義3/354.1 特定領(lǐng)域軟件體系結(jié)構(gòu)概述o 隨著軟件重用技術(shù)的不斷發(fā)展和成熟，軟件重用已經(jīng)從代碼級(jí)重用逐步上升到系統(tǒng)級(jí)重用。特定領(lǐng)域軟件體系結(jié)構(gòu)

2、(DSSA)的設(shè)計(jì)是系統(tǒng)級(jí)軟件重用的主要研究?jī)?nèi)容之一。特定領(lǐng)域軟件體系結(jié)構(gòu)不以實(shí)現(xiàn)某個(gè)特定應(yīng)用為目標(biāo)，而是關(guān)注整個(gè)領(lǐng)域。針對(duì)領(lǐng)域分析模型中的需求，DSSA給出了相應(yīng)的解決方案，該解決方案不僅滿足單個(gè)系統(tǒng)，而且也適應(yīng)領(lǐng)域中的其他系統(tǒng)需求，是領(lǐng)域范圍內(nèi)的一個(gè)更高層次設(shè)計(jì)框架。4/354.2 DSSA的定義及組成o 簡(jiǎn)單地說(shuō)，DSSA就是在一個(gè)特定應(yīng)用領(lǐng)域中為一組應(yīng)用提供組織結(jié)構(gòu)參考的標(biāo)準(zhǔn)軟件框架。美國(guó)國(guó)防部和美國(guó)空軍非常重視對(duì)特定領(lǐng)域軟件體系結(jié)構(gòu)的研究，并給出了兩個(gè)關(guān)于DSSA的定義：o 定義1：DSSA是軟件構(gòu)件的集合，以標(biāo)準(zhǔn)結(jié)構(gòu)組合而成，對(duì)于一種特殊類型的任務(wù)具有通用性，可以有效地、成功地用于

3、新應(yīng)用系統(tǒng)的構(gòu)建。在該定義中，構(gòu)件是指一個(gè)抽象的具有特征的軟件單元，它能為其他單元提供相應(yīng)的服務(wù)。o 定義2：DSSA是問(wèn)題元素和解元素的樣本，同時(shí)給出了問(wèn)題元素和解元素之間的映射關(guān)系。5/35 通過(guò)分析DSSA的定義和描述，可以看出，DSSA具有如下特征：o 是對(duì)整個(gè)領(lǐng)域適度的抽象；o 具有嚴(yán)格定義的問(wèn)題域或解決方案域；o 具備該領(lǐng)域固有的、典型的在開(kāi)發(fā)過(guò)程中可重用元素；o 具有普遍性，即可用于領(lǐng)域中某個(gè)特定應(yīng)用的開(kāi)發(fā)。6/35o 一般而言，DSSA由可重用構(gòu)件、參考需求工程、參考體系結(jié)構(gòu)3個(gè)主要信息元素以及框架/環(huán)境支持工具、抽取和評(píng)估工具組成。o 其中，領(lǐng)域模型是DSSA的關(guān)鍵部分，它描

4、述了領(lǐng)域內(nèi)系統(tǒng)需求上的共性。領(lǐng)域模型所描述的需求稱為參考需求或領(lǐng)域需求，它是通過(guò)考察領(lǐng)域中已有系統(tǒng)的參考需求獲得的。參考體系結(jié)構(gòu)則是一個(gè)統(tǒng)一的、相關(guān)的、多級(jí)的軟件體系結(jié)果規(guī)范。7/35o DSSA結(jié)構(gòu)如下圖所示。8/35o DSSA包含兩個(gè)過(guò)程，即領(lǐng)域工程和應(yīng)用工程。領(lǐng)域工程是為一組相近或相似的應(yīng)用建立基本能力與必備基礎(chǔ)的過(guò)程，它覆蓋了建立可重用軟件元素的所有活動(dòng)。o 應(yīng)用工程是通過(guò)重用軟件資源，以領(lǐng)域通用體系結(jié)構(gòu)為框架，開(kāi)發(fā)出滿足用戶需求的一系列應(yīng)用軟件的過(guò)程。o DSSA的參與者包括領(lǐng)域工程人員和應(yīng)用工程人員。按照其所承擔(dān)的任務(wù)不同，參與領(lǐng)域工程的人員可以劃分為四種角色：領(lǐng)域?qū)＜?、領(lǐng)域分析

5、員、領(lǐng)域設(shè)計(jì)員和領(lǐng)域?qū)崿F(xiàn)員。o 按照其所承擔(dān)的任務(wù)不同，參與應(yīng)用工程的人員可以劃分為三種角色，系統(tǒng)分析人員、系統(tǒng)設(shè)計(jì)人員和系統(tǒng)實(shí)現(xiàn)人員。 9/354.3 特定領(lǐng)域軟件體系結(jié)構(gòu)的領(lǐng)域工程o 領(lǐng)域工程有助于解決可重用信息的識(shí)別、組織和利用的問(wèn)題，有助于產(chǎn)生具有較高可重用性的構(gòu)件，對(duì)開(kāi)發(fā)者重用構(gòu)件提供了有力的支持。o 對(duì)特定領(lǐng)域的應(yīng)用系統(tǒng)實(shí)施領(lǐng)域工程必須具備一些基本的前提，只有這樣，領(lǐng)域工程的實(shí)施才能順利，才能更具有意義。o 可重用信息的領(lǐng)域特定性。可重用性不是信息的一種孤立的屬性，它依賴于特定的問(wèn)題和特定問(wèn)題的解決方法。當(dāng)某信息具有可重用性時(shí)，是指當(dāng)使用特定的方法解決特定的問(wèn)題時(shí)，它是可重用的?；?/p>

6、于這一基本認(rèn)識(shí)，在識(shí)別、獲取和表示可重用信息時(shí)，應(yīng)采用面向領(lǐng)域的策略。10/35o 問(wèn)題領(lǐng)域的內(nèi)聚性和穩(wěn)定性。關(guān)于現(xiàn)實(shí)世界問(wèn)題領(lǐng)域的解決方法的知識(shí)是充分內(nèi)聚和穩(wěn)定的，這才能使得獲取和表示這些知識(shí)的努力是有意義的，這一基本認(rèn)識(shí)是實(shí)際觀察的結(jié)果。一個(gè)問(wèn)題領(lǐng)域的規(guī)約和實(shí)現(xiàn)知識(shí)的內(nèi)聚性，便得可以通過(guò)一組有限的、相對(duì)較少的可重用信息來(lái)把握這些可以解決大量問(wèn)題的知識(shí)。領(lǐng)域的穩(wěn)定性，使得獲取和表示這些信息所付出的代價(jià)可以通過(guò)在一段較長(zhǎng)的時(shí)間內(nèi)多次重用它們來(lái)得到補(bǔ)償。11/35領(lǐng)域分析o 領(lǐng)域分析(Domain Analysis) 含義是指識(shí)別、捕獲和組織特定領(lǐng)域中一類相似系統(tǒng)的對(duì)象及操作等可重用信息的過(guò)程，

7、其目標(biāo)是支持系統(tǒng)化的軟件重用。 o 領(lǐng)域分析是領(lǐng)域工程的第一個(gè)階段，這個(gè)階段的主要目標(biāo)是產(chǎn)生領(lǐng)域模型，進(jìn)行的兩項(xiàng)活動(dòng)包括領(lǐng)域定義和建立領(lǐng)域模型。主要有以下幾點(diǎn)：n進(jìn)行需求分析。需求分析的內(nèi)容主要有服務(wù)分析、功能分析、行為特點(diǎn)分析、共性變化性分析、質(zhì)量需求分析、領(lǐng)域術(shù)語(yǔ)分析和規(guī)約及交互析活動(dòng)。12/35n確定用領(lǐng)域工程的方法進(jìn)行系統(tǒng)設(shè)計(jì)和實(shí)施過(guò)程中的主要參者和利用的主要資源。n在需求分析的基礎(chǔ)上，區(qū)分領(lǐng)域中模塊的共性和特性，以便用來(lái)組裝完成特定功能的業(yè)務(wù)構(gòu)件。n確定領(lǐng)域中變化的部分和不變的部分。提取領(lǐng)域中共性的模塊進(jìn)行處理，用來(lái)構(gòu)建領(lǐng)域知識(shí)庫(kù)和構(gòu)件庫(kù)。用戶可以調(diào)整領(lǐng)域的知識(shí)結(jié)構(gòu)，從而系統(tǒng)化的管理

8、和存放領(lǐng)域知識(shí)，以適應(yīng)知識(shí)的變化。n建立領(lǐng)域模型。領(lǐng)域模型是一個(gè)半形式化的領(lǐng)域描述，它創(chuàng)建一個(gè)綜合知識(shí)庫(kù)并影響領(lǐng)域中的所有開(kāi)發(fā)和集成的結(jié)果。n在已經(jīng)建立起來(lái)的領(lǐng)域模型的基礎(chǔ)上，建立參考需求。13/35領(lǐng)域設(shè)計(jì)o領(lǐng)域設(shè)計(jì)是領(lǐng)域工程的第二個(gè)階段，此階段的主要目標(biāo)是針對(duì)領(lǐng)域分析階段獲得的對(duì)目標(biāo)領(lǐng)域的問(wèn)題域系統(tǒng)責(zé)任的認(rèn)識(shí)，開(kāi)發(fā)出相應(yīng)的設(shè)計(jì)模型。與領(lǐng)域分析模型一樣，領(lǐng)域設(shè)計(jì)框架必須被一般化、標(biāo)準(zhǔn)化和文檔化，使之能夠在創(chuàng)建多個(gè)軟件產(chǎn)品時(shí)被使用。領(lǐng)域設(shè)計(jì)框架一般化處理的步驟：n(1)從實(shí)現(xiàn)中分離依賴關(guān)系，使之容易辨認(rèn)和修改，以適應(yīng)特定軟件產(chǎn)品的需求，或者滿足新應(yīng)用環(huán)境與技術(shù)的需要。n(2)將框架分層，使軟件

9、資源(諸如過(guò)程和服務(wù))可以按照特定應(yīng)用、特定操作系統(tǒng)以及特定硬件平臺(tái)的要求進(jìn)行分層。這樣，將使領(lǐng)域設(shè)計(jì)框架更容易適應(yīng)特定領(lǐng)域軟件開(kāi)發(fā)的需求。n(3)在每一層上，尋找適合領(lǐng)域設(shè)計(jì)框架的通用軟件資源；然后以此為基礎(chǔ)，尋找適合框架的其他基礎(chǔ)性資源。14/35o 在領(lǐng)域工程中，重用應(yīng)該挑選那些具有最高重用潛力的軟件資源，對(duì)其進(jìn)行開(kāi)發(fā)和自動(dòng)抽取。重用元素的選擇原則是：n 在軟件開(kāi)發(fā)和維護(hù)過(guò)程中，最頻繁使用的軟件元素。n 提供最大利益的軟件元素，例如：節(jié)省費(fèi)用、節(jié)省時(shí)間、減少項(xiàng)目失敗的風(fēng)險(xiǎn)、以及強(qiáng)化重用標(biāo)準(zhǔn)等。n 用于創(chuàng)建和維護(hù)對(duì)本公司具有重要意義的策略性軟件元素。n 是重用消費(fèi)者(例如領(lǐng)域?qū)＜摇⑾到y(tǒng)框架

10、設(shè)計(jì)人員、軟件開(kāi)發(fā)人員和軟件維護(hù)人員)所需要的軟件元素。15/35o 領(lǐng)域分析的主要輸出結(jié)果就是領(lǐng)域模型。領(lǐng)域模型跟它所源自的領(lǐng)域有著密切的關(guān)聯(lián)關(guān)系。領(lǐng)域設(shè)計(jì)應(yīng)該緊緊地圍繞著領(lǐng)域模型展開(kāi)，領(lǐng)域模型自身也會(huì)基于領(lǐng)域設(shè)計(jì)的決定而有所增進(jìn)。脫離了領(lǐng)域模型的設(shè)計(jì)會(huì)導(dǎo)致軟件不能反映它所服務(wù)的領(lǐng)域，甚至可能得不到期望的行為。領(lǐng)域建模如果得不到領(lǐng)域設(shè)計(jì)的反饋或者缺少了開(kāi)發(fā)人員的參與，將會(huì)導(dǎo)致必須實(shí)現(xiàn)模型的人很難理解它，并且可能找不到適合的實(shí)現(xiàn)技術(shù)。16/35領(lǐng)域?qū)崿F(xiàn)o 領(lǐng)域?qū)崿F(xiàn)的主要目標(biāo)是根據(jù)領(lǐng)域模型、DSSA來(lái)開(kāi)發(fā)和組織可重用軟件元素。領(lǐng)域?qū)崿F(xiàn)的主要活動(dòng)包括：n 開(kāi)發(fā)可重用軟件元素；n 對(duì)可重用軟件元素進(jìn)

11、行組織，一種重要的方法是將可重用構(gòu)件加入可重用構(gòu)件庫(kù)中。這些可重用軟件元素可能是利用再工程技術(shù)從現(xiàn)有系統(tǒng)中提取得到的，也可能是在新開(kāi)發(fā)過(guò)程中獲取的。17/35o DSSA重用的特征包括：n 為了決定不同粒度部件的最佳重用集，對(duì)于領(lǐng)域必須有透徹的了解。對(duì)域的了解是通過(guò)領(lǐng)域模型的建立與分析。n 領(lǐng)域模型和參考體系結(jié)構(gòu)清楚地定義了領(lǐng)域的共同特性。由于領(lǐng)域是特定的，使用參考體系結(jié)構(gòu)，為重用提供了最大的可能性。n 參考體系結(jié)構(gòu)的重用驅(qū)動(dòng)了共同領(lǐng)域設(shè)計(jì)的重用。n 參考體系結(jié)構(gòu)提供重用部件的通用框架，因而避免了在集成重用部件時(shí)通常遇到的組合問(wèn)題。n 重用部件庫(kù)的建立必須以領(lǐng)域模型和參考體系結(jié)構(gòu)為依據(jù)。n 領(lǐng)

12、域模型、參考體系結(jié)構(gòu)和部件庫(kù)都將隨著領(lǐng)域的應(yīng)用需求的演變而不斷地演變。18/354.4 特定領(lǐng)域軟件體系結(jié)構(gòu)的應(yīng)用工程o 應(yīng)用工程是在領(lǐng)域工程基礎(chǔ)上，針對(duì)某一具體應(yīng)用所實(shí)施的開(kāi)發(fā)過(guò)程。應(yīng)用工程是對(duì)領(lǐng)域模型的實(shí)例化過(guò)程，可以為單個(gè)應(yīng)用設(shè)計(jì)提供最佳的解決方案。 o 與一般的軟件開(kāi)發(fā)過(guò)程類似，應(yīng)用工程可以劃分為應(yīng)用系統(tǒng)分析、應(yīng)用系統(tǒng)設(shè)計(jì)和應(yīng)用系統(tǒng)實(shí)現(xiàn)與測(cè)試3個(gè)階段。在每一階段中，都可以從構(gòu)件庫(kù)中獲得可重用的領(lǐng)域工程結(jié)果，將其作為本階段集成與開(kāi)發(fā)的基礎(chǔ)。在應(yīng)用系統(tǒng)設(shè)計(jì)階段，領(lǐng)域體系結(jié)構(gòu)模型為應(yīng)用的設(shè)計(jì)提供了相關(guān)的參考模板；在應(yīng)用系統(tǒng)實(shí)現(xiàn)與測(cè)試階段，軟件工程師可以直接使用構(gòu)件庫(kù)中的構(gòu)件來(lái)進(jìn)行新應(yīng)用的開(kāi)發(fā)

13、，而無(wú)需關(guān)心構(gòu)件的內(nèi)部實(shí)現(xiàn)細(xì)節(jié)。19/35領(lǐng)域工程與應(yīng)用工程的關(guān)系o 領(lǐng)域工程與應(yīng)用工程二者之間是有區(qū)別的。在應(yīng)用工程中，軟件開(kāi)發(fā)人員的任務(wù)是以領(lǐng)域工程的成果為基礎(chǔ)，針對(duì)一組特定的需求產(chǎn)生一組特定的設(shè)計(jì)和實(shí)現(xiàn)。其中的行為和行為產(chǎn)生的結(jié)果基本上是針對(duì)當(dāng)前開(kāi)發(fā)的特定系統(tǒng)的。與此相對(duì)，在領(lǐng)域工程中，領(lǐng)域工程人員的基本任務(wù)是對(duì)一個(gè)領(lǐng)域中的所有系統(tǒng)進(jìn)行抽象，而不再局限于個(gè)別的系統(tǒng)。因此，與應(yīng)用工程相比，領(lǐng)域工程處于一個(gè)較高的抽象級(jí)別上。在領(lǐng)域工程中，對(duì)領(lǐng)域中相似系統(tǒng)的共同特征進(jìn)行了抽象，并通過(guò)領(lǐng)域模型和DSSA表示了這些共同特征之間的關(guān)系。20/35o 領(lǐng)域工程和應(yīng)用工程之間又是互相聯(lián)系的。n 一方面，

14、通過(guò)應(yīng)用工程得到的現(xiàn)有系統(tǒng)(包括需求規(guī)約、設(shè)計(jì)、實(shí)現(xiàn)等)是領(lǐng)域工程的主要信息來(lái)源，領(lǐng)域工程的各個(gè)階段主要是對(duì)應(yīng)用工程中相應(yīng)階段的產(chǎn)品進(jìn)行抽象。領(lǐng)域工程的產(chǎn)品-領(lǐng)域模型、DSSA、可重用構(gòu)件等，又對(duì)本領(lǐng)域中新系統(tǒng)的應(yīng)用工程提供了支持。n 另一方面，領(lǐng)域工程和應(yīng)用工程需要解決一些相似的問(wèn)題，例如怎樣從各種信息源中獲取用戶的需求，如何表示需求規(guī)約，如何進(jìn)行設(shè)計(jì)，如何表示設(shè)計(jì)模型，如何進(jìn)行構(gòu)件開(kāi)發(fā)，如何在需求規(guī)約、設(shè)計(jì)和實(shí)現(xiàn)間保持邏輯聯(lián)系，如何對(duì)需求規(guī)約、設(shè)計(jì)和實(shí)現(xiàn)進(jìn)行演化等。因此，領(lǐng)域工程的步驟、行為、產(chǎn)品等很多方面都可以和應(yīng)用工程進(jìn)行類比。21/354.5 DSSA的生命周期o 與傳統(tǒng)的軟件工程一

15、樣，基于特定領(lǐng)域的軟件體系結(jié)構(gòu)DSSA的開(kāi)發(fā)也存在著生命周期。RBalzer提出一個(gè)基于DSSA的軟件開(kāi)發(fā)生命周期，如圖所示。22/35o 在開(kāi)發(fā)實(shí)際的軟件系統(tǒng)時(shí)，要從領(lǐng)域工程和應(yīng)用工程兩個(gè)角度進(jìn)行考慮，可給出特定領(lǐng)域軟件體系結(jié)構(gòu)的雙生命周期模型，從而使特定領(lǐng)域軟件體系結(jié)構(gòu)的各個(gè)研究方向和內(nèi)容有機(jī)的統(tǒng)一在一起，使特定領(lǐng)域軟件體系結(jié)構(gòu)既具有嚴(yán)格的理論基礎(chǔ)，又具有嚴(yán)格的工程原則。23/35其雙周期生命周期模型如下圖所示24/354.6 特定領(lǐng)域軟件體系結(jié)構(gòu)的建立o DSSA是一種軟件構(gòu)件的集合，它采用標(biāo)準(zhǔn)的結(jié)構(gòu)和協(xié)議來(lái)進(jìn)行描述，是專門針對(duì)某一類特定任務(wù)所設(shè)計(jì)的。將DSSA在整個(gè)領(lǐng)域中進(jìn)行推廣，可以

16、解決具有類似功能的應(yīng)用問(wèn)題。在較大的范圍內(nèi)，DSSA為某一類問(wèn)題提供了一個(gè)總括的軟件設(shè)計(jì)方法。o 基于DSSA的軟件開(kāi)發(fā)方法將設(shè)計(jì)者的注意力完全集中在當(dāng)前問(wèn)題的個(gè)性化需求上，而不必考慮那些被DSSA認(rèn)為是普遍的、公共的需求，節(jié)省了設(shè)計(jì)的時(shí)間與成本。參考DSSA的相關(guān)內(nèi)容，軟件工程師提供該問(wèn)題的特定需求描述。綜合領(lǐng)域模型和應(yīng)用的個(gè)性化需求，根據(jù)DSSA的設(shè)計(jì)框架，就可以生成該問(wèn)題的解決方案。25/35o Arango和Prieto-Diaz在總結(jié)各種領(lǐng)域分析方法的基礎(chǔ)之上，提出了DSSA領(lǐng)域分析的過(guò)程框架，如圖所示。26/354.7 基于特定領(lǐng)域軟件體系結(jié)構(gòu)的開(kāi)發(fā)過(guò)程o 通常所說(shuō)的基于DSSA的

17、應(yīng)用開(kāi)發(fā)是指在DSSA開(kāi)發(fā)環(huán)境下進(jìn)行的應(yīng)用系統(tǒng)的開(kāi)發(fā)。一個(gè)應(yīng)用系統(tǒng)是特定領(lǐng)域內(nèi)的系統(tǒng)實(shí)例?；贒SSA的應(yīng)用開(kāi)發(fā)步驟及其相關(guān)的支持工具如下圖所示。27/35o 從上圖可以看出，基于DSSA的應(yīng)用開(kāi)發(fā)過(guò)程分為兩個(gè)步驟：應(yīng)用需求分析和應(yīng)用設(shè)計(jì)與開(kāi)發(fā)。可以根據(jù)系統(tǒng)不同角色的觀點(diǎn)，來(lái)描述基于DSSA的應(yīng)用開(kāi)發(fā)環(huán)境如下圖所示，它是一個(gè)三層視圖。28/35o DSSA開(kāi)發(fā)方法的重點(diǎn)不是應(yīng)用，而是重用，最終目的是開(kāi)發(fā)領(lǐng)域中的一族應(yīng)用程序。使用這種方法，有助于對(duì)問(wèn)題有一個(gè)更廣泛、更深刻的理解，有助于開(kāi)發(fā)面向重用的領(lǐng)域框架和構(gòu)件，同時(shí)有助于提高軟件的生產(chǎn)效率。DSSA和應(yīng)用系統(tǒng)架構(gòu)之間的關(guān)系如下圖所示。29/3

18、5o 從應(yīng)用開(kāi)發(fā)者的角度來(lái)看，軟件分析階段和軟件設(shè)計(jì)階段的主要任務(wù)是從DSSA中導(dǎo)出特定應(yīng)用的體系結(jié)構(gòu)框架。軟件實(shí)現(xiàn)階段的主要任務(wù)則是根據(jù)系統(tǒng)體系結(jié)構(gòu)框架來(lái)選擇構(gòu)件，以實(shí)現(xiàn)該應(yīng)用系統(tǒng)。因此，在整個(gè)生命周期中，特定領(lǐng)域軟件體系結(jié)構(gòu)和可重用構(gòu)件始終是開(kāi)發(fā)過(guò)程中的核心內(nèi)容。30/35o 基于DSSA的開(kāi)發(fā)過(guò)程如圖所示。31/35o 特定領(lǐng)域體系結(jié)構(gòu)DSSA的演化過(guò)程描述如下：根據(jù)領(lǐng)域需求確定DSSA。描述滿足領(lǐng)域需求的由構(gòu)件、構(gòu)件之間的連接以及約束所表示的系統(tǒng)體系結(jié)構(gòu)。n DSSA的規(guī)范說(shuō)明。運(yùn)用合適的形式化數(shù)學(xué)理論對(duì)DSSA模型進(jìn)行規(guī)范定義，得到DSSA的規(guī)范描述，以使其創(chuàng)建過(guò)程更加精確并且無(wú)歧義。n DSSA的求精及驗(yàn)證。DSSA是通過(guò)從抽象到具體，逐步求精而得到的。在DSSA的求精過(guò)程中，需要對(duì)