GB/T 16656.11-2010工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第11部分：描述方法：EXPRESS語(yǔ)言參考手冊(cè)

ICS2504040

L67..

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

GB/T1665611—2010/ISO10303-112004

.代替:

GB/T16656.11—1996

工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與

交換第11部分描述方法EXPRESS

::

語(yǔ)言參考手冊(cè)

Industrialautomationsystemsandintegration—Productdatarepresentationand

exchane—Part11DescritionmethodsTheEXPRESSlanuaereference

g:p:gg

manual

(ISO10303-11:2004,IDT)

2010-12-01發(fā)布2011-05-01實(shí)施

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

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

中華人民共和國(guó)

國(guó)家標(biāo)準(zhǔn)

工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與

交換第11部分描述方法EXPRESS

::

語(yǔ)言參考手冊(cè)

GB/T16656.11—2010/ISO10303-11:2004

*

中國(guó)標(biāo)準(zhǔn)出版社出版發(fā)行

北京復(fù)興門外三里河北街號(hào)

16

郵政編碼

:100045

網(wǎng)址

:

服務(wù)熱線

/p>

年月第一版

20116

*

書號(hào)

:155066·1-42416

版權(quán)專有侵權(quán)必究

GB/T1665611—2010/ISO10303-112004

.:

目次

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

Ⅴ

范圍………………………

11

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

21

術(shù)語(yǔ)和定義………………

31

中定義的術(shù)語(yǔ)………………………

3.1GB/T16656.11

中定義的術(shù)語(yǔ)………………………

3.2GB/T13000.12

其他術(shù)語(yǔ)和定義………………………

3.32

一致性要求………………

44

用表示的形式化描述……………………

4.1EXPRESS4

的實(shí)現(xiàn)……………………

4.2EXPRESS4

基本原則…………………

55

語(yǔ)言描述語(yǔ)法……………

65

語(yǔ)法說(shuō)明………………

6.15

專用字符標(biāo)記…………………………

6.26

基本語(yǔ)言元素……………

77

字符集…………………

7.17

保留字…………………

7.210

符號(hào)……………………

7.311

標(biāo)識(shí)符…………………

7.411

文字……………………

7.512

數(shù)據(jù)類型…………………

814

簡(jiǎn)單數(shù)據(jù)類型…………………………

8.114

聚合數(shù)據(jù)類型…………………………

8.216

命名數(shù)據(jù)類型…………………………

8.320

構(gòu)造數(shù)據(jù)類型…………………………

8.421

廣義數(shù)據(jù)類型…………………………

8.525

數(shù)據(jù)類型使用分類……………………

8.625

聲明………………………

927

類型聲明………………

9.127

實(shí)體聲明………………

9.228

模式……………………

9.345

常量……………………

9.446

算法……………………

9.546

規(guī)則……………………

9.653

子類約束………………

9.755

范圍和可見性…………………………

1058

范圍規(guī)則……………

10.159

可見性規(guī)則…………………………

10.259

Ⅰ

GB/T1665611—2010/ISO10303-112004

.:

顯式項(xiàng)規(guī)則…………………………

10.360

接口描述………………

1164

接口描述………………………

11.1USE65

接口描述……………

11.2REFERENCE65

和的相互作用………………

11.3USEREFERENCE65

隱式接口……………

11.466

表達(dá)式…………………

1268

算術(shù)操作符…………………………

12.169

關(guān)系操作符…………………………

12.270

二進(jìn)制操作符………………………

12.377

邏輯操作符…………………………

12.478

字符串操作符………………………

12.580

聚合操作符…………………………

12.680

引用…………………

12.785

函數(shù)調(diào)用……………

12.888

聚合預(yù)置符…………………………

12.989

復(fù)合實(shí)體實(shí)例構(gòu)造操作符…………

12.1090

類型兼容性…………………………

12.1191

表達(dá)式中的選擇數(shù)據(jù)類型…………

12.1291

可執(zhí)行語(yǔ)句……………

1392

空語(yǔ)句………………

13.193

別名語(yǔ)句……………

13.293

賦值…………………

13.393

選擇語(yǔ)句……………

13.495

復(fù)合語(yǔ)句……………

13.596

轉(zhuǎn)移語(yǔ)句……………

13.696

語(yǔ)句………………

13.7If…Then…Else97

過(guò)程調(diào)用語(yǔ)句………………………

13.897

重復(fù)語(yǔ)句……………

13.997

返回語(yǔ)句……………

13.1099

跳語(yǔ)句………………

13.1199

內(nèi)部常數(shù)………………

14100

常數(shù)………………

14.1e100

不確定值……………

14.2100

假……………………

14.3100

常數(shù)……………

14.4PI100

…………………

14.5Self100

真……………………

14.6100

未知…………………

14.7100

內(nèi)部函數(shù)………………

15100

算術(shù)函數(shù)……………………

15.1Abs100

算術(shù)函數(shù)…………………

15.2ACos100

算術(shù)函數(shù)…………………

15.3ASin101

Ⅱ

GB/T1665611—2010/ISO10303-112004

.:

算術(shù)函數(shù)…………………

15.4ATan101

二進(jìn)制函數(shù)……………

15.5BLength101

算術(shù)函數(shù)……………………

15.6Cos101

廣義函數(shù)…………………

15.7Exists101

算術(shù)函數(shù)……………………

15.8Exp101

廣義函數(shù)………………

15.9Format102

算術(shù)函數(shù)……………

15.10HiBound103

算術(shù)函數(shù)……………

15.11HiIndex104

串函數(shù)…………………

15.12Length104

算術(shù)函數(shù)……………

15.13LoBound104

算術(shù)函數(shù)…………………

15.14Log105

算術(shù)函數(shù)…………………

15.15Log2105

算術(shù)函數(shù)………………

15.16Log10105

算術(shù)函數(shù)……………

15.17LoIndex105

空值函數(shù)…………………

15.18NVL106

算術(shù)函數(shù)…………………

15.19Odd106

廣義函數(shù)……………

15.20RolesOF106

算術(shù)函數(shù)…………………

15.21Sin107

聚合函數(shù)………………

15.22SizeOf107

算術(shù)函數(shù)…………………

15.23Sqrt107

算術(shù)函數(shù)…………………

15.24Tan108

廣義函數(shù)……………

15.25TypeOf108

廣義函數(shù)………………

15.26UsedIn110

算術(shù)函數(shù)………………

15.27Value110

隸屬函數(shù)……………

15.28Value_in111

唯一性函數(shù)……………………

15.29Value_unique111

內(nèi)部過(guò)程………………

16111

插入…………………

16.1111

刪除…………………

16.2112

附錄規(guī)范性附錄語(yǔ)言的語(yǔ)法………

A()EXPRESS113

附錄規(guī)范性附錄許可實(shí)體實(shí)例化的確定………

B()132

附錄規(guī)范性附錄接口描述規(guī)定的實(shí)例限制……………………

C()145

附錄規(guī)范性附錄圖形子集……………

D()EXPRESS-G:EXPRESS148

附錄規(guī)范性附錄接口描述規(guī)定的實(shí)例限制……………………

E()160

附錄規(guī)范性附錄信息對(duì)象注冊(cè)…………………

F()161

附錄規(guī)范性附錄從多個(gè)模式生成單個(gè)模式……………………

G()162

附錄資料性附錄關(guān)系……………

H()185

附錄資料性附錄圖例的模型…………

I()EXPRESS-GEXPRESS190

附錄資料性附錄不推薦使用的語(yǔ)言的語(yǔ)法特征……

J()EXPRESS195

附錄資料性附錄語(yǔ)言新構(gòu)造的示例………………

K()EXPRESS196

附錄資料性附錄各部分的目錄……………………

NA()ISO10303199

參考文獻(xiàn)……………………

212

Ⅲ

GB/T1665611—2010/ISO10303-112004

.:

前言

工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換是一個(gè)由多個(gè)部分組成的標(biāo)準(zhǔn)各部

GB/T16656《》,

分單獨(dú)出版的所屬各部分又組成多個(gè)子系列即

。GB/T16656,:

第至第部分規(guī)定了描述方法

———119;

第至第部分規(guī)定了實(shí)現(xiàn)方法

———2029;

第至第部分規(guī)定了一致性測(cè)試方法與框架

———3039;

第至第部分規(guī)定了集成通用資源

———4059;

第至第部分規(guī)定了集成應(yīng)用資源

———100199;

第至第部分規(guī)定了應(yīng)用協(xié)議

———200299;

第至第部分規(guī)定了抽象測(cè)試套件

———300399;

第至第部分規(guī)定了應(yīng)用模塊

———400499;

第至第部分規(guī)定了應(yīng)用解釋構(gòu)造

———500599;

第至第部分規(guī)定了應(yīng)用模塊

———10001999。

工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換現(xiàn)已發(fā)布了以下個(gè)部分

GB/T16656《:》26:

第部分概述與基本原理

———1:;

第部分描述方法語(yǔ)言參考手冊(cè)

———11::EXPRESS;

第部分實(shí)現(xiàn)方法交換結(jié)構(gòu)的純正文編碼

———21::;

第部分一致性測(cè)試方法與框架基本概念

———31::;

第部分一致性測(cè)試方法與框架測(cè)試實(shí)驗(yàn)室與客戶的要求

———32::;

第部分一致性測(cè)試方法與框架應(yīng)用協(xié)議實(shí)現(xiàn)的抽象測(cè)試方法

———34::;

第部分集成通用資源產(chǎn)品描述和支持原理

———41::;

第部分集成通用資源幾何與拓?fù)浔磉_(dá)

———42::;

第部分集成通用資源表達(dá)結(jié)構(gòu)

———43::;

第部分集成通用資源產(chǎn)品結(jié)構(gòu)配置

———44::;

第部分集成通用資源物料

———45::;

第部分集成通用資源可視化顯示

———46::;

第部分集成通用資源形變公差

———47::;

第部分集成通用資源工藝結(jié)構(gòu)與特性

———49::;

第部分集成應(yīng)用資源繪圖

———101::;

第部分集成應(yīng)用資源運(yùn)動(dòng)學(xué)

———105::;

第部分應(yīng)用協(xié)議顯式繪圖

———201::;

第部分應(yīng)用協(xié)議相關(guān)繪圖

———202::;

第部分應(yīng)用協(xié)議配置控制設(shè)計(jì)

———203::;

第部分應(yīng)用解釋構(gòu)造基于邊的線框

———501::;

第部分應(yīng)用解釋構(gòu)造基于殼的線框

———502::;

第部分應(yīng)用解釋構(gòu)造幾何邊界的二維線框

———503::;

第部分應(yīng)用解釋構(gòu)造基本邊界表達(dá)

———513::;

第部分應(yīng)用解釋構(gòu)造相關(guān)繪圖元素

———520::;

第部分應(yīng)用模塊外觀賦值

———1001::;

Ⅴ

GB/T1665611—2010/ISO10303-112004

.:

第部分應(yīng)用模塊基礎(chǔ)表達(dá)

———1006::。

本部分為的第部分

GB/T1665611。

本部分等同采用國(guó)際標(biāo)準(zhǔn)工業(yè)自動(dòng)化與集成產(chǎn)品數(shù)據(jù)表達(dá)與交

ISO10303-11:2004《

換第部分描述方法語(yǔ)言參考手冊(cè)英文版

11::EXPRESS》()。

本部分代替工業(yè)自動(dòng)化和集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第部分描述

GB/T16656.11—1996《11:

方法語(yǔ)言參考手冊(cè)

:EXPRESS》。

本部分與相比主要變化如下

GB/T16656.11—1996:

本部分規(guī)定了語(yǔ)言元素每個(gè)語(yǔ)言元素在各自的上下文語(yǔ)境中用示例表示先描述簡(jiǎn)單

EXPRESS,,

的元素然后按照遞增的方式描述更復(fù)雜的概念本部分的修訂是為了滿足多模式規(guī)范的需求新的概

,。,

念構(gòu)成了可擴(kuò)展數(shù)據(jù)模型的體系架構(gòu)本部分的本次修訂版本中增加了以下關(guān)鍵詞

,:

———BASED_ON;

———END_SUBTYPE_CONSTRAINT;

———EXTENSIBLE;

———GENERIC_ENTITY;

———RENAMED;

———SUBTYPE_CONSTRAINT;

———TOTAL_OVER;

———WITH。

若模式中將這些關(guān)鍵詞作為標(biāo)識(shí)符則在本修訂版本中該模式是無(wú)效的此外本修訂

EXPRESS,。,

版中修改的內(nèi)容保持與上一個(gè)版本的向上兼容性

。

本部分的附錄附錄附錄附錄附錄附錄和附錄均為規(guī)范性附錄附錄附

A、B、C、D、E、FG,H、

錄附錄附錄附錄均為資料性附錄

I、J、