GB/T 28174.3-2011統(tǒng)一建模語(yǔ)言(UML)第3部分：對(duì)象約束語(yǔ)言(OCL)

ICS35080

L77.

中華人民共和國(guó)國(guó)家標(biāo)準(zhǔn)

GB/T281743—2011

.

統(tǒng)一建模語(yǔ)言UML

()

第3部分對(duì)象約束語(yǔ)言O(shè)CL

:()

UnifiedmodelinlanuaeUML—

ggg()

Part3ObectconstraintlanuaeOCL

:jgg()

2011-12-30發(fā)布2012-06-01實(shí)施

中華人民共和國(guó)國(guó)家質(zhì)量監(jiān)督檢驗(yàn)檢疫總局發(fā)布

中國(guó)國(guó)家標(biāo)準(zhǔn)化管理委員會(huì)

GB/T281743—2011

.

目次

前言…………………………

Ⅲ

引言…………………………

Ⅳ

范圍………………………

11

規(guī)范性引用文件…………………………

21

對(duì)象約束語(yǔ)言描述………………………

31

抽象句法…………………

423

具體句法…………………

545

采用描述的語(yǔ)義…………………

6UML75

標(biāo)準(zhǔn)庫(kù)……………

7OCL108

模型中表達(dá)式的使用……………………

8UMLOCL127

與三種元模型的銜接……………

9OCL、UMLMOF136

Ⅰ

GB/T281743—2011

.

前言

統(tǒng)一建模語(yǔ)言分為個(gè)部分

GB/T28174《(UML)》4:

第部分基礎(chǔ)結(jié)構(gòu)

———1:;

第部分上層結(jié)構(gòu)

———2:;

第部分對(duì)象約束語(yǔ)言

———3:(OCL);

第部分圖交換

———4:。

本部分為的第部分

GB/T281743。

本部分按照給出的規(guī)則起草

GB/T1.1—2009。

本部分參考面向?qū)ο蠊ぷ鹘M的統(tǒng)一建模語(yǔ)言對(duì)象約束語(yǔ)言版

(OMG)《:(OCL)》2.0。

請(qǐng)注意本文件的某些內(nèi)容可能涉及專利本文件的發(fā)布機(jī)構(gòu)不承擔(dān)識(shí)別這些專利的責(zé)任

。。

本部分由全國(guó)信息技術(shù)標(biāo)準(zhǔn)化技術(shù)委員會(huì)提出并歸口

(SAC/TC28)。

本部分起草單位廣東省廣業(yè)信息產(chǎn)業(yè)集團(tuán)有限公司廣東萬(wàn)維博通信息技術(shù)有限公司鎮(zhèn)江金鈦

:、、

軟件有限公司北京大學(xué)中國(guó)電子技術(shù)標(biāo)準(zhǔn)化研究所

、、。

本部分主要起草人許立勇周偉強(qiáng)唐澤歡江善東黃孝和楊三寶丁力吳炯祥鄧海強(qiáng)

:、、、、、、、、、

胡紅林高健

、。

Ⅲ

GB/T281743—2011

.

引言

統(tǒng)一建模語(yǔ)言是一種可視化規(guī)約語(yǔ)言用于定義和構(gòu)造計(jì)算機(jī)信息系統(tǒng)的制品并將其文

(UML),,

檔化它是一種通用建模語(yǔ)言可以和所有主流的面向?qū)ο蠛兔嫦驑?gòu)件的方法一起使用并適用于所有

。,,

的應(yīng)用領(lǐng)域和實(shí)現(xiàn)平臺(tái)如等

(:CORBA、J2EE、.NET)。

01統(tǒng)一建模語(yǔ)言不同版本之間的關(guān)系

.

由于的技術(shù)較新所以該國(guó)際標(biāo)準(zhǔn)歷經(jīng)多次的版本演化下面是在的演化過(guò)程

UML,,UMLOMG:

1997UML1.1

1998UML1.2

1999UML1.3

2001UML1.4

2003UML2.0

的本部分正文中的均指統(tǒng)一建模語(yǔ)言和

GB/T28174UMLUML2.0GB/T28174。

02關(guān)于對(duì)讀者的建議

.

需要了解語(yǔ)言中的元模型構(gòu)造物利用這些構(gòu)造物進(jìn)行元模型擴(kuò)展或者是構(gòu)造新的建模語(yǔ)言的用

,

戶可閱讀基礎(chǔ)結(jié)構(gòu)部分

(GB/T28174.1)。

應(yīng)用系統(tǒng)建模用戶和建模工具制造方都需閱讀上層結(jié)構(gòu)部分但要注意該部分

(GB/T28174.2)。,

的內(nèi)容是交叉引用的可不按目次順序閱讀

,。

對(duì)于要精確地對(duì)模型進(jìn)行約束的應(yīng)用系統(tǒng)建模用戶或要支持對(duì)象約束語(yǔ)言的建模工具制造方需

,

閱讀對(duì)象約束語(yǔ)言部分

(GB/T28174.3)。

支持在不同的軟件工具間平滑且無(wú)縫地交換文檔的建模工具制造方需閱讀圖交互部分

,。

Ⅳ

GB/T281743—2011

.

統(tǒng)一建模語(yǔ)言UML

()

第3部分對(duì)象約束語(yǔ)言O(shè)CL

:()

1范圍

的本部分規(guī)定了用于對(duì)各類軟件系統(tǒng)進(jìn)行可視化詳述構(gòu)造和文檔化的統(tǒng)一建模語(yǔ)

GB/T28174、、

言本語(yǔ)言也可用于對(duì)其他領(lǐng)域進(jìn)行建模

。。

本部分是一種形式語(yǔ)言它適用于描述模型上的表達(dá)式這些表達(dá)式以規(guī)范的方式規(guī)定了

,UML。,

如何描述系統(tǒng)在建模過(guò)程中應(yīng)成立的不變條件以及對(duì)模型中對(duì)象的查詢

。

2規(guī)范性引用文件

下列文件對(duì)于本文件的應(yīng)用是必不可少的凡是注日期的引用文件僅注日期的版本適用于本文

。,

件凡是不注日期的引用文件其最新版本包括所有的修改單適用于本文件

。,()。

統(tǒng)一建模語(yǔ)言第部分基礎(chǔ)結(jié)構(gòu)

GB/T28174.1(UML)1:

統(tǒng)一建模語(yǔ)言第部分上層結(jié)構(gòu)

GB/T28174.2(UML)2:

3對(duì)象約束語(yǔ)言描述

31OCL的作用

.

圖例如類圖通常不夠精細(xì)無(wú)法提供與規(guī)范有關(guān)的一切側(cè)面這其中就缺少描述模型中

UML(),。

關(guān)于對(duì)象的添加約束這些約束常常采用自然語(yǔ)言描述而實(shí)踐表明這樣做經(jīng)常造成歧義為了寫(xiě)

。。,。

出無(wú)歧義的約束已經(jīng)開(kāi)發(fā)出幾種新的所謂形式語(yǔ)言傳統(tǒng)上的形式語(yǔ)言缺點(diǎn)是僅適合于有相當(dāng)數(shù)

,“”。,

學(xué)背景的人員普通業(yè)務(wù)或系統(tǒng)建模者難以使用

,。

即為填補(bǔ)這一空白而研制出來(lái)它是一種保留了易讀易寫(xiě)特點(diǎn)的形式語(yǔ)言它已在的

OCL。。IBM

保險(xiǎn)分部作為一種業(yè)務(wù)建模語(yǔ)言開(kāi)發(fā)出來(lái)根植于方法

,Sntro。

是一種純粹的規(guī)約語(yǔ)言因而保證了y表達(dá)p式y(tǒng)不帶副作用當(dāng)對(duì)一表達(dá)式求值時(shí)

OCL,OCL。OCL,

只是返回一個(gè)值它不能改動(dòng)模型中的任何事物這意味著系統(tǒng)的狀態(tài)絕不因表達(dá)式的求值

。。,OCL

而改變縱然能用表達(dá)式去規(guī)定一個(gè)狀態(tài)的改變例如在后置條件中

,OCL(,)。

不是編程語(yǔ)言因此不可能以寫(xiě)出程序邏輯或流控制在之內(nèi)不能啟用進(jìn)程或

OCL,,OCL。OCL,

激活非查詢操作本是一種建模語(yǔ)言因此表達(dá)式按定義不能直接執(zhí)行

。OCL,OCL。

是一種類型化語(yǔ)言其中每一表達(dá)式都有一類型表達(dá)式要成為良構(gòu)的就應(yīng)符

OCL,OCL