1、GB ICS 25.040.40 L 67 国家标准和国主t/、中华人民GB/T 16656.11-2010/ISO 10303-11 :2004 代替GB/T16656.11-1996 工业自动化系统与集成产品数据表达与交换第11部分:描述方法:EXPRESS 语言参考手册Industrial automation systems and integration-Product data representation acd exchange-Part 11 : Description methods: The EXPRESS language reference manual CISO 1
2、0303-11: 2004 , IDT) 2011-05-01实施2010-12-01发布发布中华人民共和国国家质量监督检验检茂总局中国国家标准化管理委员会savHV霄，J号、如HVJ呵，而句、/use- eoe 。，/口沪毛dRdm dq何高-中华人民共和国国家标准工业自动化系统与集成产晶数据表达与交换第门部分:描述方法:EXPRESS 语言参考手册GB/T 16656. 11-2010/1S0 10303-11: 2004 9峙中国标准出版社出版发行北京复兴门外三里河北街16号邮政编码:100045网址电话:6852394668517548 中国标准出版社秦皇岛印刷厂印刷各地新华书店经销晤
3、开本880X12301/16 印张13.75字数417千字2011年6月第一版2011年6月第一次印刷9晤书号:155066 1-42416 定价122.00元如有印装差错由本社发行中心调换版权专有侵权必究举报电话:(010)68533533GB/T 16656.11-201 O/ISO 10303-11 : 2004 目次前言.v I 范围.12 规范性引用文件.3 术语和定义.3.1 GB/T 16656. 1中定义的术语 1 3.2 GB/T 13000. 1中定义的术语 2 3.3 其他术语和定义24 一致性要求.44.1 用EXPRESS表示的形式化描述44.2 EXPRESS的实现
4、45 基本原则56 语言描述语法56.1 语法说明.56.2 专用字符标记.67 基本语言元素.77. 1 字符集.77.2 保留宇.107.3 符号117.4 标识符.117.5 文字.128 数据类型.148. 1 简单数据类型.148. 2 聚合数据类型.168. 3 命名数据类型.208.4 构造数据类型.218. 5 广义数据类型.258. 6 数据类型使用分类.25 9 声明279.1 类型声明.27 9.2 实体声明289.3 模式.459.4 常量469.5 算法469.6 规则539. 7 子类约束.5510 范围和可见性.5810. 1 范围规则5910.2 可见性规则.四
5、GB/T 16656.11-201 O/ISO 10303-11 : 2004 OA结EURUEdnbooqunu句toonVAuquoonunu-119ndquqdEunbpO巧i勺t巧iQdQdnununununvnununu666666677788888999999999999999OAvonv00000000 唱ti叮EE41ti咱ti唱ti咱EA吨i吨ai唱EA唱Ei嘈Bi唱pi用作互相符型古即作类如臼u操据口N造数向接M川H构择dmn1脚旧旧rr问旷帕1卜朔毗也拘灿厄的明LZM如附附瞅酣瞰牛棚陌蝉辩时制卜嗣刷刷刷吵阳嗣阳忡伫挫凹如瞅瞅瞅瞅时mMm时时稣瓶斗脚押时明瞰黔黔妞拮忻捕归雕
6、蝉D协卜叫四鼓返班时叫叫可叫阳r叫叫mL相制酥酥酥接表012可01内内-i。，unJA吐1iqnJ4FbAU巧ioOQd1i1i1i1i。白quA哇RUb勺OOQd$1111iqLnJA吐Fhdnbitiqqu川口11112222222222222333333333333444.AUAHAh4.5丘FLLE-ti咱Ei唱EA咱EEA唱ti吨i唱EA咱aA咱i咽i啥EitA-ti叮EA-ti咽A噜Ei唱A咽-1ti1t41ti咽4唱i咱Ei咱BA-ti叮EEA唱EEA咽i咱i-ei1t41ti叮EAGB/T 16656.11-2010/ISO 10303-11:2004 -A1i1i1i149中
7、nJ444&A吐EURUEdFhdnbnbb巧iJ巧iQUQUAunv1i11i1i。nJ。Lphuoonv149RUAUFhdEUGd?onunvnunununununununvnunununu内ununu1iIA1i111i节i1i1iqJA哇A吐内。onbti-41i14唱BA-4141A1A1A-1-it-1114IT-A-1-4111i141A唱1111A-1-EAt-i1A14唱ITi-nL征特卜型法1lf AAIZ-在啊?、北b子川的形HH5言例l图l;阳语示录匍S制h到ups拍11法定限自限u模口m配削语确例R例个的R构分的的实X实单H刑qmM新部言化的E的.成配E言各f语例定
8、G定册生-2的语3阳HHHS实规tu规注式刊刊SM-mm体述m述象模u匹配muuhHHHHUHUUHHHHUHHUHHUR实描R描对个.阻荐Ro-MxMxF.-me-uuP口P口息多系叽佳M问卜叫广叫hMW二酬忡忏Lrru川吨山仇灿口hm接口接佳从关阻碍口门IoxxoHHnLLLLLNORsshTTUVV)录A段CEEFK数录录录录录录录录和和录附数酣数数数数数数数数数数数数数数数数数数数数数数函附附附附附附附附附附附性函制函函函画函函数函函函函函函函函函函函函函函函函性U-u性性性性性性性性性性性料酥立献叫献叫酥酥咽酥酥酥酥酥姐酥叫财射酥酥叫川酥耕牛时机附喇喇喇喇喇喇喇喇喇喇喇叫h01234
9、567890123456789内ABCDEFGHIJKN文JJJJJJJJJJJJJJJJJJJJJJJi-JJ录录录录录录录录录录录录考MMHMM白白日白日白Hmr臼巳日umm白白白HHHMMM附附附附附附附附附附附附参而皿GB/T 16656.11一2010/18010303-11:2004前言GB/T 16656(工业自动化系统与集成产品数据表达与交换是一个由多个部分组成的标准，各部分单独出版。GB/T16656的所属各部分又组成多个子系列，即:一一第1至第19部分规定了描述方法;一一第20至第29部分规定了实现方法;一一第30至第39部分规定了一致性测试方法与框架;一一第40至第59部
10、分规定了集成通用资源;一一第100至第199部分规定了集成应用资源;一一第200至第299部分规定了应用协议;一一第300至第399部分规定了抽象测试套件;一一第400至第499部分规定了应用模块;一一第500至第599部分规定了应用解释构造;第1000至第1999部分规定了应用模块。GB/T 16656(工业自动化系统与集成:产品数据表达与交换现已发布了以下26个部分z一一第1部分:概述与基本原理;一一第11部分z描述方法:EXPRESS语言参考手册;一一第21部分:实现方法z交换结构的纯正文编码;一一第31部分:一致性测试方法与框架:基本概念;一一第32部分:一致性测试方法与框架z测试实验
11、室与客户的要求;一一第34部分:一致性测试方法与框架:应用协议实现的抽象测试方法;一一第41部分:集成通用资源:产品描述和支持原理;一一第42部分:集成通用资源:几何与拓扑表达;一一第43部分:集成通用资源:表达结构;一一第44部分:集成通用资源:产品结构配置;一一第45部分:集成通用资源:物料;一一第46部分:集成通用资源:可视化显示;一一第47部分:集成通用资源:形变公差;一一第49部分:集成通用资源z工艺结构与特性;一一第101部分:集成应用资源:绘图;第105部分z集成应用资源:运动学F一一第201部分:应用协议:显式绘图;一一第202部分:应用协议:相关绘图;一一第203部分:应用协
12、议:配置控制设计;一一第501部分:应用解释构造:基于边的线框;一一第502部分z应用解释构造:基于壳的线框;一一第503部分:应用解释构造:几何边界的二维线框;一一第513部分:应用解释构造:基本边界表达;一一第520部分z应用解释构造:相关绘图元素;一一第1001部分:应用模块:外观赋值;V GB/T 16656.11-2010/ISO 10303-11 :2004 一一第1006部分:应用模块:基础表达。本部分为GB/T16656的第11部分。本部分等同采用国际标准ISO10303-11: 2004 (工业自动化与集成产品数据表达与交换第11部分:描述方法:EXPRESS语言参考手册)(
13、英文版儿本部分代替GB/T16656. 11-1996(工业自动化和集成产品数据表达与交换第11部分:描述方法:EXPRESS语言参考于册。本部分与GB/T16656.11-1996相比主要变化如下:本部分规定了EXPRESS语言元素，每个语言元素在各自的上下文语境中用示例表示，先描述简单的元素，然后按照递增的方式描述更复杂的概念。本部分的修订是为了满足多模式规范的需求，新的概念构成了可扩展数据模型的体系架构，本部分的本次修订版本中增加了以下关键词:一一一BASED_ON;END_SUBTYPE_CONSTRAINT; EXTENSIBLE; 一一一GENERIC_ENTITY;一一-RENA
14、MED;一一-SUBTYPE_CONSTRAINT;一一-TOTAL_OVER;一一-WITH。若模式中将这些关键词作为EXPRESS标识符，则在本修订版本中该模式是无效的。此外，本修订版中修改的内容保持与上一个版本的向上兼容性。本部分的附录A、附录B、附录C、附录D、附录E、附录F和附录G均为规范性附录，附录H、附录I、附录J、附录K、附录NA均为资料性附录。VI 本部分由中国机械工业联合会提出。本部分由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。本部分主要起草单位:中国标准化研究院。本部分主要起草人:詹俊峰、李文武、刘守华、柳青。GB/T 16656.11-201 O/
15、ISO 10303-11: 2004 工业自动化系统与集成产品数据表达与交换第11部分:描述方法:EXPRESS 语言参考手册1 范围GB/T 16656的本部分规定了能够定义产品数据的一种语言。这种语言被称作EXPRESS。本部分还规定了EXPRLSS语言中资源构造子集的图形化表达，这种图形化表达被称作EXPRESS-G。在GB/T16656. 1中EXPRESS被定义为一种数据描述语言。它由各种语言元素构成，允许无二义性的数据定义，并对所定义数据的约束进行描述。本部分适用于:一一数据类型;一一数据类型实例的约束。本部分不适用于:一一数据库格式的定义;一一丈件格式的定义?一一传输格式的定义在
16、一一过程控制;一一倍息处理;一一异常处理。EXPRESS不是一种编程语言。2 规范性引用文件下列文件中的条款通过GB/T16656本部分的引用而成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注目期的引用文件，其最新版本适用于本部分。GB/T 16656. 1 工业自动化系统与集成产品数据表达与交换第1部分:概述与基本原理(GB/T 16656. 1-2010,ISO 10303-1 :1 994 ,IDT) GB/T 16262. 1-2006 信息技术抽象语法记
17、法一(ASN.1)第1部分:基本记法规范(lSO/IEC 8824-1: 2002 , IDT) GB 13000. 1 信息技术通用多八位编码字符集(UCS)第1部分:体系结构与基本多文种平面(GB 13000.1-1993 , idt ISO/IEC 10646-1:1993) 3 术语和定义3.1 GB/T 16656.1中定义的术语GB/T 16656. 1中确立下列术语和定义适用于本部分。一-Conformancerequirement一致性要求;一-Data数据;-GB/T 16656.11-2010/ISO 10303-11 :2004 一一Dataspecification l
18、anguage数据规范化语言;一一Information信息;一-Informationmodel信息模型;一-PICSproforma PICS问卷。3. 2 GB/T 13000. 1中定义的术语GB/T 13000. 1中确立的以及下列术语和定义适用于本部分。一-Graphiccharacter图形字符。注:该定义仅包括那些在GB/T13000. 1中已定义了可视化表达的字符，不包括任何空的或有交叉的字符单元。3.3 其他术语和定义下列术语和定义适用于本部分。3.3.1 复合实体数据类型complex entity data type 一种实体的表达，复合实体数据类型确定了一个值域，该值
19、域由公共属性和特定子类/超类图中实体数据类型的许可组合的约束定义。3.3.2 复合实体(数据类型)实啻tlcomplex entity (data type) instance 命名复合实体数据类型的值。一个复合实体实例的名称用于引用该实例。3.3.3 复合实体(数据类型)值complex entity (data type) value 表达复合实体数据类型定义类中的单个信息的数据单元。它是该复合实体数据类型所确立的域中的一个成员。3.3.4 常量constant 特定域中命名数据类型的值。该取值不能被修改。3.3.5 数据类型data type 值域。3.3.6 实体entity 由共同特
20、性定义的信息的类。3.3.7 实体数据类型entity data type 一个实体的表达。实体数据类型确定了由共同属性和约束定义的值域。3.3.8 实体(数据类型)实例entity (data type) instance 命名实体数据类型的值。一个实体实例的名称用于引用该实例。3.3.9 (单-)实体(数据类型)值(single) entity (data type) value 表达实体数据类型定义类中的单个信息的数据单元。它是该实体数据类型所确立的域中的一个成员。3.3.10 实例instance 命名数据类型的值。2 G/T 16656.11一2010/18010303-11:200
21、43.3. 11 多叶复合实体(数据类型)multi-Ieaf complex entity (data type) 由多个实体数据类型构成的一种复合实体数据类型，其中的各实体数据类型都没有细分子类。3.3. 12 多叶复合实体(数据类型)实例multi-Ieaf complex entity (data type) instance 命名的多叶复合实体数据类型的一个取值。一个多叶复合实体实例的名称用于引用该实例。3.3.13 多叶复合实体(数据类型)值multi-Ieaf complex entity (data type) value 表达多叶复合实体数据类型定义类中的单个信息的数据单元。
22、它是该多叶复合实体数据类型所确立的域中的一个成员。3.3.14 部分复合实体数据类型partial complex entity data type 一个实体的可能表达。一个部分复合实体数据类型是子类/超类图中的一组实体数据类型，这组实体数据类型可构成部分或全部复合实体数据类型。3.3.15 部分复合实体值partial complex entity value 部分复合实体数据类型的一个取值。它本身没有含义，必须与其他部分复合实体值和名称组合共同形成一个复合实体实例。3.3. 16 实例集population 实体数据类型实例的集。3.3.17 主模式primary schema 形成一个(
23、可能循环)有向图的一组相互关联模式中的一个。主模式是一种受关注的模式，在有向图中可以有一个或多个主模式，图中的其他模式仅用来支持主模式。在将一个短模式转换为长模式时主模式要发挥特定作用(见附录G)。3.3.18 根模式root schema 形成一个(可能循环)有向图的一组相互关联模式中的一个。根模式不是任何接口描述的对象，但其他所有模式都可通过根模式访问。根模式可被认为是有向图的代表。在将一个短模式转换为长模式时根模式要发挥特定作用(见附录G)。3.3.19 简单实体(数据类型)实例simple entity (data type) instance 表达实体定义的类中单个信息的一个已命名数
24、据单元。它是单一实体数据类型所确定的域中的一个成员。3.3.20 子类/超类图subtype/ supertype graph 一个被声明的实体数据类型集合。子类/超类图中声明的实体数据类型通过子类语句相互关联。子类/超类图定义了一个或多个复合实体数据类型。3.3.21 标记token 一种语言的不可分解的词汇元素。3.3.22 值value一个数据单元。3 -GB/T 16656.11-2010/ISO 10303-11 :2004 4 一致性要求4. 1 用EXPRESS表示的形式化描述4. 1. 1 词法语言EXPRESS的形式化描述应与以下规定的给定级别保持一致。当一个形式化描述针对某
25、一级别及其以下所有较低级别标识的所有检查都进行了验证后，则该形式化描述与该给定级别是一致的。检查级别:级别1:引用检查。该级别包括的检查是为了确保形式化描述的语法和引用是有效的。如果一个形式化描述符合由附录A给出的基本语法规则(语法)扩展生成的语法，则它的语法是有效的。如果一个形式化描述的EXPRESS项的所有引用与第10章和第11章规定的范围和可见性规则保持一致，则它的引用是有效的。级别2:类型检查。该级别包括的检查是为了确保形式化描述与下列各项保持一致:一一一表达式应符合第12章描述的规则;一一赋值应符合13.3描述的规则;一一反向属性声明应符合9.2. 1. 3的规则;一一属性重声明应符
26、合9.2.3.4的规则。级别3:值的检查。该级别包括的检查是为了确保形式化描述符合第7市第16章规定的类似A应大于B形式的语句。这项检查限于A和B都能根据字面和/或常数求解的情况。级别4:全面检查:该级别包括的检查是为了确保形式化描述符合本部分规定的所有要求。示例:本部分规定.当一个函数被调用时.在每个可能的处理路径中都应说明个返用语句，这种情况应当得到检查。4.1.2 图形形式采用EXPRESS-G表达的形式化描述应与以下规定的检查级别保持一致。当一个形式化描述对于一个给定的级别和所有较低级别所标识的所有检查都进行了验证时.则该形式化描述弓该给定检查级别相一致。检查级别:级别1:符号与泡围检
27、查。该级别包括的检查是为了确保形式化描述分别与附录D中D.5和D.6定义的实体级和模式级描述相一致，也包括对形式化描述使用的附录D中且2、D.3和D.4中定义的符号的检查。对形式化描述的检查还为了确保页引用和重说明属性分别与附录D中D.4.1和D.5. 5 的规定相一致。级别2:全面检查。该级别包括的检查是为了识别形式化描述中与附录D中定义的完整实体级或完整模式级说明不一致以及与第7章第16章规定的要求不一致的内容。4.2 EXPRESS的实现4. 2. 1 EXPRESS语言分析程序EXPRESS语言分析程序的实现应能分析检查任何采用EXPRESS语言编写的形式化描述是否与附录E中规定的与该
28、实现相关的约束相一致。如果一个EXPRESS语言分析程序能够对用EXPRESS编写的形式化描述进行特定级别(以及比该级别较低的所有级别)所要求的所有检查，则认为该EXPRESS语言分析程序与这个特定的检查级别(4.1. 1中定义的)相一致。EXPRESS语言分析程序的实现者应明确说明该实现对标识符的数量和长度、所处理数值的范围和实数值最大精度的约束条件，这些约束说明应按照附录E规定的格式记录下来，以便用于一致性测试。4.2.2 图形编辑工具EXPRESS-G编辑工具的实现应能创建和显示形式化描述的EXPRESS-G图，并与附录E中规定4 GB/T 16656.11一2010/18010303-
29、11:2004的与该实现有关的约束相一致。如果EXPRESS-G编辑工具所创建和显示的形式化描述的EXPRESSG图能与规定的检查级别(以及任何较低的级别)相一致，则认为该EXPRESS-G编辑工具与该特定检查级别是一致的。EXPRESS-G编辑工具的实现者应明确说明该实现对标识符的数量和长度、模型每页可用符号的数量和最大页数的约束条件，这些约束说明应按照附录E规定的格式记录下来，以便用于一致性测试。5 基本原则假定本部分的用户熟悉以下概念。用EXPRESS语言编写的模式(schema)描述了建立一个定义域(domain)的一组条件。可以对数据实例进行评价以确定它们是否在该定义域内。如果数据实
30、例能满足所有条件，则认为它们是在该定义域内。如果数据实例不能满足任何条件，则该数据实例违背了条件，就不在该定义域内。当数据实例不包含可选属性的值而有些条件包含了那些可选属性时，则不能确定数据实倒是否满足所有条件，此时认为该实例是在定义域内6EXPRESS 语言中的很多元素都赋有名称，该名称可允许其他语言元素引用相关联的表达，在其他语言元素的定义中使用这些名称就构成了对基础表达的引用。当语言的语法使用了名称的标识符时，为了理解这种结构，必须对基础表达进行检查。EXPRESS语言中实体数据类型描述r一个;主义域。i主义域中的单个成员被假定可用某些唯一的相关标识符区分开。EXPRFSS语言蜒定这且标
31、识符的内容或表达。常数实体实例的声明定义了实体数据类型描述的定义域中一个IiJ标识的成员。这些实体实例不能通过该定义域上的操作进行修改或删除。EXPRESS中约束的过程描述可以声明或IJI用附加的实体实例为局部变量，这些变量被假设为定义域内临时的可标识成员。这些过程描述可以修改附加的实体实例，但不能修改定义域内的永久成员。这些定义域内的临时成员只能在它们被声明的过程代码范围内访问电且代码结束后就不再存在。临时成员可能会违反唯一性约束、全局规则以攻局部规则.本部分没有定义当这些违反约束条件的实例数据作为实际参数传递给函数或过程时，这些函数或过程的处理方式。EXPRESS 语言没有描述实现环境，特
32、别是EXPRESS没有规定:一一如何解决名称的引用;一一一如何知道其他模式;一一一如何或何时检查约束条件:一一如果一个约束条件不能满足时实现应当做什么1一一在实现中是否允许存在不符合EXPRESS模式的实倒;一一在实现中是否、何时或如何创建、修改或删除实例。6 语言描述语法本章规定了EXPRESS语言的语法表示标记法。附录A给出了EXPRESS语言的完整语法。为了说明具体语句的语法，部分语法规则在各章条中重新给出，这部分语法规则一般是不完整的，有时需要参考附录A查找缺失的语法规则。GB/T16656 本部分中的语法规则都用矩形方框给出，方框中的每条规则的左侧都有一个唯一的编号，用于语法规则之间
33、的相互引用。6. 1 语法说明EXPRESS语言的语法定义采用派生的沃思语法标记法(WSN)。注:见参考文献3J。5 GB/T 16656.11-201 O/ISO 10303-11 : 2004 以下给出标记的约定以及WSN自己的定义。syntax = production . production = identifier = expression , expression = term , l term . term = factor factor . factor = identifier 1 literal 1 group 1 option repetition. identifie
34、r - character character . literal = 1111 character character 1111 group = ( expression ) . option = expression 丁，repeti tion =气，expression . 一一等号=表示一个产生式。等号左边的元素被定义为等号右边元素的组合。除了在文字中出现的空格外，一个产生式的元素之间出现的任何空格都是无意义的。一个产生式用一个圆点气结束。一一要素中的标识符表示出现在另一个产生式左边的非终结符号，标识符由字母、数字和下划线组成。语言的关键字是用标识符仅由大写字母组成的产生式表示的。一一
35、文字一词表示不能进一步扩展的终结符号。文字是括在单引号中的独立的字符序列，其中的字符是GB13000. 1标准中第00组00面00行中的217E单元所定义的任何字符。当文字中出现单引号时必须写两次。一一各种括号的语义定义如下所示: 花括号表示零或多次重复; 方括号J表示可选参数; 圆括号()表示括号中的这组产生式应作为单一的产生式使用; 竖线1表示应实际选择表达式中的某一项。示例1:字符串类型的语法如下:语法:311 string_type= STRING width_spec. 341 width_spec= c width) , FIXED. 340 width= numeric_expr
36、ession. 完整的语法定义(附录A)包括对STRING、numeric_expression(数字表达式)和FIXED的定义。示例2:按照示例1给出的语法，可以进行以下替换:a) string b) string(22) c) string(19)fixed numenc_expresslOn的规则很复杂，可编写很多其他表达式。6.2 专用字符标记6 以下标记用于表示整个字符集和不易显示的专用字符:一-a表示GB13000.1标准中第00组00面00行217E单元中的字符;一-n表示换行(依赖于系统)(见7.1.5.2);一-q是单引号(撇号)()并包含在a中;一-s是空格字符;一一x9、
37、XA和XD分别表示GB13000.1标准中第00组00面00行中第9，10和13位中的字符。GB/T 16656.11-2010/ISO 10303-11 :2004 7 基本语言元素本章规定构成一个EXPRESS模式的基本元素:字符集、注释、符号、保留字、标识符和文字。基本语言元素由一系列正文组成，这些正文文字被划分为若干物理行。一个物理行有任意个(包括零个)字符，并由一个换行符(见7.1.5.2)结束。注:把一个模式的语句划分为若干行并插入一些空格符可构成不同的结构形式，以便于语句阅读。示例:下面的两种形式是等效的。entity point; x, y, z: real; end_enti
38、ty; ENTITY point; x , z : REAL; ENO_ENTITY; 7. 1 字符集EXPRESS模式只能选用下列字符集中的字符:GB 13000.1中09、OA、OD单元中的字符、207E范围内的图形字符以及表示换行的特殊字符n。这些宇符集合称作EXPRESS字符集，字符集中的字符通过标准中分配给该字符的单元来引用，单元号采用十六进制表示。字符集中的可打印字符(GB 13000. 1中的217E单元)共同构成了EXPRESS语言的标记，EXPRESS语言的标记包括关键字、标识符、符号和文字。EXPRESS字符集可进一步细分。上述字符集是一种抽象的字符集合，独立于其在实现中
39、的表达。注1:ISO/IEC 6429规定了IS/IEC10646中位于09、OA和00的字符语义，本部分没有对ISO/IEC6429中规定的语义进行要求，但也不排除它们。注2:本条仅涉及用来描述EXPRESS模式的字符，而不规定字符串数据类型中许可字符的定义域。7. 1. 1 数字EXPRESS使用阿拉伯数字o 9 (EXPRESS宇符集中3039单元的字符)。语法:124 digit= 0 11 2 1 3 l 4 1 5 1 6 1 7 1 8 1 9. 7. 1. 2 字母EXPRESS使用英文字母表中的大写和小写字母(EXPRESS字符集中的415A和617A单元的字符)。字母的大小
40、写仅在显式字符串文字中有意义。注:EXPRESS语言可用大写、小写或混合形式(见前面的示例)。语法:128 1etter= a 1 b 1 c l d 1 e 1 f 1 g 1 h 11 j 1 k 1 1 1 m 1 n 1 0 1 p 1 q 1 r 1 s 1 t 1 u 1 v 1 w 1 x 1 |FZF. 7. 1. 3 专用字符专用字符(非字母和数字的可打印字符)主要用作标点符号和操作符，这些专用字符是EXPRESS字符集中212F、3A3F、40、5B5E、60和7B7E单元的字符。语法:137 specia1 = not_paren_star_quote_specia11
41、( 1 ) 1 祷，I . 132 not paren_star_quote_specia1=! l川1# 1 $ 1 %1 &1+1 , 1 - 1 . 1 j 1: 1; 1 1 ? 1 I 1 1丁1-l - l, 1 l l 1 I二7 GB/T 16656.11-2010/ISO 10303-11 :2004 7.1.4 下划线下划线字符仁，EXP阻ss字符集中5F单元的字符)可用在标识符和关键字中，但不能作为首字符使用。7. 1. 5 空白以下各条和7.1.6对空白进行了定义。空白一般用于分隔EXPRESS模式中的标记。注:文字、常数中使用空白可改善模式的结构和可读性。7. 1.
42、5. 1 空格符在两个标记之间可出现一个或多个空格(EXPRESS字符集中单元20的宇符)，在EXPRESS语言的语法中s表示空格符。7. 1. 5.2 换行符在EXP阻ss形式化描述中换行符表示一个物理行的结束。正常情况下换行符作为空格处理，但当结束一个末尾注释或者异常结束一个字串文字时，它就具有了特定意义。在EXP阻ss语言语法中n表示换行符。换行符的表达是由具体实现确定的。7. 1. 5.3 其他字符单元09、OA和OD中的字符，除在显式宇串文字中外，都应被作为空白处理。EXPRESS语言语法中用xn来表达这些宇符，其中n表示9、A和D中的一个。7. 1. 6 注释注释用于编制文挡，EX
43、PRESS语言分析器应对把它解释为空白。有两种形式的注释，即嵌入式注释和末尾注释。两种形式的注释都与一个采用注释标记的标识结构关联。7. 1. 6.1 嵌入式注释字符对(提表示个嵌入式注释的开始，叫表坑真结束。嵌入式注释可以出现在任意两个标记之间。语法z145 embedded_remark= (铃，remark_tagJ (notparen_star not_paren_star ) 1 lparen_then_not_lparen_star i ( 头, 争夺1 ) I not_raparen_star _ t hen_rparen I em bedded_remark) ，开). 147 remark_tag= 1 remark_ref . remark_ref
