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

ICS2504040

CCSN.10.

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

GB/T1665614—2023/ISO10303-142005

.:

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

表達(dá)與交換第14部分描述方法

::

EXPRESS-X語言參考手冊

Industrialautomationsystemsandintegration—Productdatarepresentationand

exchane—Part14DescritionmethodsTheEXPRESS-Xlanuaereference

g:p:gg

manual

ISO10303-142005IDT

(:,)

2023-03-17發(fā)布2023-10-01實(shí)施

國家市場監(jiān)督管理總局發(fā)布

國家標(biāo)準(zhǔn)化管理委員會

GB/T1665614—2023/ISO10303-142005

.:

目次

前言

…………………………Ⅲ

引言

…………………………Ⅴ

范圍

1………………………1

規(guī)范性引用文件

2…………………………1

術(shù)語和定義

3………………1

中定義的術(shù)語

3.1GB/T16656.1—2008………………1

中定義的術(shù)語

3.2GB/T16656.11—2010……………2

其他術(shù)語和定義

3.3……………………2

基本原則

4…………………3

概述

4.1…………………3

執(zhí)行模型的基本原則

4.2………………4

實(shí)施環(huán)境

4.3……………6

一致性要求

5………………7

的一致性類

5.1EXPRESS-X…………7

語言的規(guī)范語法

6…………………………8

基本語言元素

7……………9

概述

7.1…………………9

保留詞

7.2………………9

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

8…………………9

概述

8.1…………………9

視圖數(shù)據(jù)類型

8.2………………………9

聲明

9………………………10

概述

9.1…………………10

綁定

9.2…………………10

視圖聲明

9.3……………14

映射聲明

9.4……………19

模式視圖聲明

9.5………………………29

模式映射聲明

9.6………………………29

局部聲明

9.7……………30

常量聲明

9.8……………31

函數(shù)聲明

9.9……………31

過程聲明

9.10…………………………31

規(guī)則聲明

9.11…………………………31

表達(dá)式

10…………………31

Ⅰ

GB/T1665614—2023/ISO10303-142005

.:

概述

10.1………………31

視圖調(diào)用

10.2…………………………32

映射調(diào)用

10.3…………………………34

部分綁定調(diào)用

10.4……………………37

表達(dá)式

10.5FOR………………………38

表達(dá)式

10.6IF…………………………40

表達(dá)式

10.7CASE……………………40

正向路徑操作符

10.8…………………41

反向路徑操作符

10.9…………………42

內(nèi)置函數(shù)

11………………44

常規(guī)函數(shù)

11.1EXTENT-………………44

范圍和可見性

12…………………………44

概述

12.1………………44

模式視圖

12.2…………………………45

模式映射

12.3…………………………45

視圖和從屬視圖

12.4…………………45

視圖分區(qū)標(biāo)簽

12.5……………………46

視圖屬性標(biāo)識符

12.6…………………46

表達(dá)式

12.7FOR………………………46

映射和從屬映射

12.8…………………46

語言元素

12.9FROM…………………46

實(shí)例化循環(huán)

12.10………………………46

路徑表達(dá)式

12.11………………………47

接口規(guī)范

13………………47

概述

13.1………………47

語言元素

13.2REFERENCE…………47

附錄規(guī)范性信息對象識別

A()…………49

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

B()EXPRESS-X……………50

附錄規(guī)范性到的轉(zhuǎn)換算法

C()EXPRESS-XEXPRESS……………63

附錄資料性實(shí)施注意事項(xiàng)

D()…………65

附錄資料性路徑操作符函數(shù)

E()unnest……………66

附錄資料性映射表語義

F()……………67

參考文獻(xiàn)

……………………73

Ⅱ

GB/T1665614—2023/ISO10303-142005

.:

前言

本文件按照標(biāo)準(zhǔn)化工作導(dǎo)則第部分標(biāo)準(zhǔn)化文件的結(jié)構(gòu)和起草規(guī)則的規(guī)定

GB/T1.1—2020《1:》

起草

。

本文件是的第部分工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交

GB/T1665614。GB/T16656《

換已經(jīng)發(fā)布了以下部分

》:

第部分概述與基本原理

———1:;

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

———11::EXPRESS;

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

———14::EXPRESS-X;

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

———21::;

第部分實(shí)現(xiàn)方法模式和數(shù)據(jù)的表達(dá)使用模式

———28::EXPRESSXML(XML);

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

———31::;

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

———32::;

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

———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::;

第部分集成通用資源數(shù)學(xué)表達(dá)

———51::;

第部分集成通用資源分類和集合論

———54::;

第部分集成通用資源過程與混合表達(dá)

———55::;

第部分集成通用資源狀態(tài)

———56::;

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

———101::;

第部分符合一致性規(guī)范的視圖交換協(xié)議

———102:GB/T16656;

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

———105::;

第部分應(yīng)用協(xié)議計(jì)算機(jī)數(shù)值控制器用的應(yīng)用解釋模型

———238::;

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

———501::;

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

———502::;

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

———503::;

第部分應(yīng)用解釋構(gòu)造繪圖注釋

———504::;

第部分應(yīng)用解釋構(gòu)造圖樣結(jié)構(gòu)與管理

———505::;

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

———506::;

第部分應(yīng)用解釋構(gòu)造幾何有界曲面

———507::;

第部分應(yīng)用解釋構(gòu)造非流形曲面

———508::;

第部分應(yīng)用解釋構(gòu)造流形曲面

———509::;

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

———513::;

Ⅲ

GB/T1665614—2023/ISO10303-142005

.:

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

———520::;

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

———1001::;

第部分應(yīng)用模塊曲線外觀

———1003::;

第部分應(yīng)用模塊顏色

———1002::

第部分應(yīng)用模塊基本幾何形狀

———1004::

第部分應(yīng)用模塊基本拓?fù)?/p>

———1005::

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

———1006::;

第部分應(yīng)用模塊通用曲面外觀

———1007::;

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

———1008::;

第部分應(yīng)用模塊形狀外觀和層

———1009::。

本文件等同采用工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第部分

ISO10303-14:2005《14:

描述方法語言參考手冊

:EXPRESS-X》。

本文件做了下列最小限度的編輯性改動

:

刪去了在正文沒有引用的規(guī)范性引用文件

———。

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

。。

本文件由中國機(jī)械工業(yè)聯(lián)合會提出

。

本文件由全國自動化系統(tǒng)與集成標(biāo)準(zhǔn)化技術(shù)委員會歸口

(SAC/TC159)。

本文件主要起草單位浙江大學(xué)中國標(biāo)準(zhǔn)化研究院杭州新迪數(shù)字工程系統(tǒng)有限公司杭州愛科科

:、、、

技股份有限公司佛山慧谷科技股份有限公司北京知元?jiǎng)?chuàng)通信息技術(shù)有限公司寧波智訊聯(lián)科科技有

、、、

限公司上海美嘉林軟件科技股份有限公司

、。

本文件主要起草人顧復(fù)王志強(qiáng)洪巖邱建平顧新建代風(fēng)鄭范瑛方云科紀(jì)楊建陳鳳華

:、、、、、、、、、、

彭維陳芨熙方萃浩金勇華劉守華楊青海岳高峰徐凱程高亮尹書蕊

、、、、、、、、、。

Ⅳ

GB/T1665614—2023/ISO10303-142005

.:

引言

是用于計(jì)算機(jī)解釋性表示和交換產(chǎn)品數(shù)據(jù)的國家標(biāo)準(zhǔn)其目的是提供一種獨(dú)立于任

GB/T16656,

何特定系統(tǒng)的中性機(jī)制描述產(chǎn)品整個(gè)生命周期中的產(chǎn)品數(shù)據(jù)該機(jī)制不僅適用于中性文件交換而且

,。,

適合作為實(shí)現(xiàn)和共享產(chǎn)品數(shù)據(jù)庫以及歸檔的基礎(chǔ)

。

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

GB/T16656《》,

分單獨(dú)出版工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換由以下系列組成

。GB/T16656《》:

第至第部分描述方法

———119;

第至第部分實(shí)現(xiàn)方法

———2029;

第至第部分一致性測試方法與框架

———3039;

第至第部分集成通用資源

———4059;

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

———100199;

第至第部分應(yīng)用協(xié)議

———200299;

第至第部分抽象測試套件

———300399;

第至第部分應(yīng)用模塊

———400499;

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

———500599;

第至第部分應(yīng)用模塊

———10001999。

本文件屬于的描述方法系列

GB/T16656。

假定使用本文件的讀者熟悉中定義的數(shù)據(jù)規(guī)范語言和中定義的純文

ISO10303-11ISO10303-21

本編碼規(guī)范

。

Ⅴ

GB/T1665614—2023/ISO10303-142005

.:

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

表達(dá)與交換第14部分描述方法

::

EXPRESS-X語言參考手冊

1范圍

本文件規(guī)范了用于指定由模式描述的數(shù)據(jù)間關(guān)系的一種語言以及用于規(guī)定由

EXPRESS,EX-

模式描述的數(shù)據(jù)的可替換視圖該語言稱為

PRESS。EXPRESS-X。

是一種結(jié)構(gòu)化數(shù)據(jù)映射語言它由無二義性地規(guī)范模式之間關(guān)系的語言

EXPRESS-X。EXPRESS

元素組成

。

以下內(nèi)容在本文件范圍內(nèi)

:

從一個(gè)模式描述的數(shù)據(jù)向另一個(gè)模式描述的數(shù)據(jù)的映射

———EXPRESS