【正文】 empotence :nts : integer = 1。 sourcecode : externalfile = CODELIB/ }} Connector rpc = { Role caller。 Role callee。 Properties { synchronous : boolean = true。 maxroles : integer = 2 }} Attachments { to 。 to }}設計約束? ACME使用一階謂詞邏輯的約束語言來描述設計約束? 約束可以與任何設計元素相關聯(lián)Connected (p1, p2) 如果構件 p1與 p2之間至少有一個連接件，則取 True，否則取 FalseReachable (p1, p2) 如果構件 Comp2處在 Connected (p1, *)上，則取 True，否則取 FalseHasProperty (elt, propName) 如果元素 elt有一個屬性，取名為 ProNameHasType (elt, typeName)如果元素 elt有一個類型，取名為 TypeName。類型和風格? 風格允許定義領域特定的或應用特定的設計詞匯，以及如何使用這些詞匯的約束? ACME風格定義中的基本構造塊是一個類型系統(tǒng)– 屬性類型、結構類型和風格Component Type Client = { Port Request = {Property protocol: CSProtocolT}。 Property Requestrate: Float。 Invariant size() = 5。 Invariant Requestrate =0。 Heuristic requestrate 100。}? 風格– 一組結構元素和屬性、一組約束、默認結構Family PipeFilterFam = { Compo Type FilterT = { Ports {stdin。 stdput}。 Property throughout:int。 }。 Compont Type UnixFilterT extends FilterT with { Port stderr。 Property implementationFile: String。 }。 connector Type PineT = { roles {source。 sink} property bufferSize:int。 } Property Type StringMsgFormatT = Record [size:int。 msg: String]。 Invariant Forall c in HasType (c, pipeT)。}軟件體系結構與 UML? UML簡介– UML(Unified Modeling Language)是下面這些最好的建模方法中最好部分的集成? 商務流程模型 (Work Flow)? 對象建模方法? 構件建模思想– UML是一種用可視化方法對軟件系統(tǒng)進行描述、實施和說明的標準語言。– 適用于各種軟件開發(fā)方法、軟件生命周期的哥哥階段、各種應用領域以及各種開發(fā)工具，總結了以往建模技術的經(jīng)驗并吸收當今優(yōu)秀成果的標準建模方法。? UML簡介? UML簡介? UML簡介Use CaseDiagramsUse CaseDiagrams用例圖ScenarioDiagramsScenarioDiagrams協(xié)作圖StateDiagramsStateDiagrams構件圖ComponentDiagramsComponentDiagrams部署圖StateDiagramsStateDiagrams對象圖ScenarioDiagramsScenarioDiagrams狀態(tài)圖Use CaseDiagramsUse CaseDiagrams序列圖StateDiagramsStateDiagrams類圖活動圖UML? 用例圖用于顯示若干角色以及這些角色與系統(tǒng)提供的用例之間的連接關系。用例是系統(tǒng)提供的功能的描述 ? 類圖表示系統(tǒng)中的類和類與類之間的關系，它是對系統(tǒng)靜態(tài)結構的描述 ? 序列圖用來反映若干個對象之間的動態(tài)協(xié)作關系，也就是隨著時間的推移，對象之間是如何交互的 ? 協(xié)作圖描述對象間的協(xié)作關系，協(xié)作圖跟序列圖相似，顯示對象間的動態(tài)合作關系。如果強調(diào)時間和順序，則使用序列圖；如果強調(diào)上下級關系，則選擇協(xié)作圖。這兩種圖合稱為交互圖。 ? 狀態(tài)圖描述類的對象所有可能的狀態(tài)以及事件發(fā)生時狀態(tài)的轉(zhuǎn)移條件。通常，狀態(tài)圖是對類圖的補充 ? 活動圖描述滿足用例要求所要進行的活動以及活動間的約束關系，有利于識別并行活動 ? 構件圖描述代碼構件的物理結構及各構件之間的依賴關系 ? 部署圖部署圖定義系統(tǒng)中軟硬件的物理體系結構 ? 直接使用 UML建模元 元模型層定義了元模型層的規(guī)格說明語言，元模型層為給定的建模語言定義規(guī)格說明，模型層用來定義特定軟件系統(tǒng)的模型，用戶對象用來構建給定模型的特定實例。 ? 直接使用 UML建模– 語義約束? 由對象約束語言 OCL表示， OCL基于一階謂詞邏輯，每一個 OCL表達式都處于一些 UML模型元素的背景下（由 “self”引用），可使用該元素的屬性和關系作為其項（ term），同時 OCL定義了在集合（sets）、袋 (bags)等上的公共操作集和遍歷建模元素間關系的構造，因此，其它建模元素的屬性也可以作為它的項。? 直接使用 UML建模– 類及其屬性、操作和類之間的靜態(tài)關系，類的包和它的依賴關系；類的狀態(tài)及其行為；對象之間的交互行為；源代碼的結構以及執(zhí)行的實施結構– UML中的通用表示 ? 字符串：表示有關模型的信息；? 名字：表示模型元素；? 標號：不同于編程語言中的標號，是用于表示或說明圖形符號的字符串；? 類型表達式：聲明屬性、變量及參數(shù)，含義同編程語言中的類型表達式；? 實體類型：它是 UML的擴充機制，運用實體類型可定義新類型的模型元素；? 直接使用 UML建模– UML語義部分? 通用元素：主要描述 UML中各元素的語義。通用元素是 UML中的基本構造單位，包括模型元素和視圖元素，模型元素用來構造系統(tǒng)，視圖元素用來構成系統(tǒng)的表示成分；? 通用機制：主要描述使 UML保持簡單和概念上一致的機制的語義。包括定制、標記值、注記、約束、依賴關系、類型 實例、類型 類的對應關系等機制；? 通用類型：主要描述 UML中各種類型的語義。這些類型包括布爾類型、表達式類型、列表類型、多重性類型、名字類型、坐標類型、字符串類型、時間類型、用戶自定義類型等。? 三部分不是相互獨立的，而是相互交叉重疊、緊密相連，共同構成了 UML的完整語義。? 直接使用 UML建模– 會議安排系統(tǒng)的類圖? 直接使用 UML建模– 會議安排系統(tǒng)類接口? 直接使用 UML建模– C2連接件模型? 直接使用 UML建模– 細化的類圖? 直接使用 UML建模– 會議安排系統(tǒng)的協(xié)作圖練習題體系結構描述有哪些方法？有哪些標準和規(guī)范？體系結構描述語言與程序設計語言有什么區(qū)別？選擇一個規(guī)模適中的系統(tǒng)，使用 UML為其建模。演講完畢，謝謝觀看！