chapter17對象約束語言.ppt

第17章 對象約束語言,17.1 對象約束語言概述 17.2 標準OCL類型 17.3 OCL表達式 17.4 用OCL表達對象性質(zhì)約束,17.1 對象約束語言概述,對象約束語言簡稱OCL（Object Constraint Language），它是一種用于施加在指定的模型元素上約束的語言。 OCL表達式以附加在模型元素上的條件和限制來表現(xiàn)對該對象的約束，其中包括附加在模型元素上的不變量或約束的表達式、附加在操作和方法上的前置條件和后置條件等。,OCL的產(chǎn)生,OCL的產(chǎn)生是為了解決約束表達的問題。 OCL最初由IBM公司設(shè)計成功。 OCL已經(jīng)為標準化組織OMG所接受，成為了UML標準的一部分。 OCL語言雖然是一種形式化語言，但是它既具有形式化語言無二義性的特點，又消除了形式化語言的復(fù)雜性。,OCL的特點,OCL是一種精確的、無二義性的語言，易于使用和掌握。 OCL是一種規(guī)范說明性語言，所有有關(guān)實現(xiàn)的問題都不能用OCL來表達。 OCL是一種純表達式語言，它是具有沒有任何副作用的聲明性語言。對OCL表達式的計算將返回一個值，計算不會改變系統(tǒng)的狀態(tài)。 OCL是一種類型化語言，即OCL中的每個表達式都是具有類型的。 OCL不是一種程序設(shè)計語言，不能用OCL編寫程序邏輯和控制流程。,17.2 標準OCL類型,OCL預(yù)定義的標準類型定義了一組基本類型和集合類型。 OCL的基本類型有“Boolean”、“Integer”、“Real”和“String”等，集合類型包括“Collection”、“Set”、“Bag”和“Sequence”等，這些標準類型是OCL表達式的組成部分。,17.2 標準OCL類型,OCL標準類型的層次結(jié)構(gòu),17.2 標準OCL類型,17.2.1 OclType類型 17.2.2 OclAny類型 17.2.3 基本類型 17.2.4 集合類型 17.2.5 OCL中的關(guān)鍵字,17.2.1 OclType類型,OclType類型是OCL預(yù)定義的和在模型中定義的類型，OclType允許訪問模型的元級別。 OclType的操作見表17-1。,7.2.2 OclAny類型,OclType類型是一個模型里所有類型的上級類型。模型里所有的類都繼承由OclAny定義的特性。 OclAny的操作見表17-2。,17.2.3 基本類型,OCL定義了很多基本類型，它的基本類型和程序設(shè)計語言中的數(shù)據(jù)類型的含義類似。 OCL還在基本類型上定義了一些操作，這些操作也與程序設(shè)計語言中的操作類似。 OCL的基本類型與操作見表17-3。,17.2.4 集合類型,除了基本類型以外，OCL還定義了一些較為高級的標準OCL類型稱為集合類型。 集合是成組的對象或元素，可以用來作為表達式計算過程中的結(jié)果。 集合類型除了抽象數(shù)據(jù)類型Collection以外，還有Set（集）、Bag（袋）和序列（Sequence）等。,17.2.4 集合類型,1. Collection 2. Set 3. Bag 4. Sequence,1. Collection,Collection是OCL中所有集合的抽象的上級類型。 定義在Collection上的操作見表17-5。,2. Set,Set是不包括重復(fù)元素的對象組，Set中的元素是無序的。 定義在Set上的操作見表17-6。,3. Bag,Bag也是對象組，Bag和Set不同之處在于Bag中可以包含重復(fù)元素。 定義在Bag上的操作見表17-7。,4. Sequence,Sequence和Bag相似，也可以包含重復(fù)元素，不過Sequence中的元素是有序的。 定義在Sequence上的操作見表17-8。,17.2.5 OCL中的關(guān)鍵字,與程序設(shè)計語言一樣，OCL也定義了一些關(guān)鍵字。 OCL中的關(guān)鍵字見表17-9。,17.3 OCL表達式,17.3.1 OCL表達式的語法 17.3.2 操作符的優(yōu)先級,OCL表達式的特點,OCL表達式可以附加在模型元素上。 OCL表達式可以附加在操作上。 OCL表達式可以指定附加在模型元素上的監(jiān)護條件。 OCL表達式的計算原則是從左到右 OCL表達式既可以使用基本類型又可以使用集合類型。,17.3.1 OCL表達式的語法,OCL表達式的語法用擴展的巴斯科范式（EBNF）定義，在EBNF中： “|”表示選擇 “？”表示可選項 “*”表示零次或多次 “”表示一次或多次,17.3.1 OCL表達式的語法,OCL基本表達式的語法用EBNF定義如下： PrimaryExpression:=literalCollection | literal | pathName time Expression ? FeatureCallparameters? | “(“ expression ”)” | ifExpression Literal:= | | “#” timeExpression:=” featrueCallParameters:=”(”(declarator)?(actualParameterList)?”)” ifExpression :=”if” expression “then” expression “else” expression “endif”,17.3.2 操作符的優(yōu)先級,OCL中的操作符有優(yōu)先級順序。 操作符的優(yōu)先級從高到低見表17-10。 改變操作符的優(yōu)先順序可以使用括號。,17.4 用OCL表達對象性質(zhì)約束,所謂對象性質(zhì)，就是指一個對象的屬性、操作等對象有關(guān)的特性，在建模中具體是指定義的模型元素的特性。 OCL表達式可以表達對模型元素性質(zhì)的約束，常見的使用情況有三種：不變量、前置條件與后置條件和let表達式。,17.4 用OCL表達對象性質(zhì)約束,17.4.1 不變量 17.4.2 前置條件和后置條件 17.4.3 let表達式與約束,17.4.1 不變量,不變量常用于附加在模型元素上，它規(guī)定的約束條件通常需要該模型元素的所有實例都滿足。,17.4.2 前置條件和后置條件,OCL表達式附加在操作上可以規(guī)定一個前置條件或后置條件。