【正文】 endee)； 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_generate ExclSet； received_messages GetEqipReqts always_generate EqipReqts； received_messages RemoveExclSet always_generate ExclSet； received_messages ReuestWithdrawal always_generate null； received_messages MarkMtg always_generate null； end Attendee； 第四章 軟件體系結(jié)構(gòu)描述 典型軟件體系結(jié)構(gòu)描述語言 ◇ C2對 ImportantAttendee構(gòu)件的描述 ponent ImportantAttendee is subtype Attendee(in and beh) interface bottom_domain is out LocPrefs(l:loc_type)； ExclSet(e:date_mg)； EquipReqts(eq:equip_type)； in GetLocPrefs()； behavior received_messages GetLocPrefs always_generate LocPrefs； end ImportantAttendee； 第四章 軟件體系結(jié)構(gòu)描述 典型軟件體系結(jié)構(gòu)描述語言 ◇ C2對體系結(jié)構(gòu)的描述 architecture MeetingScheduler is conceptual_ponents Attendee； ImportantAttendee； MeetingInitiator； connectors connector MainConn is message_filter no_filtering； connector AttConn is message_filter no_filtering； connector ImportantAttConn is message_filter no_filtering； architectural_topology connector AttConn connections top_ports Attendee； bottom_ports MainConn； connector ImportantAttConn connections top_ports ImportantAttendee； bottom_ports MainConn； connector MainConn connections top_ports AttConn； ImportantAttConn； bottom_ports MeetingInitiator； end MeetingScheduler； 第四章 軟件體系結(jié)構(gòu)描述 典型軟件體系結(jié)構(gòu)描述語言 ◇ C2對會議安排系統(tǒng)的描述 system MeetingScheduler_1 is architecture MeetingScheduler with Attendee instance Att_1， Att_2， Att_3； ImportantAttendee instance ImpAtt_1， ImpAtt_2； MeetingInitiator instance MtgInit_1； end MeetingScheduler_1； 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)與 UML ◇ UML簡介 ◎ UML(Unified Modeling Language)是下面這些最好的建模方法中最好部分的集成 : ◇ 商務(wù)流程模型 (Work Flow) ◇ 對象建模方法 ◇ 軟構(gòu)件建模思想 ◎ UML是一種用可視化方法對軟件系統(tǒng)進行描述、實施和說明的標準語言。 每個構(gòu)件接口最多只能和一個連接件相連 ， 而連接件可以和任意數(shù)目的構(gòu)件或連接件相連 。 ◎ 在 C2中 ， 連接件負責(zé)構(gòu)件之間消息的傳遞 ， 而構(gòu)件維持狀態(tài) 、 執(zhí)行操作并通過兩個名字分別為 “ top”和“ bottom”的端口和其它的構(gòu)件交換信息 。 ◇ C2風(fēng)格的通信規(guī)則 C2中 ， 所有構(gòu)件間的通信必須通過消息來實現(xiàn) ， 這也是構(gòu)件之間的唯一通信途徑 。 構(gòu)件之間不能發(fā)送消息 ， 必須通過連接件 。 MetaH ◇ C2風(fēng)格 通過連接件綁定在一起的按照一組規(guī)則運作的并行構(gòu)件網(wǎng)絡(luò) 。 一 方 面：體系結(jié)構(gòu)描述如何向其他文檔轉(zhuǎn)移； 另一方面：如何利用需求分析成果來直接生成系統(tǒng)的 體系結(jié)構(gòu)說明。 多視圖、多場景的體系結(jié)構(gòu)說明方法。 異構(gòu)連接。 1. 構(gòu)件：一個計算單元或數(shù)據(jù)存儲；是計算與狀態(tài)存在的場所。 ◇ ADL與其他語言的比較 (2) 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述語言 ◎ ADL與需求語言的區(qū)別：后者描述的是問題空間 ， 而前者扎根于解空間 。 體系結(jié)構(gòu)問題包括總體組織和全局控制 ， 通訊協(xié)議 ， 同步 ， 數(shù)據(jù)存取 ， 給設(shè)計元素分配特定功能 ， 設(shè)計元素的組織 、 規(guī)模和性能 ，在各設(shè)計方案間進行選擇等 。 主要的體系結(jié)構(gòu)描述語言有 Aesop、 MetaH、 C Rapide、SADL、 Unicon和 Wright等 ， 盡管它們都描述軟件體系結(jié)構(gòu) ， 卻有不同的特點 。 由于將體系結(jié)構(gòu)的描述限于 UML和 RUP， 具有一定的局限性 ， 但該建議標準結(jié)合了業(yè)界已經(jīng)廣泛采用的建模語言和開發(fā)過程 ， 因而易于推廣 ， 可以有效實現(xiàn)在跨組織之間重用體系結(jié)構(gòu)描述結(jié)果 。 ◇ Rational 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述框架標準 ◎ Rational起草了可重用的軟件資產(chǎn)規(guī)格說明 ， 專門討論了體系結(jié)構(gòu)描述的規(guī)格說明 ， 提出了一套易于重用的體系結(jié)構(gòu)描述規(guī)范 。 第 2章 軟件體系結(jié)構(gòu)語言（ ADL） ◇ IEEE P1471 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述框架標準 ◎ IEEE P1471于 2021年 9月 21日通過 IEEESA標準委員會評審 。 ADL使得系統(tǒng)開發(fā)者能夠很好地描述他們設(shè)計的體系結(jié)構(gòu)，以便與他人交流，能夠用提供的工具對許多實例進行分析。 ◎ 這種表達和描述方式雖然也是較好的一種以構(gòu)件為單位的軟件系統(tǒng)描述方法 ， 但是他們所面向和針對的系統(tǒng)元素仍然是一些層次較低的以程序設(shè)計為基礎(chǔ)的通信協(xié)作軟件實體單元 ， 而且這些語言所描述和表達的系統(tǒng)一般而言都是面向特定應(yīng)用的特殊系統(tǒng) ， 這些特性使得基于軟構(gòu)件的系統(tǒng)描述仍然不是十分適合軟件體系結(jié)構(gòu)的描述和表達 。 ◎ MIL方式對模塊化的程序設(shè)計和分段編譯等程序設(shè)計與開發(fā)技術(shù)確實發(fā)揮了很大的作用 。 由非形式化到形式化的過程。第 4章 軟件體系結(jié)構(gòu)描述和設(shè)計 本章結(jié)構(gòu) 軟件體系結(jié)構(gòu)描述方法 軟件體系結(jié)構(gòu)描述框架標準 體系結(jié)構(gòu)描述語言 典型的軟件體系結(jié)構(gòu)描述語言 （ C2） 軟件體系結(jié)構(gòu)與 UML 可擴展標記語言 基于 XML的軟件體系結(jié)構(gòu)描述語言 軟件體系結(jié)構(gòu)的設(shè)計 引言 當(dāng)前對軟件體系結(jié)構(gòu)的描述在很大程度上還停留在非形式化的基礎(chǔ)上，依賴于軟件設(shè)計師個人的經(jīng)驗和技巧。 ◇ 描述方法的種類 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述方法 ◎ 圖形表達工具 ◎ 模塊內(nèi)連接語言 ◎ 基于軟構(gòu)件的系統(tǒng)描述語言 ◎ 軟件體系結(jié)構(gòu)描述語言 ◇ 圖形表達工具 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述方法 項 目 管 理測 試 結(jié) 果 打 印程 序 復(fù) 雜 度函 數(shù) 調(diào) 用 關(guān)系 圖帶 時 間 特 性的 流 程 圖復(fù) 雜 度 計 算布 圖 算 法最 優(yōu) / 最 劣時 間 計 算緩 沖測 試 結(jié) 果 庫測 試 配 置時 間 分 析 器靜 態(tài) 分 析 器簡潔易懂 容易使用 使用廣泛 不 規(guī) 范 不 精 確 ◇ 模塊內(nèi)連接語言 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述方法 ◎ 采用將一種或幾種傳統(tǒng)程序設(shè)計語言的模塊連接起來的模塊內(nèi)連接語言 （ MIL） 。 但是由于這些語言處理和描述的軟件設(shè)計開發(fā)層次過于依賴程序設(shè)計語言 ， 因此限制了它們處理和描述比程序設(shè)計語言元素更為抽象的高層次軟件體系結(jié)構(gòu)元素的能力 。 ◇ 軟件體系結(jié)構(gòu)描述語言 第四章 軟件體系結(jié)構(gòu)描述 軟件體系結(jié)構(gòu)描述方法 ◎ 軟件體系結(jié)構(gòu)的第四種描述和表達方法是參照傳統(tǒng)程序設(shè)計語言的設(shè)計和開發(fā)經(jīng)驗 ， 重新設(shè)計 、 開發(fā)和使用針對軟件體系結(jié)構(gòu)特點的專門的軟件體系結(jié)構(gòu)描述語言 —— ADL。 對于 ADL現(xiàn)在也是無統(tǒng)一認識。