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

ICS2504040

L67..

中華人民共和國國家標準

GB/T1665611—2010/ISO10303-112004

.代替:

GB/T16656.11—1996

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

交換第11部分描述方法EXPRESS

::

語言參考手冊

Industrialautomationsystemsandintegration—Productdatarepresentationand

exchane—Part11DescritionmethodsTheEXPRESSlanuaereference

g:p:gg

manual

(ISO10303-11:2004,IDT)

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

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

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

中華人民共和國

國家標準

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

交換第11部分描述方法EXPRESS

::

語言參考手冊

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

*

中國標準出版社出版發(fā)行

北京復興門外三里河北街號

16

郵政編碼

:100045

網(wǎng)址

:

服務熱線

/p>

年月第一版

20116

*

書號

:155066·1-42416

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

GB/T1665611—2010/ISO10303-112004

.:

目次

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

Ⅴ

范圍………………………

11

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

21

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

31

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

3.1GB/T16656.11

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

3.2GB/T13000.12

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

3.32

一致性要求………………

44

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

4.1EXPRESS4

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

4.2EXPRESS4

基本原則…………………

55

語言描述語法……………

65

語法說明………………

6.15

專用字符標記…………………………

6.26

基本語言元素……………

77

字符集…………………

7.17

保留字…………………

7.210

符號……………………

7.311

標識符…………………

7.411

文字……………………

7.512

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

814

簡單數(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

實體聲明………………

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

.:

顯式項規(guī)則…………………………

10.360

接口描述………………

1164

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

11.1USE65

接口描述……………

11.2REFERENCE65

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

11.3USEREFERENCE65

隱式接口……………

11.466

表達式…………………

1268

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

12.169

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

12.270

二進制操作符………………………

12.377

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

12.478

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

12.580

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

12.680

引用…………………

12.785

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

12.888

聚合預置符…………………………

12.989

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

12.1090

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

12.1191

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

12.1291

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

1392

空語句………………

13.193

別名語句……………

13.293

賦值…………………

13.393

選擇語句……………

13.495

復合語句……………

13.596

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

13.696

語句………………

13.7If…Then…Else97

過程調(diào)用語句………………………

13.897

重復語句……………

13.997

返回語句……………

13.1099

跳語句………………

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

二進制函數(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)部過程………………

16111

插入…………………

16.1111

刪除…………………

16.2112

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

A()EXPRESS113

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

B()132

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

C()145

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

D()EXPRESS-G:EXPRESS148

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

E()160

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

F()161

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

G()162

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

H()185

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

I()EXPRESS-GEXPRESS190

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

J()EXPRESS195

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

K()EXPRESS196

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

NA()ISO10303199

參考文獻……………………

212

Ⅲ

GB/T1665611—2010/ISO10303-112004

.:

前言

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

GB/T16656《》,

分單獨出版的所屬各部分又組成多個子系列即

。GB/T16656,:

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

———119;

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

———2029;

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

———3039;

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

———4059;

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

———100199;

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

———200299;

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

———300399;

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

———400499;

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

———500599;

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

———10001999。

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

GB/T16656《:》26:

第部分概述與基本原理

———1:;

第部分描述方法語言參考手冊

———11::EXPRESS;

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

———21::;

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

———31::;

第部分一致性測試方法與框架測試實驗室與客戶的要求

———32::;

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

———34::;

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

———41::;

第部分集成通用資源幾何與拓撲表達

———42::;

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

———43::;

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

———44::;

第部分集成通用資源物料

———45::;

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

———46::;

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

———47::;

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

———49::;

第部分集成應用資源繪圖

———101::;

第部分集成應用資源運動學

———105::;

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

———201::;

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

———202::;

第部分應用協(xié)議配置控制設計

———203::;

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

———501::;

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

———502::;

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

———503::;

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

———513::;

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

———520::;

第部分應用模塊外觀賦值

———1001::;

Ⅴ

GB/T1665611—2010/ISO10303-112004

.:

第部分應用模塊基礎(chǔ)表達

———1006::。

本部分為的第部分

GB/T1665611。

本部分等同采用國際標準工業(yè)自動化與集成產(chǎn)品數(shù)據(jù)表達與交

ISO10303-11:2004《

換第部分描述方法語言參考手冊英文版

11::EXPRESS》()。

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

GB/T16656.11—1996《11:

方法語言參考手冊

:EXPRESS》。

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

GB/T16656.11—1996:

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

EXPRESS,,

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

,。,

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

,:

———BASED_ON;

———END_SUBTYPE_CONSTRAINT;

———EXTENSIBLE;

———GENERIC_ENTITY;

———RENAMED;

———SUBTYPE_CONSTRAINT;

———TOTAL_OVER;

———WITH。

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

EXPRESS,。,

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

。

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

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

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

I、J、