面向?qū)ο蟪绦蛟O(shè)計(1)(完整版)
【正文】 （ OCL） ? OCL是一種基于一階謂詞邏輯和集合論的形式化語言 ? OCL主要用于針對 UML模型定義不變式條件（ invariant conditions）和前后臵條件（ pre/post conditions） ? 除了精確的語義之外， OCL還有無副作用（ side effect）的優(yōu)點 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 t e r a c t i o n D i a g r a mS e q u e n c e D i a g r a mI n t e r a c t i o n O v e r v i e w D i a g r a mC o m m u n i c a t i o n D i a g r a mT i m i n g D i a g r a m27 常用的中譯名 2022 Software Engineering Group 結(jié) 結(jié) 結(jié)結(jié)結(jié) 結(jié) 結(jié)結(jié) 結(jié) 結(jié) 結(jié) 結(jié)結(jié) 結(jié) 結(jié)結(jié) 結(jié) 結(jié) 結(jié) 結(jié) 結(jié) 結(jié) 結(jié) 結(jié) 結(jié)結(jié) 結(jié) 結(jié) 結(jié) 結(jié) 結(jié) 結(jié) 結(jié) 結(jié) 結(jié)結(jié) 結(jié) 結(jié)結(jié) 結(jié) 結(jié)結(jié) 結(jié) 結(jié) 結(jié) 結(jié)結(jié) 結(jié) 結(jié)結(jié) 結(jié) 結(jié)28 ? 相對于 4種圖 ? 復(fù)合結(jié)構(gòu)圖（ Composite Structure Diagram） ? 包圖（ Package Diagram） ? 交互概觀圖（ Interaction Overview Diagram） ? 定時圖（ Timing Diagram） 注：包圖在 ? 對 2種圖重新命名 ? 原來的協(xié)作圖 (Collaboration Diagrams)改名為通訊圖 (Communication Diagrams) ? 原來的狀態(tài)圖 (Statechart Diagrams)改名為狀態(tài)機(jī)圖(State Machine Diagrams) 2
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1