【正文】 下午 8時(shí) 27分 37秒 下午 8時(shí) 27分 20:27: MOMODA POWERPOINT Lorem ipsum dolor sit amet, consectetur adipiscing elit. Fusce id urna blandit, eleifend nulla ac, fringilla purus. Nulla iaculis tempor felis ut cursus. 感 謝 您 的 下 載 觀 看 專家告訴 。 2023年 2月 下午 8時(shí) 27分 :27February 28, 2023 ? 1業(yè)余生活要有意義，不要越軌。 :27:3720:27:37February 28, 2023 ? 1意志堅(jiān)強(qiáng)的人能把世界放在手中像泥塊一樣任意揉捏。 20:27:3720:27:3720:27Tuesday, February 28, 2023 ? 1知人者智，自知者明。 20:27:3720:27:3720:272/28/2023 8:27:37 PM ? 1越是沒(méi)有本領(lǐng)的就越加自命不凡。 下午 8時(shí) 27分 37秒 下午 8時(shí) 27分 20:27: ? 楊柳散和風(fēng)，青山澹吾慮。 2023年 2月 下午 8時(shí) 27分 :27February 28, 2023 ? 1少年十五二十時(shí)，步行奪得胡馬騎。 2023年 2月 28日星期二 下午 8時(shí) 27分 37秒 20:27: ? 1楚塞三湘接，荊門(mén)九派通。 20:27:3720:27:3720:27Tuesday, February 28, 2023 ? 1不知香積寺，數(shù)里入云峰。 20:27:3720:27:3720:272/28/2023 8:27:37 PM ? 1成功就是日復(fù)一日那一點(diǎn)點(diǎn)小小努力的積累。 下午 8時(shí) 27分 37秒 下午 8時(shí) 27分 20:27: ? 沒(méi)有失敗，只有暫時(shí)停止成功！。 2023年 2月 下午 8時(shí) 27分 :27February 28, 2023 ? 1行動(dòng)出成果，工作出財(cái)富。 2023年 2月 28日星期二 下午 8時(shí) 27分 37秒 20:27: ? 1比不了得就不比，得不到的就不要。 20:27:3720:27:3720:27Tuesday, February 28, 2023 ? 1乍見(jiàn)翻疑夢(mèng)，相悲各問(wèn)年。 20:27:3720:27:3720:272/28/2023 8:27:37 PM ? 1以我獨(dú)沈久，愧君相見(jiàn)頻。 68 Chapter Six 體系結(jié)構(gòu)的一般描述 ? 主子程序 ? 數(shù)據(jù)抽象和面向?qū)ο? ? 層次結(jié)構(gòu) ? 理論的形式化方法 ? Z Notation ? CSP ? 類(lèi)屬理論 ? 化學(xué)抽象機(jī)模型 ? 軟件體協(xié)結(jié)構(gòu)集成環(huán)境 ? UniCon ? Darwin ? Wright ? ACME ? 軟件工程設(shè)計(jì)方法與體系結(jié)構(gòu)描述 ? 靜夜四無(wú)鄰，荒居舊業(yè)貧。 ? 從描述軟件構(gòu)成結(jié)構(gòu)上看，軟件工程設(shè)計(jì)方法和 SA描述的目標(biāo)一致。 67 167。 66 167。雖然對(duì)于分析、設(shè)計(jì)并結(jié)合復(fù)審提高了軟件的質(zhì)量，但系統(tǒng)規(guī)約中可能產(chǎn)生矛盾、二義性等。 65 167。 ? 通過(guò)顯式的連接器的概念，為明確地表達(dá)系統(tǒng)的通信關(guān)系提供了機(jī)制。 軟件體系結(jié)構(gòu)集成環(huán)境： ACME系統(tǒng)介紹 ? ACME的核心概念 ? 部件 ? 是系統(tǒng)描述的基本組塊，代表了系統(tǒng)計(jì)算的核心 ? 可以用來(lái)表達(dá)硬件或者軟件 ? 連接器 ? 體系結(jié)構(gòu)模型的一個(gè)重要特征是把交互看成是建模的概念。 軟件體系結(jié)構(gòu)集成環(huán)境： Darwin系統(tǒng)介紹 ? Darwin系統(tǒng)程序結(jié)構(gòu)構(gòu)造 ? 支持自底向上 ? 支持自頂向下 ? 支持合并構(gòu)件 ? 支持分組構(gòu)件 63 167。 軟件體系結(jié)構(gòu)集成環(huán)境： Darwin系統(tǒng)介紹 ? Darwin系統(tǒng)設(shè)計(jì)驗(yàn)證 ? Darwin系統(tǒng)的設(shè)計(jì)驗(yàn)證工具為設(shè)計(jì)人員提供了一種“ What－ If” 的測(cè)試機(jī)制。 ? 局部構(gòu)件（ Partial Component Declaration）：構(gòu)件的類(lèi)型可以從其他構(gòu)件類(lèi)型完全或者局部導(dǎo)出。 ? 關(guān)鍵字 ? 函數(shù)： Darwin擴(kuò)展了 IDL以支持函數(shù)的調(diào)用 60 167。 軟件體系結(jié)構(gòu)集成環(huán)境： Wright系統(tǒng)介紹 ? 交互關(guān)系 ? 構(gòu)件間的交互關(guān)系是指模塊之間的通訊 ? Wright體系結(jié)構(gòu)描述語(yǔ)言基于交互 ? Wright語(yǔ)言的描述 ? 根據(jù)構(gòu)件、連接件和配臵等基本體系結(jié)構(gòu)元素的抽象而構(gòu)造系統(tǒng) ? 構(gòu)件作為計(jì)算部件，連接件形式化為交互模式 59 167。 57 167。 ： UniCon系統(tǒng)介紹 ? UniCon的體系結(jié)構(gòu)描述語(yǔ)言的粗結(jié)構(gòu) 接口 部件類(lèi)型 玩家 實(shí)現(xiàn) 協(xié)議 連接器類(lèi)型 角色 實(shí)現(xiàn) 規(guī)范 類(lèi)型 關(guān)聯(lián)單元 實(shí)現(xiàn) 結(jié)構(gòu)元素 部件 連接器 56 167。 ? 部件和連接器元素都具有類(lèi)型、規(guī)范和實(shí)現(xiàn)。 ? UnicCon是基于部件和連接器的。 軟件體系結(jié)構(gòu)集成環(huán)境 ? 元素 ? 體系結(jié)構(gòu)配臵文檔編輯器 ? 體系結(jié)構(gòu)配臵圖形編輯器 ? 體系結(jié)構(gòu)視圖 ? 文本視圖 ? 交互視圖 ? 層次視圖 ? 體系結(jié)構(gòu)語(yǔ)法分析器 ? 代碼模板生成器 54 167。 52 167。 ? 被稱為閉鎖的可逆操作用來(lái)從溶液中選擇提取分子，并把溶液的剩余部分放入一個(gè)膜內(nèi)。 ? 一個(gè) CHAM還包含轉(zhuǎn)換規(guī)則 T、 T1…… ，他們定義了一個(gè)轉(zhuǎn)換關(guān)系 ss1 ,指示了溶液可以發(fā)展（也就是狀態(tài)變化）的方式。 ? 一個(gè) CHAM是從定義分子（ molecules ） m、 m1……和分子溶液（ solutions） s、 s1…… 開(kāi)始的。 51 167。但， CSP的語(yǔ)義是基于進(jìn)程的靜態(tài)交互描述，而且在進(jìn)程通信時(shí)只允許傳值。 50 167。主要包括語(yǔ)義、實(shí)施、行為、組合、并發(fā)、通信等。 49 167。數(shù)學(xué)描述是一個(gè)類(lèi)型的集合，每個(gè)類(lèi)型帶有為其取值為真的謂詞， Z中的類(lèi)型是值的集合 ? 類(lèi)型構(gòu)造器：架構(gòu)（ schema） ? 架構(gòu)是一個(gè)盒式結(jié)構(gòu) ? 本質(zhì)上，架構(gòu)是程序語(yǔ)言中的子程序或過(guò)程的形式化描述 ? 使用 Z語(yǔ)言建立的系統(tǒng)規(guī)范就是一個(gè)架構(gòu)的集合。 48 167。這些對(duì)象模型與程序計(jì)算對(duì)象的相似之處是選擇 Z作為體系結(jié)構(gòu)和軟件工程描述語(yǔ)言的原因。 ? Z Notation使用標(biāo)準(zhǔn)的邏輯操作符和集合操作符以及他們標(biāo)準(zhǔn)的常規(guī)語(yǔ)義。 47 167。 形式化描述：類(lèi)屬理論 ? 進(jìn)程代數(shù)體系結(jié)構(gòu)理論（ Process－ Algebraic Architecture Theory） ? 定義：一個(gè)進(jìn)程代數(shù)體系結(jié)構(gòu)理論（ PAT）是一個(gè) 2元組 I, ? Ap。 D是一個(gè)函數(shù)型規(guī)范圖， AF是一個(gè)滿足一些要求的體系結(jié)構(gòu)理論。 45 167。 形式化描述：類(lèi)屬理論 ? 類(lèi)屬規(guī)范 P－ Spec ? 定義：進(jìn)程規(guī)范 ? 定義：體系結(jié)構(gòu)理論 (Architecture Theory )。 ? 幾個(gè)定義 ? 規(guī)范 ? 代數(shù) ? functor ? reduct functor ? 規(guī)范形態(tài) ? 規(guī)范和規(guī)范形態(tài)定義了一個(gè)類(lèi)屬的 Spec。 43 167。 ? 模型（ Models）：形成規(guī)范的指稱代數(shù)。 ：類(lèi)屬理論 ? 代數(shù)規(guī)范（ Algebraic Specification） ? 由三個(gè)部分組成 ? 簽名（ Signatures）：每個(gè)簽名是一個(gè)類(lèi)屬名稱和操作名稱的集合。 ? 該方法的一個(gè)優(yōu)點(diǎn)在于結(jié)構(gòu)特性的自動(dòng)維持。 ? 可以把體系結(jié)構(gòu)定義為一個(gè)規(guī)范的圖，并且在一個(gè)相對(duì)抽象的層面上證明該體系結(jié)構(gòu)的性質(zhì)。 ? 當(dāng)用于規(guī)范構(gòu)造時(shí)，通常要求箭頭（或形態(tài)）保持定理的推理關(guān)系。g]:a+b c c b a f ∏ 1 g ∏2 a X b f,g f,g0 ∏1 =f并且 f,g 0 ∏2=g 積 f,g:c aXb 41 167。g] 0