【正文】 ◎ 基于軟構(gòu)件的系統(tǒng)描述語言將軟件系統(tǒng)描述成一種是由許多以特定形式相互作用的特殊軟件實(shí)體構(gòu)造組成的組織或系統(tǒng) 。 ◎ 這種表達(dá)和描述方式雖然也是較好的一種以構(gòu)件為單位的軟件系統(tǒng)描述方法 ， 但是他們所面向和針對的系統(tǒng)元素仍然是一些層次較低的以程序設(shè)計(jì)為基礎(chǔ)的通信協(xié)作軟件實(shí)體單元 ， 而且這些語言所描述和表達(dá)的系統(tǒng)一般而言都是面向特定應(yīng)用的特殊系統(tǒng) ， 這些特性使得基于軟構(gòu)件的系統(tǒng)描述仍然不是十分適合軟件體系結(jié)構(gòu)的描述和表達(dá) 。 ◎ 由于 ADL是在吸收了傳統(tǒng)程序設(shè)計(jì)中的語義嚴(yán)格精確的特點(diǎn)基礎(chǔ)上 ， 針對軟件體系結(jié)構(gòu)的整體性和抽象性特點(diǎn) ， 定義和確定適合于軟件體系結(jié)構(gòu)表達(dá)與描述的有關(guān)抽象元素 ， 因此 ， ADL是當(dāng)前軟件開發(fā)和設(shè)計(jì)方法學(xué)中一種發(fā)展很快的軟件體系結(jié)構(gòu)描述方法 ， 目前 ，已經(jīng)有幾十種常見的 ADL。 ADL使得系統(tǒng)開發(fā)者能夠很好地描述他們設(shè)計(jì)的體系結(jié)構(gòu)，以便與他人交流，能夠用提供的工具對許多實(shí)例進(jìn)行分析。書上第四章有介紹。 第 2章 軟件體系結(jié)構(gòu)語言（ ADL） ◇ IEEE P1471 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述框架標(biāo)準(zhǔn) ◎ IEEE P1471于 2021年 9月 21日通過 IEEESA標(biāo)準(zhǔn)委員會評審 。 ◎ IEEE P1471詳細(xì)介紹了一套體系結(jié)構(gòu)描述的概念框架 ， 并給出建立框架的思路 。 ◇ Rational 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述框架標(biāo)準(zhǔn) ◎ Rational起草了可重用的軟件資產(chǎn)規(guī)格說明 ， 專門討論了體系結(jié)構(gòu)描述的規(guī)格說明 ， 提出了一套易于重用的體系結(jié)構(gòu)描述規(guī)范 。 ◎ 基于 RUP（ Rational United Process） 、 采用 UML模型描述軟件的體系結(jié)構(gòu) ， 認(rèn)為體系結(jié)構(gòu)描述的關(guān)鍵是定義視點(diǎn) 、 視圖以及建模元素之間的映射關(guān)系 。 由于將體系結(jié)構(gòu)的描述限于 UML和 RUP， 具有一定的局限性 ， 但該建議標(biāo)準(zhǔn)結(jié)合了業(yè)界已經(jīng)廣泛采用的建模語言和開發(fā)過程 ， 因而易于推廣 ， 可以有效實(shí)現(xiàn)在跨組織之間重用體系結(jié)構(gòu)描述結(jié)果 。 基于底層語義的工具為體系結(jié)構(gòu)的表示 、 分析 、 演化 、 細(xì)化 、 設(shè)計(jì)過程等提供支持 。 主要的體系結(jié)構(gòu)描述語言有 Aesop、 MetaH、 C Rapide、SADL、 Unicon和 Wright等 ， 盡管它們都描述軟件體系結(jié)構(gòu) ， 卻有不同的特點(diǎn) 。 每一種 ADL都以獨(dú)立的形式存在 ， 描述語法不同且互不兼容 ， 同時(shí)又有許多共同的特征 ，這使設(shè)計(jì)人員很難選擇一種合適的 ADL， 若設(shè)計(jì)特定領(lǐng)域的軟件體系結(jié)構(gòu)又需要從頭開始描述 。 體系結(jié)構(gòu)問題包括總體組織和全局控制 ， 通訊協(xié)議 ， 同步 ， 數(shù)據(jù)存取 ， 給設(shè)計(jì)元素分配特定功能 ， 設(shè)計(jì)元素的組織 、 規(guī)模和性能 ，在各設(shè)計(jì)方案間進(jìn)行選擇等 。 軟件體系結(jié)構(gòu) ＝ { 構(gòu)件，連接件，約束 } 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述語言 ◎ 構(gòu)造能力： ADL能夠使用較小的獨(dú)立體系結(jié)構(gòu)元素來建造大型軟件系統(tǒng)； ◎ 抽象能力： ADL使得軟件體系結(jié)構(gòu)中的構(gòu)件和連接件描述可以只關(guān)注它們的抽象特性 ， 而不管其具體的實(shí)現(xiàn)細(xì)節(jié)； ◎ 重用能力： ADL使得組成軟件系統(tǒng)的構(gòu)件 、 連接件甚至是軟件體系結(jié)構(gòu)都成為軟件系統(tǒng)開發(fā)和設(shè)計(jì)的可重用部件； ◇ ADL與其他語言的比較 (1) 典型的 ADL在充分繼承和吸收傳統(tǒng)程序設(shè)計(jì)語言的精確性和嚴(yán)格性特點(diǎn)的同時(shí)，還應(yīng)具有：構(gòu)造、抽象、重用、組合、異構(gòu)、分析和推理等各種能力和特性。 ◇ ADL與其他語言的比較 (2) 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述語言 ◎ ADL與需求語言的區(qū)別：后者描述的是問題空間 ， 而前者扎根于解空間 。 ◎ ADL與傳統(tǒng)的程序設(shè)計(jì)語言的構(gòu)成元素既有許多相同和相似之處 ， 又各自有著很大的不同 。 1. 構(gòu)件：一個(gè)計(jì)算單元或數(shù)據(jù)存儲；是計(jì)算與狀態(tài)存在的場所。 軟件體系結(jié)構(gòu)配置 連接件構(gòu)件端口 角色1:N1:N1:N體系結(jié)構(gòu)的核心模型 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述語言 ◇ ADL的構(gòu)成要素 2. 連接件：用來建立構(gòu)件間的交互以及支配這些交互規(guī)則 的體系結(jié)構(gòu)構(gòu)造模塊。 異構(gòu)連接。 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述語言 ◇ ADL的構(gòu)成要素 3. 體系結(jié)構(gòu)配置或拓?fù)洌? 描述體系結(jié)構(gòu)的構(gòu)件與連接件的連接圖。 多視圖、多場景的體系結(jié)構(gòu)說明方法。 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述語言 ◇ ADL的構(gòu)成要素 軟件體系結(jié)構(gòu)的設(shè)計(jì)在需求分析之后，軟件設(shè)計(jì)之前。 一 方 面：體系結(jié)構(gòu)描述如何向其他文檔轉(zhuǎn)移； 另一方面：如何利用需求分析成果來直接生成系統(tǒng)的 體系結(jié)構(gòu)說明。目前還沒有通用的體系結(jié)構(gòu)描述語言。 MetaH ◇ C2風(fēng)格 通過連接件綁定在一起的按照一組規(guī)則運(yùn)作的并行構(gòu)件網(wǎng)絡(luò) 。 ◇ C2背景知識 C2是一種用于用戶界面密集的系統(tǒng)的軟件體系結(jié)構(gòu)風(fēng)格 。 構(gòu)件之間不能發(fā)送消息 ， 必須通過連接件 。 ◇ C2風(fēng)格的中心原則 C2風(fēng)格的中心原則是有限可視原則 ， 或者說是下層獨(dú)立的原則： 在 C2風(fēng)格的體系結(jié)構(gòu)中 ， 某一構(gòu)件只能感知層次高于自己的構(gòu)件所提供的服務(wù) ， 而不能感知到層次比自己更低的構(gòu)件的服務(wù) 。 ◇ C2風(fēng)格的通信規(guī)則 C2中 ， 所有構(gòu)件間的通信必須通過消息來實(shí)現(xiàn) ， 這也是構(gòu)件之間的唯一通信途徑 。 構(gòu)件的頂端域定義了構(gòu)件可以對哪些通知做出響應(yīng) ， 以及可以發(fā)出哪些請求；構(gòu)件的底端域定義了可以向下層發(fā)送哪些通知 ， 以及可以響應(yīng)下層的哪些請求 。 ◎ 在 C2中 ， 連接件負(fù)責(zé)構(gòu)件之間消息的傳遞 ， 而構(gòu)件維持狀態(tài) 、 執(zhí)行操作并通過兩個(gè)名字分別為 “ top”和“ bottom”的端口和其它的構(gòu)件交換信息 。 構(gòu)件之間的消息要么是請求其它構(gòu)件執(zhí)行某個(gè)操作的 請求消息 ， 要么是通知其他構(gòu)件自身執(zhí)行了某個(gè)操作或狀態(tài)發(fā)生改變的 通知消息 。 每個(gè)構(gòu)件接口最多只能和一個(gè)連接件相連 ， 而連接件可以和任意數(shù)目的構(gòu)件或連接件相連 。 ◎ 通知消息的傳遞只對應(yīng)于構(gòu)件內(nèi)部的操作 ， 而和接收消息的構(gòu)件的需求無關(guān) 。 ◇ C2概述 (2) 第四章 軟件體系結(jié)構(gòu)描述 典型軟件體系結(jié)構(gòu)描述語言 ◇ C2對構(gòu)件接口的描述 第四章 軟件體系結(jié)構(gòu)描述 典型軟件體系結(jié)構(gòu)描述語言 ◇ C2對構(gòu)件的描述 interface_requests ::= {request； } | null； interface_notifications ::= {notification； } | null； request ::= message_name(request_parameters) request_parameters ::= [to ponent_name][parameter_list] notification ::= message_name[parameter_list] ponent_message_interface ::= top_domain_interface bottom_domain_interface top_domain_interface ::= top_domain is out interface_requests in interface_notifications bottom_domain_interface ::= bottom_domain is out interface_notifications in interface_requests 第四章 軟件體系結(jié)構(gòu)描述 典型軟件體系結(jié)構(gòu)描述語言 ◇ 會議安排系統(tǒng)的 C2風(fēng)格 A t t e n d e e 1 A t t e n d e e M. . .A t t C o n nI m p o r t a n tA t t e n d e e 1I m p o r t a n tA t t e n d e e N. . .I m p o r t a n t A t t C o n nM a i n C o n nM e e t i n gI n i t i a t o r第四章 軟件體系結(jié)構(gòu)描述 典型軟件體系結(jié)構(gòu)描述語言 ◇ C2對 MeetgingInitiator構(gòu)件的描述 (1) ponent MeetingInitiator is interface top_domain is out GetPrefSet()； GetExclSet()； GetEquipReqts()； GetLocPrefs()； RemoveExclSet()； RequestWithdrawal(to Attendee)； RequestWithdrawal(to ImportantAttendee)； AddPrefDates()； MarkMtg(d:date； l:lov_type)； 第四章 軟件體系結(jié)構(gòu)描述 典型軟件體系結(jié)構(gòu)描述語言 ◇ C2對 MeetgingInitiator構(gòu)件的描述 (2) in PrefSet(p:date_mg)； ExclSet(e:data_mg)； EquipReqts(eq:equip_type)； LocPref(l:loc_type)； behavior startup always_generate GetPrefSet， GetExclSet， GetEquipReqts， GetLocPrefs； received_messages PrefSet may_generate RemoveExclSet xor RequestWithdrawal xor MarkMtg； received_messages ExclSet may_generate AddPrefDates xor RemoveExclSet xor RequestWithdrawal xor MarkMtg； received_messages EquipReqts may_generate AddPrefDates xor RemoveExclSet xor RequestWithdrawal xor MarkMtg； received_messages LocPref always_generate null； end MeetingInitiator； 第四章 軟件體系結(jié)構(gòu)描述 典型軟件體系結(jié)構(gòu)描述語言 ◇ C2對 Attendee構(gòu)件的描述 (1) ponent Attendee is interface bottom_domain is out PrefSet(p:date_mg)； ExclSet(e:date_mg)； EquipReqts(eq:equip_type)； in GetPrefSet()； GetExclSet()； GetEquipReqts()； RemoveExclSet()； RequestWithdrawal()； AddPrefDates()； MarkMtg(d:date； l:loc_type)； 第四章 軟件體系結(jié)構(gòu)描述 典型軟件體系結(jié)構(gòu)描述語言 ◇ C2對 Attendee構(gòu)件的描述 (2) behavior received_messages GetPrefSet always_generate PrefSet； received_messages AddPrefDates always_generate PrefSet； received_messages GetExclSet always_gene