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