section10對象約束語言

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

OCL作為形式化語言，基本語言要素包括:類型(基本類型，高級類型)操作表達式語句OCL的構成

OCL的基本類型：包括整型，實型，字符串型，布爾型OCL的構成

OCL在基本類型上的部分運算符解釋整型

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

i1.abs

取絕對值,整型

i1.max(i2)取最大數(shù),整型實型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)先級從上到下，改變順序用括號。OCL的構成OCL的表達式(1)表達式的含義

OCL的表達式由操作數(shù)和運算符按一定規(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“訂單的文章”的數(shù)量如果等于0,則“訂單”的“訂單和”也必須等于0

(7)分支

context訂單inv

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

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

(8)導航

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

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

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

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

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