第九章-對(duì)象約束語(yǔ)言課件

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

OCL作為形式化語(yǔ)言，基本語(yǔ)言要素包括:類型(基本類型，高級(jí)類型)操作表達(dá)式語(yǔ)句武漢大學(xué)國(guó)際軟件學(xué)院9.3OCL的構(gòu)成

OCL的基本類型：包括整型，實(shí)型，字符串型，布爾型武漢大學(xué)國(guó)際軟件學(xué)院9.3OCL的構(gòu)成

OCL在基本類型上的部分運(yùn)算符武漢大學(xué)國(guó)際軟件學(xué)院解釋整型

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

i1.abs

取絕對(duì)值,整型

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

r1.round

四舍五入取整,整型

r1.floor

向下取整,整型武漢大學(xué)國(guó)際軟件學(xué)院解釋字符串型

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

s1.size字符串長(zhǎng)度,整型

s1.toLower

轉(zhuǎn)換成為小寫字母,字符串

s1.toUper

轉(zhuǎn)換成為大寫字母,字符串

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

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

b1=b2等于,布爾型

b1<>b2不等于,布爾型

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

OCL的表達(dá)式由操作數(shù)和運(yùn)算符按一定規(guī)則構(gòu)成。表達(dá)式和特定的上下文有關(guān)，表達(dá)式具有確定的值。

(2)表達(dá)式的上下文表達(dá)式的上下文表示這個(gè)表達(dá)式所作用的范圍。可以是類，類的屬性和操作.context訂單--上下文為“訂單”類

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

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

(3)表達(dá)式的不變量

不變量由inv關(guān)鍵字規(guī)定。上下文表示這個(gè)表達(dá)式所作用的范圍?？梢允穷悾惖膶傩院筒僮?context訂單inv:--”訂單”類中的所有對(duì)訂單和>10--象的”訂單和”都應(yīng)該大于10context訂單inv:--”訂單”類的”酬金”的求法酬金=0.01*訂單和也可以:context訂單inv:--”訂單”類的”酬金”的求法

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

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

(6)蘊(yùn)涵

context訂單inv

訂單的文章->size=0implies

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

(7)分支

context訂單inv

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

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

(8)導(dǎo)航

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

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

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

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

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