對象約束語言ppt課件-資料下載頁
2025-04-29 01:08本頁面
【正文】 context 訂單 inv 酬金 = if (訂單和 100) then else (訂單和 *) endif 求 “訂單 ”的 “酬金 ”,如果訂單和 100,酬金為 2,否則為訂單和的百分之一 . (8) 導航 OCL可以從初始的上下文導航到與它有關系的其它類。這些類與初始的類有關聯(lián)或組合關系 . context 訂單 inv 訂單客戶 .age 18 context 客戶 inv 訂單 size = 1 OCL的高級數(shù)據(jù)類型的高級數(shù)據(jù)類型 OCL定義的高級數(shù)據(jù)類型有群 ,集合 ,袋和序列 .其中群是抽象數(shù)據(jù)類型 ,集合 ,袋和序列是群的子集 . 集合 (set):不包含重復元素 。 袋 (Bag):允許包含重復元素 。 序列 (Sequence):元素具有有序性的袋 . 群的操作 (Collection) OCL定義的群的操作有下表中列出的操作 .武漢大學國際軟件學院小結小結? OCL是一種形式化語言?OCL已經成為 UML規(guī)范說明的一部分?OCL可以表示施加于模型元素或模型元素的屬性、操作等上面的約束條件
教學課件相關推薦
鄂ICP備17016276號-1