【正文】
Diagram Interchange Superstructure Infrastructure OCL 基于 22 UML Infrastructure設(shè)計(jì)目標(biāo) ? 定義一個(gè)元語言的核心 – 基礎(chǔ)結(jié)構(gòu)庫(InfrastructureLibrary)通過對此核心的復(fù)用,可以定義一個(gè)自展的 UML元模型 ? 通過共用核心包,使 UML和其它建模語言在體系結(jié)構(gòu)上保持一致 2022 Software Engineering Group 23 UML Superstructure 設(shè)計(jì)目標(biāo) ? 嚴(yán)格地復(fù)用 Infrastructure中的模型構(gòu)造物 ? 支持接口、部件和連接子,及其層次化組合能力,從而提高對架構(gòu)的規(guī)約能力; ? 增強(qiáng)行為圖的可伸縮性、精確性和集成能力; ? 審定所有 ,適當(dāng)?shù)鼐?、取締和逐步淘汰,同時(shí)進(jìn)行大量擴(kuò)展 2022 Software Engineering Group 24 Diagram Interchange的設(shè)計(jì)目標(biāo) ? 定義一個(gè)針對 UML模型及圖的交換標(biāo)準(zhǔn) ? UML模型和圖 ? UML建模結(jié)果既包含模型元素本身(反映語義信息),還包含圖形化的布局(反映語法信息) ? DI可以同時(shí)支持兩個(gè)層次的 UML交換 2022 Software Engineering Group 25 OCL的設(shè)計(jì)目標(biāo) Object Constraint Language ( OCL) ? OCL是一種基于一階謂詞邏輯和集合論的形式化語言 ? OCL主要用于針對 UML模型定義不變式條件( invariant conditions)和前后臵條件( pre/post conditions) ? 除了精確的語義之外, OCL還有無副作用( side effect)的優(yōu)點(diǎn) 2022 Software Engineering Group 26 UML 13種圖 2022 Software Engineering Group 新增了 4種圖 調(diào)整了 2種圖 S t r u c t u r e D i a g r a mD i a g r a mB e h a v i o r D i a g r a mC l a s s D i a g r a mC o m p o n e n t D i a g r a mO b j e c t D i a g r a mC o m p o s i t e S t r u c t u r e D i a g r a mD e p l o y m e n t D i a g r a mP a c k a g e D i a g r a mA c t i v i t y D i a g r a mU s e C a s e D i a g r a mS t a t e M a c h i n e D i a g r a mI n