【正文】 師完成設(shè)計工作。 ? 為了解決這個問題，用于描述和推理的形式化語言得以發(fā)展，這些語言就叫做體系結(jié)構(gòu)描述語言 ADL（ Architecture Description Language） 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 65 關(guān)于 ADLs ? ADL是這樣一種語言， 系統(tǒng)構(gòu)架師 可以利用它所提供的特性進行軟件系統(tǒng)概念體系結(jié)構(gòu)建模。 ? ADL提供了具體的語法與刻畫體系結(jié)構(gòu)的概念框架。 ? ADLs使得 系統(tǒng)開發(fā)者 能夠很好地描述他們設(shè)計的體系結(jié)構(gòu)，以便與人交流，能夠用提供的工具對許多實例進行分析。 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 66 關(guān)于 ADLs ? ADLs尋求增加 SA設(shè)計的可理解性和重用性。 ? ADLs的目的就是提供一種規(guī)范化的體系結(jié)構(gòu)描述，使體系結(jié)構(gòu)的自動化分析變得可能。 ? 目前近二十種 ADLs，比較有影響力的有 CUniCon、 MetaH、 Aesop、 SADL、 Rapide、Wright等。 ? 這些語言能對體系結(jié)構(gòu)連接器進行第一級抽象，能描述模型的結(jié)構(gòu)和內(nèi)部組件之間的交互作用，也引入了一些新的系統(tǒng)分析模式。 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 67 對 SA的專門知識的整理 ? 主要是對軟件工程師在軟件開發(fā)實踐中得來的各種體系結(jié)構(gòu)的原則、模式的整理和分類。 ? 對 SA風(fēng)格的分類和比較 ? 對體系結(jié)構(gòu)描述語言的綜合分析等 ? 目前，國內(nèi)對 SA的研究主要集中在對 SA的專門知識的整理上。 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 68 提供特定領(lǐng)域的體系結(jié)構(gòu)框架 ? 開發(fā)特定的領(lǐng)域，為產(chǎn)品提供可重用框架日益受到關(guān)注。在特定的領(lǐng)域中可以提取相關(guān)系統(tǒng)中的共同方面，以便可以通過低成本地把這些共同的設(shè)計實例化來構(gòu)筑新系統(tǒng)。 ? 例如： ? 編譯器的標(biāo)準(zhǔn)分解。這個方法可以使一個本科生在一個學(xué)期時間內(nèi)構(gòu)造一個新的語言編譯系統(tǒng)。 ? 標(biāo)準(zhǔn)化的通訊協(xié)議。這個可以使廠家通過在不同層次的抽象上提供服務(wù)來互相操縱。 ? 第四代語言。利用 4GL開發(fā)出商務(wù)信息處理的通用范式。 ? 用戶界面工具和框架。這個方法為開發(fā)者提供了一個可重用框架以及象菜單、對話框這樣的可重用組件的集合。 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 69 提供特定領(lǐng)域的體系結(jié)構(gòu)框架 ? 在這里， SA充當(dāng)一個理解系統(tǒng)組件和它們之間關(guān)系的框架，特別是那些始終跨越時間和實現(xiàn)的屬性。這對于現(xiàn)在系統(tǒng)的分析和未來系統(tǒng)的綜合很有必要。 ? 在分析的支持下，體系結(jié)構(gòu)抓住領(lǐng)域知識和實際的一致，促進設(shè)計的評估和組件的實施，減少模擬和構(gòu)造原型。 ? 在綜合的支持下，體系結(jié)構(gòu)提供了建立系列產(chǎn)品的基礎(chǔ)，以可預(yù)測的方式利用領(lǐng)域知識構(gòu)造和維護模塊、子系統(tǒng)和系統(tǒng)。 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 70 提供 SA的形式化基礎(chǔ) ? 對體系結(jié)構(gòu)設(shè)計的推理的形式化表示使得體系結(jié)構(gòu)級的設(shè)計更好地被理解、被實現(xiàn)。 ? 其目的是對體系結(jié)構(gòu)設(shè)計人員在實踐過程中總結(jié)出來的一些設(shè)計的經(jīng)驗和方法加以總結(jié)、概括，從而形成一個形式化的描述，形成一定的理論基礎(chǔ) (以代替當(dāng)前的不精確的研究 )。 ? 現(xiàn)有的一些形式化機制： ? 如過程代數(shù)、偏序集合、化學(xué)抽象機等。 ? 希望對系統(tǒng)的非功能特性如性能、可維護性等給出形式特征，同時給出 SA的理論。 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 71 建立評價 SA的方法 ? 通過分析來預(yù)見軟件的質(zhì)量，通過分析來創(chuàng)建、選擇、評估與比較不同的體系結(jié)構(gòu)。 ? 例如， Kazman等人在 2022年提出的 ATAM（ Architectural Tradeoff Analysis Method）方法。 ? ATAM方法不但能夠揭示體系結(jié)構(gòu)如何滿足特定的質(zhì)量需求（例如性能和可修改性），而且還提供了分析這些質(zhì)量需求之間交互作用的方法。 ? 使用 ATAM方法評價一個 SA的目的是理解體系結(jié)構(gòu)設(shè)計滿足系統(tǒng)質(zhì)量需求的結(jié)果。 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 72 ATAM方法 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 73 發(fā)展方向 ? 各種 ADLs之間的信息互換 ? 設(shè)計工具和環(huán)境 ? 體系結(jié)構(gòu)再工程 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 74 各種 ADLs之間的信息互換 ? 大多數(shù) ADLs具有一系列的共同概念?，F(xiàn)有的 ADLs大多是與領(lǐng)域相關(guān)的，所以不利于對不同領(lǐng)域體系結(jié)構(gòu)的說明。但這些針對不同領(lǐng)域的 ADLs在某些方面又大同小異，造成資源的冗余。 ? 如何用一種公共形式把各種語言綜合起來，使得能夠交換各種體系結(jié)構(gòu)描述信息，將是今后 SA研究和實踐的重點之一。 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 75 設(shè)計工具和環(huán)境 ? SA設(shè)計既然作為軟件工程的一部分，它的計算機輔助實現(xiàn)手段是相當(dāng)重要的。我們應(yīng)當(dāng)開發(fā)出一些軟件工具來實現(xiàn)體系結(jié)構(gòu)的描述和分析，開發(fā)階段轉(zhuǎn)換工具，以實現(xiàn)階段成果的自動轉(zhuǎn)換，例如，把需求規(guī)格說明自動轉(zhuǎn)換為組件等。 ? 目前關(guān)于這方面的研究成果很少，特別是可以應(yīng)用到實際項目開發(fā)中的工具和環(huán)境就更少。 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 76 體系結(jié)構(gòu)再工程 ? 軟件系統(tǒng)的規(guī)模變得越來越大，結(jié)構(gòu)也越來越復(fù)雜，同時從頭開始構(gòu)建的大系統(tǒng)數(shù)量在急劇地減少，因而很多遺留系統(tǒng)正在被逐步地利用。 ? 從遺留系統(tǒng)軟件代碼和系統(tǒng)中抽取結(jié)構(gòu)信息，經(jīng)過描述、統(tǒng)一、抽象、一般化與實例化等處理，可總結(jié)出系統(tǒng)的體系結(jié)構(gòu)。 ? 軟件再工程變得越來越重要，因為它提供了一條把遺留系統(tǒng)轉(zhuǎn)換為可進化系統(tǒng)的現(xiàn)實可行的途徑，是一種可以改進人們對軟件的理解和改進軟件本身的活動。 ? 這類研究的目的是為一些特定的應(yīng)用領(lǐng)域的軟件系統(tǒng)提供一些體系結(jié)構(gòu)框架，如控制系統(tǒng)、移動機器人和用戶接口界面等。通過這些框架可以很方便地構(gòu)造一個新的軟件系統(tǒng)。 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 77 小結(jié) 2022/8/18 軟件體系結(jié)構(gòu)（ SA） 78 討論 ? 軟件體系結(jié)構(gòu)與建筑中的體系結(jié)構(gòu)類比 ? 共同之處 ? 類比的意義 ? 對我們認識軟件體系結(jié)構(gòu)有何幫助？ ? 有何局限性 ? 試著用自己的語言描述構(gòu)件、連接件何約束（配置）的概念和特點 ? 結(jié)合自己參與開發(fā)過程或正在開發(fā)的軟件項目，思考構(gòu)件、連接件和約束（配置）的概念 ? 查閱相關(guān)文獻，比較各種軟件體系結(jié)構(gòu)定義，進一步討論它們的聯(lián)系與區(qū)別