[計算機]Kruchten的4+1模型描述軟件體系結(jié)構(gòu)ppt課件

1、1 12022-3-26五、軟件體系構(gòu)造形式化方法五、軟件體系構(gòu)造形式化方法 課外閱讀課外閱讀2 22022-3-26Kruchten的的4+1模型描繪軟件體系構(gòu)造模型描繪軟件體系構(gòu)造 n本章參考本章參考Philippe Kruchten ?Architectural BlueprintsThe “4+1 View Model of Software Architecture?3 32022-3-26假定你是假定你是Module Designern你最近加盟一家公司，并被安排在一個新你最近加盟一家公司，并被安排在一個新工程的開發(fā)組中。雖然你富有經(jīng)歷，但是工程的開發(fā)組中。雖然你富有經(jīng)歷，但是對此

2、工程所涉及的領(lǐng)域還是一個新手。系對此工程所涉及的領(lǐng)域還是一個新手。系統(tǒng)的高層體系構(gòu)造設(shè)計已經(jīng)完成。統(tǒng)的高層體系構(gòu)造設(shè)計已經(jīng)完成。n你的老板工程經(jīng)理讓你預(yù)計你將要完你的老板工程經(jīng)理讓你預(yù)計你將要完成的幾個模塊的開發(fā)時間。成的幾個模塊的開發(fā)時間。n你怎么辦？你怎么辦？4 42022-3-26假定你是假定你是Module Designern你來開發(fā)你來開發(fā)A2和和A3，怎么開場？，怎么開場？5 52022-3-26假定你是假定你是Consultant參謀參謀n你是一個請來的參謀，對一個體系構(gòu)造設(shè)你是一個請來的參謀，對一個體系構(gòu)造設(shè)計進展評估。計進展評估。Modifiability和和Performa

3、nce是重要的體系構(gòu)造質(zhì)量因素。是重要的體系構(gòu)造質(zhì)量因素。n你會詢問什么樣的信息？你會詢問什么樣的信息？6 62022-3-26假定你是假定你是Consultant參謀參謀n面對這樣的圖，你會有什么反響？面對這樣的圖，你會有什么反響？7 72022-3-26假定你是假定你是Consultant參謀參謀n面對這樣的圖，你會有什么反響？面對這樣的圖，你會有什么反響？8 82022-3-26體系構(gòu)造描繪方法體系構(gòu)造描繪方法n軟件開發(fā)過程中各種角色之間交流設(shè)計思軟件開發(fā)過程中各種角色之間交流設(shè)計思想的媒介想的媒介n進展上層分析的根底。此根底上可以驗證進展上層分析的根底。此根底上可以驗證體系構(gòu)造設(shè)計方案

4、，精煉或改變必要的方體系構(gòu)造設(shè)計方案，精煉或改變必要的方案案n讓別人理解系統(tǒng)的第一手資料讓別人理解系統(tǒng)的第一手資料9 92022-3-26與與Module Designer交流交流n根本想法是什么？根本想法是什么？n我該做什么我該做什么 如，實現(xiàn)哪些需求如，實現(xiàn)哪些需求 ？n我該在哪做我該在哪做 如，這項功能實如今哪里如，這項功能實如今哪里 ？n我和誰交互？接口是什么？我和誰交互？接口是什么？n有什么可以重用的代碼？有什么可以重用的代碼？n必須遵從什么約定必須遵從什么約定質(zhì)量目的、舊體系質(zhì)量目的、舊體系/接口、預(yù)接口、預(yù)算等算等？n有哪些硬性規(guī)定有哪些硬性規(guī)定設(shè)計、接口、約束等設(shè)計、接口、約束

5、等？10102022-3-26與參謀交流與參謀交流n體系構(gòu)造的必要需求體系構(gòu)造的必要需求driving requirement是是什么什么如，如，performance, availability, security, modifiability, interoperability？n各種體系構(gòu)造視圖是如何描繪的？各種體系構(gòu)造視圖是如何描繪的？抽象出來什么？抽象出來什么？功能怎樣分解？功能怎樣分解？功能怎樣分配？功能怎樣分配？使用什么硬件以及軟件怎樣布置在硬件上？使用什么硬件以及軟件怎樣布置在硬件上？n采用了哪些體系構(gòu)造風格？采用了哪些體系構(gòu)造風格？11112022-3-26這是什么？這是什么

6、？12122022-3-26上圖的缺點上圖的缺點n很多事情沒有說：很多事情沒有說：組件類型組件類型連接件類型連接件類型圓圈和箭頭代表什么？圓圈和箭頭代表什么？這種布局的意義是什么？這種布局的意義是什么？為什么為什么CP要放在上層？要放在上層？n只畫出方框和線條不是體系構(gòu)造，只是體只畫出方框和線條不是體系構(gòu)造，只是體系構(gòu)造的開場系構(gòu)造的開場13132022-3-26好的體系構(gòu)造描繪的必要元素好的體系構(gòu)造描繪的必要元素n需求陳述需求陳述商業(yè)環(huán)境、產(chǎn)品的背景、領(lǐng)域商業(yè)環(huán)境、產(chǎn)品的背景、領(lǐng)域n描繪環(huán)境描繪環(huán)境必須和什么系統(tǒng)交互、外部接口必須和什么系統(tǒng)交互、外部接口n使用體系構(gòu)造圖使用體系構(gòu)造圖用恰當?shù)?/p>

7、線框用恰當?shù)木€框簡潔的說明簡潔的說明14142022-3-26好的體系構(gòu)造描繪的必要元素好的體系構(gòu)造描繪的必要元素n考慮實現(xiàn)時的限制考慮實現(xiàn)時的限制但是僅在它們能影響體系構(gòu)造設(shè)計的范圍內(nèi)但是僅在它們能影響體系構(gòu)造設(shè)計的范圍內(nèi)n被限定的下層構(gòu)造、處理器需求被限定的下層構(gòu)造、處理器需求通常包含其他構(gòu)造圖通常包含其他構(gòu)造圖n體系構(gòu)造設(shè)計的原理體系構(gòu)造設(shè)計的原理它怎樣去符合需求與約束它怎樣去符合需求與約束其他的設(shè)計其他的設(shè)計15152022-3-26其他方面其他方面n風格風格/產(chǎn)品線問題產(chǎn)品線問題設(shè)計可變的尺度設(shè)計可變的尺度體系構(gòu)造的那個方面必須不被改變？體系構(gòu)造的那個方面必須不被改變？n管理問題管理

8、問題暗含開發(fā)團隊的組織構(gòu)造暗含開發(fā)團隊的組織構(gòu)造體系構(gòu)造評審情況體系構(gòu)造評審情況n其他設(shè)計問題其他設(shè)計問題代碼重用、標準的運用代碼重用、標準的運用風險分析風險分析運作、管理和維護運作、管理和維護16162022-3-26好描繪好描繪n線和框有不同的形狀線和框有不同的形狀/顏色，并有圖例說明顏色，并有圖例說明n用表格總結(jié)方案選擇等等各種問題用表格總結(jié)方案選擇等等各種問題n圖并不試圖去表達很多信息：把信息分散圖并不試圖去表達很多信息：把信息分散到需要表達它的各個視圖中到需要表達它的各個視圖中n每個體系構(gòu)造視圖必須在一頁內(nèi)完成每個體系構(gòu)造視圖必須在一頁內(nèi)完成n明晰地區(qū)分出哪些是體系構(gòu)造視圖，哪些明晰

9、地區(qū)分出哪些是體系構(gòu)造視圖，哪些不是不是17172022-3-26壞描繪壞描繪n所有的線看起來都一樣所有的線看起來都一樣n箭頭不代表任何涵義箭頭不代表任何涵義n箭頭代表很多涵義箭頭代表很多涵義n實現(xiàn)與文檔沖突實現(xiàn)與文檔沖突n沒有圖例沒有圖例n太多的必要需求太多的必要需求18182022-3-26視圖視圖n系統(tǒng)需要多種視圖來描繪系統(tǒng)需要多種視圖來描繪其中的一小部分是描繪體系構(gòu)造的其中的一小部分是描繪體系構(gòu)造的n運行時視圖運行時視圖/動態(tài)視圖動態(tài)視圖組件和連接件組件和連接件在高層分解成組件和連接件在高層分解成組件和連接件n代碼視圖代碼視圖模塊關(guān)聯(lián)和依賴模塊關(guān)聯(lián)和依賴n使用使用/調(diào)用調(diào)用/和和共享數(shù)

10、據(jù)共享數(shù)據(jù)文件和目錄、工程和編譯文件、版本控制文件和目錄、工程和編譯文件、版本控制n物理視圖物理視圖把計算單元分配到各個進程或處理器把計算單元分配到各個進程或處理器19192022-3-26閱讀閱讀nPhilippe Kruchten, Architectural BlueprintsThe “4+1 View Model of Software Architecture, IEEE Software 12 6, 1995, pp. 42-50nRelease 6A Segment/Design Specification for the ECS Project, Section 4.4. N

11、ASA Report 305-CD-600-001, pages 4-160-185. March 2001 /waisdata/toc/cd30560001toc.html20202022-3-263.1 “4十十1模型模型 21212022-3-26 22222022-3-26 23232022-3-26 24242022-3-2625252022-3-263.2 邏輯視圖的體系構(gòu)造：面向?qū)ο蟮姆纸膺壿嬕晥D的體系構(gòu)造：面向?qū)ο蟮姆纸?26262022-3-263.2.1 邏輯視圖的符號表示法邏輯視圖的符號表示法 27272022-3-263.2.2 邏

12、輯視圖的風格邏輯視圖的風格3.2.3 邏輯視圖的例子邏輯視圖的例子 28282022-3-263.3 過程視圖的體系構(gòu)造：過程分解過程視圖的體系構(gòu)造：過程分解 n過程體系構(gòu)造考慮的是一些非功能性的需求，諸如性能、可用性等。過程體系構(gòu)造考慮的是一些非功能性的需求，諸如性能、可用性等。它所要面對的問題有并發(fā)，分布，系統(tǒng)的完好性，容錯才能等。它還它所要面對的問題有并發(fā)，分布，系統(tǒng)的完好性，容錯才能等。它還要考慮怎樣把過程體系構(gòu)造與邏輯視圖體系構(gòu)造的要點相適應(yīng)要考慮怎樣把過程體系構(gòu)造與邏輯視圖體系構(gòu)造的要點相適應(yīng)對對某個對象的某個操作實際上是在哪個控制線程上發(fā)生的。某個對象的某個操作實際上是在哪個控制

13、線程上發(fā)生的。n可以把過程體系構(gòu)造分為幾個抽象層次來描繪，每個層次考慮不同的可以把過程體系構(gòu)造分為幾個抽象層次來描繪，每個層次考慮不同的方面。在最高層次上，過程體系構(gòu)造可以被視為是一個邏輯網(wǎng)絡(luò)的集方面。在最高層次上，過程體系構(gòu)造可以被視為是一個邏輯網(wǎng)絡(luò)的集合。每個獨立執(zhí)行的邏輯網(wǎng)絡(luò)都是由通信程序合。每個獨立執(zhí)行的邏輯網(wǎng)絡(luò)都是由通信程序即即“過程過程構(gòu)成的。構(gòu)成的。這些邏輯網(wǎng)絡(luò)分布在一個通過這些邏輯網(wǎng)絡(luò)分布在一個通過LANLAN或或WANWAN連接起來的硬件資源集合上。連接起來的硬件資源集合上。多個邏輯網(wǎng)絡(luò)可能同時存在，并共享同樣的物理資源。例如，邏輯網(wǎng)多個邏輯網(wǎng)絡(luò)可能同時存在，并共享同樣的物理

14、資源。例如，邏輯網(wǎng)絡(luò)的概念可用于區(qū)分在線處理系統(tǒng)和離線處理系統(tǒng)。絡(luò)的概念可用于區(qū)分在線處理系統(tǒng)和離線處理系統(tǒng)。 29292022-3-263.3 過程視圖的體系構(gòu)造：過程分解過程視圖的體系構(gòu)造：過程分解 n軟件被分為獨立的任務(wù)的集合。每個任務(wù)是一個獨立的控制線程，可軟件被分為獨立的任務(wù)的集合。每個任務(wù)是一個獨立的控制線程，可以在一個處理節(jié)點上獨立單獨調(diào)度。因此可以將任務(wù)分為主任務(wù)和輔以在一個處理節(jié)點上獨立單獨調(diào)度。因此可以將任務(wù)分為主任務(wù)和輔任務(wù)。主任務(wù)是需要單獨解決的體系構(gòu)造元素。輔任務(wù)是由于實現(xiàn)原任務(wù)。主任務(wù)是需要單獨解決的體系構(gòu)造元素。輔任務(wù)是由于實現(xiàn)原因此在本地參加的附加任務(wù)因此在本地

15、參加的附加任務(wù)緩沖，超時，等等緩沖，超時，等等，例如可以將它們，例如可以將它們實現(xiàn)為輕量級的線程。主任務(wù)通過一套完善定義的任務(wù)間通信機制進實現(xiàn)為輕量級的線程。主任務(wù)通過一套完善定義的任務(wù)間通信機制進展通信：同步的或異步的基于消息的通信效勞、遠程過程調(diào)用、時間展通信：同步的或異步的基于消息的通信效勞、遠程過程調(diào)用、時間播送等。不應(yīng)當假設(shè)通信中的主任務(wù)處于同一個過程中或處在同一個播送等。不應(yīng)當假設(shè)通信中的主任務(wù)處于同一個過程中或處在同一個處理節(jié)點上。輔任務(wù)的通信可以采用共享內(nèi)存的方式或其他雙方約定處理節(jié)點上。輔任務(wù)的通信可以采用共享內(nèi)存的方式或其他雙方約定的方式。的方式。 n基于過程體系構(gòu)造設(shè)計圖

16、，可以估計出消息流和過程負荷?；谶^程體系構(gòu)造設(shè)計圖，可以估計出消息流和過程負荷。 30302022-3-263.3.1 過程視圖的符號表示法過程視圖的符號表示法 31312022-3-263.2.2 3.2.2 過程視圖的風格過程視圖的風格 有多種風格合適過程體系構(gòu)造。例如管道和過濾器、客戶效勞器及其有多種風格合適過程體系構(gòu)造。例如管道和過濾器、客戶效勞器及其變體變體多客戶單效勞器，多客戶多效勞器多客戶單效勞器，多客戶多效勞器等。等。3.2.3 3.2.3 過程視圖的例子過程視圖的例子 32322022-3-263.4 開發(fā)視圖的體系構(gòu)造：子系統(tǒng)分解開發(fā)視圖的體系構(gòu)造：子系統(tǒng)分解 33332

17、022-3-263.4.1 3.4.1 開發(fā)視圖的符號表示法開發(fā)視圖的符號表示法34342022-3-263.4.2 3.4.2 開發(fā)視圖的風格開發(fā)視圖的風格35352022-3-263.4.3 3.4.3 開發(fā)視圖的例子開發(fā)視圖的例子36362022-3-263.5 物理視圖的體系構(gòu)造：從軟件到硬件的映射物理視圖的體系構(gòu)造：從軟件到硬件的映射 37372022-3-263.5.1 物理視圖的符號表示法物理視圖的符號表示法 38382022-3-263.6 場景視圖的體系構(gòu)造：匯總場景視圖的體系構(gòu)造：匯總 39392022-3-263.6.1 場景視圖的符號表示法場景視圖的符號表示法 場景視圖

18、的符號表示法中，構(gòu)件的表示與邏輯視圖非常相場景視圖的符號表示法中，構(gòu)件的表示與邏輯視圖非常相似，但是連接件的表示使用過程視圖中的方法。注意，對似，但是連接件的表示使用過程視圖中的方法。注意，對象的實例用細實線表示。在工具的使用方面，和在邏輯體象的實例用細實線表示。在工具的使用方面，和在邏輯體系構(gòu)造類似，可以使用系構(gòu)造類似，可以使用Rational RoseRational Rose繪制和管理對象場景繪制和管理對象場景圖。圖。 40402022-3-263.6.2 場景視圖的例子場景視圖的例子 Joe Joe的的 的控制器檢測到并證實了從掛起到取下的狀態(tài)轉(zhuǎn)變，的控制器檢測到并證實了從掛起到取下的狀態(tài)轉(zhuǎn)變，并且發(fā)送了消息來喚醒相關(guān)的終端對象。并且發(fā)送了消息來喚醒相關(guān)的終端對象。 終端分配一些資源，并告訴控制器發(fā)出撥號音。終端分配一些資源，