第九章-對象約束語言課件

武漢大學國際軟件學院第九章對象約束語言武漢大學國際軟件學院內容為什么需要OCLOCL的特點OCL的構成OCL的高級數據類型小結武漢大學國際軟件學院9.1為什么需要OCL對象約束語言(ObjectConstraintLanguage,OCL)作為圖形符號的補充，說明建模元素的有關細節(jié)，例如：約束，前置條件，后置條件等。武漢大學國際軟件學院9.1為什么需要OCLOCL(objectconstraintlanguage)對象約束語言。用來進行約束定義的，形式化的無二義的語言。OCL于1995年由Warmer等人，在IBM設計成功，并開始使用。1997年UML的1.1版本正式采用OCL2003年1月推出OCL1.4版本OCL2.0版本正在征求意見武漢大學國際軟件學院9.2OCL的特點聲明性語言，不會改變模型中的內容。形式化語言語言。無二義規(guī)范語言。類型性語言，每一個表達式都有類型；易學好用。武漢大學國際軟件學院9.3OCL的構成

OCL作為形式化語言，基本語言要素包括:類型(基本類型，高級類型)操作表達式語句武漢大學國際軟件學院9.3OCL的構成

OCL的基本類型：包括整型，實型，字符串型，布爾型武漢大學國際軟件學院9.3OCL的構成

OCL在基本類型上的部分運算符武漢大學國際軟件學院解釋整型

i1+i2加法,整型(-,*)i1/i2除法,實型

i1.abs

取絕對值,整型

i1.max(i2)取最大數,整型實型i1+i2加法,實型(-,*,/)i1.abs取絕對值,實型

r1.round

四舍五入取整,整型

r1.floor

向下取整,整型武漢大學國際軟件學院解釋字符串型

s1.concat(s2)連接,字符串

s1.size字符串長度,整型

s1.toLower

轉換成為小寫字母,字符串

s1.toUper

轉換成為大寫字母,字符串

s1.substring(i1,i2)取子串,字符串

s1=s2等于,布爾型武漢大學國際軟件學院解釋布爾型b1andb2邏輯與,布爾型(or,xor)notb1邏輯非,布爾型

b1=b2等于,布爾型

b1<>b2不等于,布爾型

b1impliesb2蘊涵,布爾型當b1和b2均為真,或b1為假時,表達式為真1ifb1then<expr1>else<expr2>endif分支判斷武漢大學國際軟件學院解釋運算符的優(yōu)先級別優(yōu)先級決定了操作順序；優(yōu)先級從上到下，改變順序用括號。武漢大學國際軟件學院9.3OCL的構成OCL的表達式(1)表達式的含義

OCL的表達式由操作數和運算符按一定規(guī)則構成。表達式和特定的上下文有關，表達式具有確定的值。

(2)表達式的上下文表達式的上下文表示這個表達式所作用的范圍?？梢允穷?，類的屬性和操作.context訂單--上下文為“訂單”類

context訂單.訂單和--上下文為“訂單”類的屬性“訂單和”

context訂單.求稅金()--上下文為“訂單”類的操作求“稅金()”

(3)表達式的不變量

不變量由inv關鍵字規(guī)定。上下文表示這個表達式所作用的范圍?？梢允穷?，類的屬性和操作.context訂單inv:--”訂單”類中的所有對訂單和>10--象的”訂單和”都應該大于10context訂單inv:--”訂單”類的”酬金”的求法酬金=0.01*訂單和也可以:context訂單inv:--”訂單”類的”酬金”的求法

self.酬金=0.01*self.訂單和

(4)表達式的前置條件和后置條件context訂單.求稅金():Realpre:--post:result=訂單和*0.065

(6)蘊涵

context訂單inv

訂單的文章->size=0implies

訂單和=0“訂單的文章”的數量如果等于0,則“訂單”的“訂單和”也必須等于0

(7)分支

context訂單inv

酬金=if(訂單和<100)then2.00else(訂單和*0.01)endif

求“訂單”的“酬金”,如果訂單和<100,酬金為2,否則為訂單和的百分之一.

(8)導航

OCL可以從初始的上下文導航到與它有關系的其它類。這些類與初始的類有關聯或組合關系.context訂單inv

訂單客戶.age>18context客戶inv

訂單->size>=19.4OCL的高級數據類型OCL定義的高級數據類型有群,集合,袋和序列.其中群是抽象數據類型,集合,袋和序列是群的子集.

集合(set):不包含重復元素;

袋(Bag):允許包含重復元素;