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

ICS35080

L77.

中華人民共和國國家標準

GB/T281743—2011

.

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

()

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

:()

UnifiedmodelinlanuaeUML—

ggg()

Part3ObectconstraintlanuaeOCL

:jgg()

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

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

中國國家標準化管理委員會

GB/T281743—2011

.

目次

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

Ⅲ

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

Ⅳ

范圍………………………

11

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

21

對象約束語言描述………………………

31

抽象句法…………………

423

具體句法…………………

545

采用描述的語義…………………

6UML75

標準庫……………

7OCL108

模型中表達式的使用……………………

8UMLOCL127

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

9OCL、UMLMOF136

Ⅰ

GB/T281743—2011

.

前言

統(tǒng)一建模語言分為個部分

GB/T28174《(UML)》4:

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

———1:;

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

———2:;

第部分對象約束語言

———3:(OCL);

第部分圖交換

———4:。

本部分為的第部分

GB/T281743。

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

GB/T1.1—2009。

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

(OMG)《:(OCL)》2.0。

請注意本文件的某些內(nèi)容可能涉及專利本文件的發(fā)布機構(gòu)不承擔識別這些專利的責任

。。

本部分由全國信息技術(shù)標準化技術(shù)委員會提出并歸口

(SAC/TC28)。

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

:、、

軟件有限公司北京大學中國電子技術(shù)標準化研究所

、、。

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

:、、、、、、、、、

胡紅林高健

、。

Ⅲ

GB/T281743—2011

.

引言

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

(UML),,

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

。,,

的應用領(lǐng)域和實現(xiàn)平臺如等

(:CORBA、J2EE、.NET)。

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

.

由于的技術(shù)較新所以該國際標準歷經(jīng)多次的版本演化下面是在的演化過程

UML,,UMLOMG:

1997UML1.1

1998UML1.2

1999UML1.3

2001UML1.4

2003UML2.0

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

GB/T28174UMLUML2.0GB/T28174。

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

.

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

,

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

(GB/T28174.1)。

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

(GB/T28174.2)。,

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

,。

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

,

閱讀對象約束語言部分

(GB/T28174.3)。

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

,。

Ⅳ

GB/T281743—2011

.

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

()

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

:()

1范圍

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

GB/T28174、、

言本語言也可用于對其他領(lǐng)域進行建模

。。

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

,UML。,

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

。

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

下列文件對于本文件的應用是必不可少的凡是注日期的引用文件僅注日期的版本適用于本文

。,

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

。,()。

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

GB/T28174.1(UML)1:

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

GB/T28174.2(UML)2:

3對象約束語言描述

31OCL的作用

.

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

UML(),。

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

。。,。

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

,“”。,

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

,。

即為填補這一空白而研制出來它是一種保留了易讀易寫特點的形式語言它已在的

OCL。。IBM

保險分部作為一種業(yè)務(wù)建模語言開發(fā)出來根植于方法

,Sntro。

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

OCL,OCL。OCL,

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

。。,OCL

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

,OCL(,)。

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

OCL,,OCL。OCL,

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

。OCL,OCL。

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

OCL,OCL