标准《GB/T 16656.11-1996 工业自动化系统与集成 产品数据表达和交换 第11部分:描述方法:EXPRESS语言参考手册》中涉及到的是对EXPRESS语言的描述方法和规范性说明。该标准主要关注的是数据模型表达的方法和语言规则,而非具体的产品检测或检测方法。以下是根据标准内容可能涉及的回答方向:
根据标准的要求,用于EXPRESS语言描述方法的检测通常包括以下方法:
EXPRESS语言是一种数据建模语言,广泛应用于工业自动化、产品设计、数据管理等领域,涉及到用于数据表达和交换的广泛产品:
总结起来,《GB/T 16656.11-1996》主要针对的是EXPRESS语言的描述方法这一语言层面的技术规范,具体的检测项目和方法需要结合实际应用平台和软件工具进行扩展和开发。
标准名:工业自动化系统与集成 产品数据表达和交换 第11部分:描述方法:EXPRESS语言参考手册
标准号:GB/T 16656.11-1996
标准类别:国家标准(GB)
发布日期:1996-01-02
实施日期:1997-07-01
标准状态:现行
GB/T16656.11规定了一种可用于描述产品数据特性的语言。这种语言称作EXPRESS语言,它是一种数据规范语言,由用于一种无歧义对象定义的语言素和对定义对象限制的规范所组成。本标准适用于对产品数据表达和交换的描述方法的规定,即使用本语言对STEP系列标准中的模式、实体、约束条件及属性进行描述。它的范围包括数据类型以及对数据类型引例的限制。它不能用于程序编制。它不能用于规定数据库格式、文件格式和转换格式的定义;它也不能用于过程控制,信息处理和异常处理。GB/T16656.11-1996工业自动化系统与集成产品数据表达和交换第11部分:描述方法:EXPRESS语言参考手册GB/T16656.11-1996
ICS 35. 060
中华人民共和国国家标准
GB/T16656.11—1996
工业自动化系统与集成
产品数据表达
和交换第11部分:描述方法:
EXPRESS语言参考手册
Industrial automation systems and integration-Product Data Representation and Exchange(STEP)
Part 11:Descriptive methods :The EXPRESS language reference manual1996-12-17 发布
1997-07-01实施
国家技术监督局发布
GB/T 16656.111996
主题内容与适用范围
引用标准
一致性要求
基本原理
语言规范语法
基本语言元素
数据类型·
说明·
作用域和可见度
接口规范
表达式
可执行语句
内部常数
内部函数
内部过程
附录 A
FXPRFSS语谐法(参考件)
附录B对子类型/超类型图的实体示例定义(参考件)...由接寸规范所加的引例限制(参考件)附录
附录DEXPRESS-G.EXPRESS语言的图形子集(考件)协议实现的一致性语句参号件)....附录E
附录F说明EXPRESS-G图的EXPRESS模型示例(参考件):20
中华人民共和国国家标准
工业自动化系统与集成产品数据表达和交换第11部分:描述方法:
EXPRESS语音参考手册
Industrial autamation systems and integrationProducl Data Represenlation and Exchange-(STEP)
Part 11 Descriptive methods :The EXPRESS language reference manualGB/T16656.11—1996
本标准等效采用1S0DIS10303一11:1994工业自动化系统与集成一产品数据表达和交换一第11部分:描述方法:EXPRESS语言参考手册》。1主题内容与适用范
1.1主题内容
本标准是在工业自动化系统与集成一产品数据表达和交换》总标题下系列标准GB/T16656之GB/T16656规定了产品信息的表示以及所需的机与定义,以便在与产品设计、制造和其他座用相关的不同计算机系统或环境间进行数据交换。GB/T16656尽一个系列标准、它由综述和基本原理、产品描述方法,集成通用资源、渠成应用资源应用协议,实现方法以及-致性测试和框架七·个类别组成。EXPRESS语言参考手册是产品描述方法类中的一个标推。
GB/T16656.11规定了一种可用于描述产品数据特性的语言。这种语言称作EXPRESS语言,它是一种数据规范语言,由用于一种无歧义对象定义的语言元素和对定义对象限制的规范所组成。1.2适用范围
本标准适用于对产品数据表达和交换的摘述方法的规定,即使用本语对STEP系列标准中的模式,实体、约束条件及属性进行描述。它的范围包括数据类型以及对数据类型引例的限制。它不能用于程序编制;
它不能用下规定数据库格式,文件式和转换格式的定义+它也不能用于过程控制,信息处理和异常处理。2引用标准
GB13000.1一93信息技术通用多八位编码字符集(VCS)第一部分:体系结构与基本多文种平面IS010303一1工业自动化系统与集成产品数据表达和交换概述和基本原理国家技术监善局 1 996-12-17 批准1997-07-01实施
3术语
GB/T 16656. 111996
3.1复合实体数据类型complexcntitydata tyac在特是的于类型/超类型图巾所诈可的实体数据类型组合。3.2复合实体引例complex entity inetance复合实体数据类型的引例。
3.3常数consian
来自一·个不能被修改的特定域的命名值.3.4数据类型data type
引例的范围。
3.5实体enitity
具右归间性质的一类对象。
3.6实体引例entity itasla
对象的表示+这种表示其有与特定实体数据类型的公共性质相连的值。实体引例分为两类:简单实体引例和复合实体引例。
3.7引例instance
对象的表示。
3.8 对象 object
在现实世界中存在的概念或物理事物。3. 9局部复合实体数据类型patlial complcx entity data type在可构成部分复合实体数据类型的了类型/超类型图内的组实体数据类型。3.10局部复合实体数据引例parrial complexentitydata instance局部复合实体数据类型的引例。它本身无意义,它与其它弱部复合实体引例一起构成复合实体引例。3.11总体population
引例的集合。
3.12性质eroperty
用属性或限制表示的现实世界待征。3.13简单实体引例sinpleentityinstar简单实体数据类型的引例。
3.14子类/超类图ubtype/supertypegraph巴说明的实体数据类型集合,在子类型/超类型图中被说明的实体,数据类型通过了类型评句相关。-个子类型/超类型图定义一个或个复合实体数据类型。3.15 记号 token
语言的不可分解的词法元素。
4一致性要求
4.1用EXPRESS语音书写的形式规范4. 1. 1词法语言
按EXPRESS语言书写的形式规范应与下述规定的所给定的检查层次相一致,支特某个给定层次的用EXPRESS语吉写的形式规范也应当支持低下该层次的所有层次。4.1.1. 1检查的层次
第一层(Level 1):引用检查。该层检查形式现范的组成应叮确保形式规范能用附求A中已护展的FXPRESS语言的基本语法规则(模式说明)生:成,它提供了一个全面的语法检查-或缺省为一个全面的2
引用检查。
CB/E 16656. 11—1996
第二层(Level2):类型检查。该层检查形式规范的组成应可标识出那些在表达式中类型兼容(见第12.12节)和赋值兼容(见第13.3条)无效的地方第三层(Level3):值检查。该层检查形式规范的组成应可标识出值可被求解的地方,即从第7章到第1章中所规是的*A应大于B'这种语句不致的那些地方。第四层(I.evel4):全面检查。该层中检查形式规范的组成应可标识出那些满足致性规范(在本标推规定!的语句未被填满的地方。例:
本标准规定,当一个函数被调用时,在每·-个可取的路径上应规定--·个返回语旬。这种规定就应当得到检查。
4.1.2图的形
用EXPRESSG图书写的形式规范应与下面规定的给定检查层次相-·致,支持给定层次的用EXPRESS-G图写的形式规范也应当支持低于该层次的所有层次。4.1.2.1检查的层次
第一层(Level1):符号检查。该层检查形式规范的组成应可标识出那些与在附录T和附录D4中分别规定的实体层或模式层规范不致的地方,它也包括对形式规范中使用附录1D2、附录T>3和附录D4中规定符号的检查。
第二层(Level2):全面检查。该层检脊形式规范的组成应可标识出那华与在附录D中定义的完整实体或完整模式层规范和在第7章到第16章中所定义的要求不一致的地方。4.2EXPRESS语言的实现方法
4.2.11XPRESS语言的分析/检验程序EXPRESS语言语法分析程序的实现方法应能对用EXPRESS语言写的并与附录E中为该实现方法所说明的限制相一致。如果EXPRESS语言语法分析程序可按给定层饮(包括比该层次低的任衍次)要求对用FXPRESS语言写的形式规范实行所有检查,则可以认为该分析程序与这个特定的检查层(在4.1.1.1条中所定义的)是一致的。EXPRESS语言语法分析程序的实现方法应对标识符长度、处理数的范围和实数的最高精度的限制作出规定。为一致性测试的目的,这些限制应接附录正规楚的格式编制成文件。4.2.2图形编辑T具
EXFRFSS-G编辑工具的实现方法成能生成用EXPRESS-G表示的形式规范,该形式规范应与在附录E中为该实现方法所规定的限制相一致。如果FXPRESS-G编辑工具所生成的图能与在使用录D2附录D4中规定的效号所生成威的实体层图或模式层图相效,则可以认为EXPRESSG编辑工其与符号层(如第4.2.2.1条所定义的)是一致的。
如果FXPRESS-G编辑工具所尘成的图能与使用在附录D2~附录ID4中规定的符号所生成的完整实体层图戴完整模式层图一致,且按附录D7中规定要求实现检查,则可以认为EXPRESS-G编工具与全面检查层(如第4.1.2.1条所定义的)是一致的。EXPRESS-G编辑工具的实现方法应对数、标识符长度、每页模型的对象数和最大页数的限制作出规定。为一致性测试的目的,这些限制应接附录E规定的格式编制成文件。5基本原理
本标准是以下述概念为前题的。用EXIRESS语言写的模式描述建立一个域的一组条件。为确定数据引例是否在该域内,可求解数据引例。如果这些数据引例满足所有条件,则可以认定这些数据引例是在该域中。如果这些引例不能满3
GB/T 16656.11—1996
足任何条件,则这些数据引例尼违背这些条件的,且因此是不在这个域中。如果数据引例没有包含可选属性的值,而一些条件与那些可选属性有关,这时就可能不能确定这些数据引例尼否满足所有条件,在这种情况下,这些数据引例是被看作在域中。在EXPRESS语言中的实数据类型规范描述一个域,该域中的单个成员由唯一的相关标识符区分开。EXPRESS语言不规定这些标符的内容和表示。EXPRESS语言的许多元素赋值有名字,这些名学使其它语言元素能引用这些相关的表示。在其它语言元素定义中的名字使用构成了对下划线表示(underlying representalian)的引用。当该语言的语法对该名字使用一个标识符时,为理解这种结构,应对这种下划线表示进行解释。EXPRESS语言不描述实现方法的坏境,特别是EXPRESS不规定下述事项:·对名字的引用是如何解决的;·其它模式是如何知道的;
·限制是在何时或如何检查的
·不管与EXFRESS模式不一致的引例是否充许在实现方法中存在。6语言规范语法
用来表示EXPRESS语言语法的表示法在本章定义。EXPRESS语言中的所有语法在附录A中给出。为说明各种语句的语法,这些语法规则的各部分将在以后各章节中分别阐述。各个章节中的述不总是完整的,因此有时对所缺少的规则部分要参阅附录A。在本标准中语法部分的条规则郝有一个唯一的号排在每个规则的左侧,以便于其它语法规则的交受引用。
6.1语法规范
ExPREsS语言语法是接沃思语法表示法(WirthSyntaxNatation)方案定义的。本标准中定义的表示法约定和沃思语法表示法给出如下:语法一{产生式}.
产生式一标识符”一”表达式”表达一项(项}.
项=因子(因子).
国子一标识符文学|组|选项|重复文字=1\字符(字符)\,)
组一*(表达式*)*.
选项=[表达式\”.
重复=’{\表达式\}
等号”一表示一个产生式,左达的元素定义为右边元案的结合。除了出现在文字内的空格外,任何出现在产生式元素间的空铬都是无意义的,一个产生式用一个句号,绪束。标识符的引例用来表示出现在另一个产生式左边的非繁结符号。标识符引例由字母、数字和下划线宇符组成。语言的关键学中只用大写字符给出的标现符的产生式表示。词文字用来表示不能再扩展的结符号,文字是括在撤号中的状态独立的字符序列。在这种情况下,学符表示由 GB 13000.1在 00组 00平面00行中的21-7F位所定义的任何一个字符。出现在文字中的微号应当驾两款。客种括号的语文是艾如下:花括号\表示零次或多饮重复
厅括号表示可选参数:
圆括号()*表示由括号括起米的产生式组作为单个产生式使用:竖线\表示逻辑异或。
串类型语法如下:
语法:
GB/T 16656. 11--1996
286字符串类型-STRING['(宽度)[FIXED]306宽度一数值表达式,
完整的语法定义(见附录A)包括对串、数值表达式和域的定义。按上面给定的语法,下面的替换是允许的
gtring
string(22)
string(19)fixed
6.2专用学符说明
下面的说明用来表示整个字符集和显示较困难的专用字符:1a表示GB13000.1中的00组,00平面,00行、21-7E位中的字符n表示一个新行(系统相关的)(见第7.1.5.2条)q引号(搬号)(\)学符,并且包括在符号a内:s空格字符:
表示在GB13000.1中00组、00平面、00行、00~1F位中的字符。7基本语言元素
本章规楚构成 EXPRESS 模式的基本元素,字符集、注解、符号、保留字标识符和文字。本语法定义引自EXPRESS语言语法(见附录A),该语法的表示方法在第六章定义。基本语言元素由一系列正文构成,一般为几个物理行。每个物理行由新行结束的任意个(也可以是零个)字符组成(见第7.1.5.2条)。下面两个例子是等效的。例:
entity point+x+y,&:real send entity:例
ENTITY point.
Z:REAL:
END ENTITY:
7.1字符集
用EXPRESS语言书写的模式只使用由下述选择的GB13000.1子集定义的字符,00组,00平面00行的00-7F位。这个选择的GB13000.1子集的可打印字符的组合形成EXPRESS语言的记号,这些记号包括关键字、标识符、符号或文字。注:本章只涉及用于规定FXPRESS模式的学符,而不规定在串数据类型内所允许的字符域。7.1.1数字
语法:
118 数学--*0′|*1′|2*|'3|4*{\5*|*6\|*7\*8*|*9*EXPRESS语言使用阿拉伯数字0~9(FXPRESS字符集的第30~39位)。7.1.2学盘
语法:
122字母-*a*[b'['e*['d'{'@*{'['g\{'h'[i{j\}'k'{'{{'m''n'['o*{'p*{'q\'*5
GB/T 16656.11—1996
*+'i't'I'u'+'v* +w''x'I'y'['z'EXPRESS语言使用英文字母串表中的人写和小写字母(EXPRESS字符集第415A和61~7A位),只在显示申文字内字母的人小写才有不同的总义。注:EKPRESS语育可用人写、小写或浪合字母书写。7.1.3下划线
下划线(.,EXPRESS字符集的第5F位)可用在标识符和关键字中,但它不能作为第一个字符使用。
7. 1. 4 专用字符
语法:
132专用字符=非括号、星号、[号字符!*,('{)!*,12G 非括号,星号,引号字符=\>@#*$’%[A*&’’1’+’’= (~,*,*+,?
专用字符主要用来作为标点符和操作符。某些专用字符不作为语言的一部分使用,它们可以用在注解和显式事文字中。这些专用字符是EXPRESS字符集的第21~2F。3A ~3F、40、5B-5E、60 和 7B~~7E 位7. 1. 5 空凹
空白一般用米分隔记号,丑常用于改善结构,使得所马语言易读,即缩排说明或留出空行。7.1. 5. 1空格符
在两个记号之间或在一个显式串文宁中可以出现一个或多个空格符(EXPRESS字符集的第20位)。在语言的语法中,s表示空格符。7. 1. 5. 2 新行
新行在用EXPRESS书写的形式规范中表示-行的物理结束。新行在正带情况下作为空格处理,只有当它终结-个尾部注解或者异常地终结一个中文字时,它才有实际意义。在语言的语法中,新行用n表示。新行的表示是实现方法定义的。注:新行表示可是下述学符之::专用宁符、宁符组合、伪字符或信号。7. 1. 5. 3其它字符
在第7.1.1节和7.1.6.2条中没有定义的字符(这些字符是EXFRESS字符集的第00-1F和7F位)除非是在品式审文字中出现的,否则将作为空白处理,本语言语法规定,用心表示具它字符。7. 1. 6 注解
注解用编制文件,只有作空用时才有意义。注解有两种形式,可以放在两个记号之间的是嵌入注解。尾部注解出现在一个物理行结束处,且与行的终结符等效。7.1. 6.1嵌入式注解
字符对(*标明一个嵌入式注解的开始+而学符对#)标明它的结束。嵌人式注解可出现在任何两个记号之间。
语法:
140嵌入式注解一(*(非左括号星号左括号非星号|星号非存括号|嵌入式注解))124 非左括号星号=作括号显号[)”125非括号民号=册数字|非括号星号专用、127非括号星号专用=非括号星号引号专用!,,126 非括号岸号号专用—*!@*#*$*%*}—**+**=**[~*+?+*+++'?++,', '*?**+*++
GB/T 16656.11—1996
118 数学-70'|1’|2*’3'*4′[*5′|6′|*7.78*['9′123左括号非星号-*(非星号
130非星号=非括号量号:()
133星号非右号=,*,(
129非有括号一非括号星号*)(FXPRESS 语言选抒子集中的任何符可出现在虽号和包括新字符在内的嵌入式注解之间,因此嵌人式注解可以凸多个物理行。嵌入式注解可以嵌套。
例:下面为嵌套的嵌入式注解的例子。(* The'(*'gybol staris a rcmark and the'*)'synbol end it *)注:联套式注解时要注意确保符号的配对。7.1.6.2部注解
语法:
142 尾部注解=--\[)a)s /o]n.尾部注解必须写在一个物理行未尾,个尾部注解用两个连续的短横连字符(--)开始,以一个新行结束。
--this is H reniark thae end with a newline7.2符号
符号是在EXPRESS语言中有专门意义的字符或字符组,EXPRESS 谱言中使用的符号作为分隔符或操作符。分隔符用来分隔相邻的语法元素,否则词法元素的解释成为不可能+操作符则完成与操作符有关的运算项的运算。第 12 章将对操作符进行全面的阐述。表 1中列出了EXPRESS 的符号。表 1 EXPRESS 符号
7.3保留字
EXPRESS的保留字是关键字和内部常数、丽数和过程的名字。保留字不能用作标识符。7.3.1关键字
EXPRES$的关键字见.表2.
ABSTRACT
BUOLEAN
CONTFXT
FND ALIAS
ENDENTITY
FND MO[EI
END SCHEMA
ESCAPE
FUNCTION
INYERSE
OPTIONAL
GB/T 16656.11-1996
EXPRESS 关键字
AGGREGATE
DERIVE
ENI CASE
END FUNCTION
END PROCEDURE
ENDIYPE
GENERIC
NLIMLER
OTHERWISE
REFERENCE
SCHEMA
STRING
END CONSTANT
END IF
ENDREPEAT
ENTITY
PRCEDURE
REPEAT
SELECT
SUBTYPE
注,{关键字的表示文宁的人写产生式使语法产生式的阅该变得容易,ARRAY
BINARY
CONSTANT
ENDCONTEXT
FNT LOCAI.
END RULF
FNUMERATIUN
INTEGER
IXOGICAL
RETURN
SUPERTYPE
ENIQCE
关键字CONTFXT、ENCONTEXT.EN1)MOTF!.和MUDEL保解为本标准以石使用。7.3.2作为操作符的保留字
表3中给出了出保留字定义的操作符表3EXPRESS操作符保留宁
7.3.3内部常数
表1中给山了内部常数名,这些常数的定义见第14章DIV
表4EXPRFSS内部常数保留字
内部函数
CONST_F
UNDNUWN
表5中给出了内部函数的名字,这些函数的完整定义见第15章。8
BLENOTH
FORMAT
LOROUND
LOINDEX
TYPEOF
7. 3. 5内部过程
GB/T 16656.11 -1996
表5EXPRESS函数名保留字
HIEOUND
SIZEOF
EXISTS
HINDEX
表6中给出了内部过程名,这些内部过程的完整定义见第16章。表6EXPRESS过程名保留字
INSERT
7.4标识符:
语法:
138简单标识符一字母(字母|数字_18数字-023678
REMOVE
ROLESUF
标识符是在模式中给说明项(包括模式本身)定的名字,标识符不应与EXPRESS中的保留相同标识符的第一个字符必须是字母,其余的可以是字母、数字或下划线的组合,EXPRESS语言语法分析程序的实现应接附录E规定该实现方法所能读的标识符字符的最大个数。
7.5文字
语法:
231文字=二进制文字|整数文字|逻辑文字|实数文字|串文字文字是自定义的常数值,文字的类型取决于如何组合字符成为记号,文字类型可以足二进制型,整数型、实数型、串型或逻辑型。7.5. 1二进制文字
语法:
134二进制文宁=%位位}
117 位=*心*['1,
二进制文字表示二进制数据类型的值,由表示二选制文字的符号和其后限的一个或多个位(0或1)组减,
EXPRESS语音语法分析程序的实现应按附录E规定该实现方法所能读的二进制文字的最大位数。
例,有效的二进制文字:
%0101001100
7. 5. 2整数文字
整数文字表示一个整数数据类型的值,它由一个或多个数字组碱。语法:
136整数文字一数字,
119 数字=数字(数字)}
118 数字-*0*|1\|*2|*3*|*4|*5\|*6*7|*8|*9*9
CB/T16656.11—1996
FXPRESS语言语法分析程序的实现方法应按附录E规定该实现所能读的整数文字的最人整数例:有效的整数文学!
7.5.3实数文字
实数义字表示实数类型的值,它由一个数值部分和一个任选的指数部分组成,数值部分应包括所有小数点.
语法:
137实数文字=数字”·[数了e”符号工数字]115数字=数字(数字).
118 数字=*0′[11['2**3′24'['5′|'6'|'7*}\8*|'9”279符号=*→+[—
例,有效的实数文字:
1.E6“E”可以用大写,也可以用小写3. 5e-5
例:无效的实数文字,
.001、小数点前至少行个数字。1e10 小数点应是文字的一部分。1.e10空格不是实数文学的一部分。7.5.4串文字
事文字衣示串数据类型的值。串文字有两种类型:显式串义字和编码串文字。显式串文宁由引号(\)括起来的EXFRESS字符集中的字符系列组成(第7.1节),显式申文字内的引号用两个连续引号表示,编码串文字为用双引号(\)括起来的在GB13000.1中的四个八位位组编码表示的宁符序例中文字不应超越个物理行边界,即在括起来文字的引号之间不应出现新行。语法
285串文字一简单串文字|编码串文字139简单串文宁=g(g)|非引号//q128非引号=非号星号引号专用|字母|数字|(!*126非括号星号引号专用=*!**?#$\\%'\&+*,1*-*[*1*;→<=>'[?P@[pA-(
28数字478
135编码串文字益,月编码字符编码字符:\)120编码字符一八位位组八位位组八位位组八位位组、131 八位位组一六位数字六位数字,2!位数字=数字ab,\d.e
EXPRESS语言语法分析程序的实现应按附录E规定该实现方法所能读的显式文字最大字衍数。
EXPRESS宵语法分析程序的实现也应按附录E规定该实现方法所能读的编码串文字的最人8位位组数(它应是4的倍数)。
例:有效的显式串文字:
现行