STEP语言-Express参考手册.pdf-资料库

EXPRESS 语言参考手册

目录 2.1.1 数字(digits) 2.1.2 字母(letter) 2.1.3 下划线 2.1.4 特殊字符 2.1.5 空字符 2.2.1 嵌入式注解 2.2.2 行尾注解 2.1 字符集 2.2 注解（Remark） 2.3 符号 2.4 保留字 2.5 标识符 2.6 常数第 1 章概述错误! 未找到索引项。 1.1 基本概念 1.2 语法格式 1.3 特殊字符注解第 2 章基本语言元素第 3 章、数据类型 3.1 简单类型 3.1.1 NUNBER(数值类型) 3.1.2 INTEGER(整数类型) 3.1.3 REAL(实数类型) 3.1.4 LOGICAL(逻辑类型) 3.1.5 BOOLEAN(布尔类型) 2.4.1 关键字 2.4.2 作为运算符的保留字 2.4.3 标准常数 2.4.4 标准函数 2.4.5 标准过程 2.6.1 二进制常数 2.6.2 整数 2.6.3 实数常数 2.6.4 字符串常数 2.6.5 逻辑常数

3.1.6 BINARY(二进制类型) 3.1.7 STRING(字符串类型) 3.2.1ARRAY(数组类型) 3.2.2BAG(包类型) 3.2.3 LIST(表类型) 3.2.4SET(集合类型） 3.2 聚集数据类型 3.3 实体数据类型(Entity Type) 3.4 自定义数据类型(Defined Type) 3.5 枚举类型 3.6 选择数据类型(Select) 第 4 章、声明语句与块 4.1 标识符的作用域 4.2 类型声明(Type Declarations) 4.3 实体(Entity) 4.3.1 属性(Attributes) 4.3.2 局部规则(Local Rules) 4.3.3 超类与子类 4.3.4 隐含声明(Implicit Declarations) 4.4 模式(Schema) 4.5 常量(constant) 4.6 算法(Algorithms) 4.6.1 参数(Parameters) 4.6.2 局部变量(Local Variables) 4.6.3 函数 4.6.4 过程 4.7 规则(Rule) 第 5 章、接口规范 5.1 USE 接口规范 5.2 REFERENCE 接口规范 5.3 USE 与 REFERNCE 的相互制约 5.4 隐式引用 5.4.1 常量引用(CONSTANT REFERENCE) 5.4.2 实体引用(ENTITY REFERENCE) 5.4.3 函数引用(FUNCTION REFERENCES) 5.4.4 过程引用(PROCEDURE REFERENCES) 5.4.5 类型引用(TYPE REFERENCES) 5.5 子类的修剪(pruning)

第 6 章、表达式 6.1 算术运算符 6.1.1 实数取舍（REAL NUMBER ROUNDING) 6.2 关系运算符 6.2.1 值比较运算符 6.2.2 区间表达式 6.2.3 实例比较运算符 6.2.4 成员运算符 6.2.5 LIKE 运算符 6.3 二进制运算符 6.3.1 二进制下标运算 6.3.2 二进制数子串下标 6.3.3 二进制数连接运算符 6.4 逻辑运算符 6.4.1 NOT 运算符 6.4.2 AND 运算符 6.4.3 OR 运算符 6.4.4 XOR 运算符 6.5 字符串运算符 6.5.1 串下标 6.5.2 子串下标 6.5.3 字符串连接运算符 6.6 聚集运算符 6.6.1 聚集下标 6.6.2 相交运算符 6.6.3 并运算符 6.6.4 差运算符 6.6.5 子集运算符 6.6.6 超集运算符 6.7 引用 6.7.1 简单引用 6.7.2 前缀式引用 6.8 实体运算符 6.8.1 属性的引用 6.8.2 组引用(group reference) 6.9 函数调用 6.10 聚集的初始化 6.11 实体生成器

6.11.1 复杂实体生成器 6.12 类型兼容性第 7 章、可执行语句 7.1 空语句 7.2 ALIAS 语句 7.3 赋值语句 7.4 CASE 语句 7.5 复合语句 7.6 ESCAPE 语句 7.7 IF...THEN...ELSE 语句 7.8 过程调用语句 7.9 REPEAT(循环)语句 7.9.1 增量控制 7.9.2 WHILE 条件 7.9.3 UNTIL 条件 7.10 RETURN 语句 7.11 SKIP 语句第 8 章、标准常量 8.1 常数 e 8.2 不确定值 8.3 逻辑假--FALSE 8.4 圆周率--PI 8.5 自身词--SELF 8.6 逻辑真--TRUE 8.7 UNKNOW 第 9 章、标准函数第 10 章、标准过程

第 1 章概述 EXPRESS 是一种规范化的信息模型语言。它提供了对论域中对象的规范(或定义)的详细描述，同时地提供了与这些对象有关的信息和约束的描述。EXPRESS 主要用于信息建模。关于其标准可参见 ISO TR9007、ISO 10303。 EXPRESS 并不是一种程序设计语言。它由允许用明确和简要说明数据限制定义的明确对象语言元素组成。EXPRESS 语言不包含输入/输出、信息处理以及管理之外的语言元素。 1.1 基本概念在 EXPRESS 中，定义了以下概念：属性(Attribute)：用于描述实体的特性、品质、特征等。概念模式(Conceptual Schema)：没有具体实现的一种模式。常量(Constant)：不随时间变化或环境变化而变化的值。数据(Data)：表示信息的符号。实体(Entity)：表示具有共同特性的概念或物理对象的一类集合。函数(Function)：接收输入参数并产生指定类型输出结果值的算法。输入参数值不能被修改。信息(Information)：关于事实、过程或思想的知识。信息库(Information base)：参见 ISO TR 9007。实例(Instance)：一种类型的一个特定值。模型(Model)：论域的一种规范化描述。对象(Object)：存在于现实世界的物质或概念。全体(Population)：一个信息库的内容。初等项(Primary)：用一个名字或常数表示的值。过程(Procedure)：处理输入参数并产生一个终结状态的算法。输入参数值可以被修改。命题(Proposition)：对一个事例或事例集为有效的特殊状态的断言或否定。规则(Rule)：对于一个实体实例或实例与实例之间的一个或多个约束的详细描述。模式(Schema)：构造部分或全部模型的数据项的集合。稀疏数组(Sparse array)：一个包含未知值的 EXPRESS 数组。语言符号(Token)：不能再分解词意的语言词汇元素。类型(Type)：有效值范围的表示。

1.2 语法格式 = {产生式}. 语法：下面介绍 EXPRESS 语法中用到的语法符号。 EXPRESS 的语法在语法框中表示。在语法框中有若干条规则，每条规则的左侧有一个标号，作为其它语法对它进行引用的标识。用于定义 EXPRESS 语法的元语言(meta language)如下所述。标识符(identifier)一词通常表示一个非终结符号，它与另一个产生式有联系。常数文字(literal)通常表示一个终结符号，它是字符序列并且不能再展开。在这种情况下，字符表示任何定义在 ISO 6937 中的可打印字符，标识符由字母、数字和连接符组成。语法产生式 = 标识符 ‘＝’ 表达式 ‘.’ . 表达式 = 项{ ‘|’ 项}. 项 = 因子{同子}. = 标识符 | 文字 | 组 | 选项 | 重复. 因子 = ’’’’ 字符{字符} ’’’’. 文字组 = ‘(’ 表达式 ‘)’. = ‘[’ 表达式 ‘]’. 选项重复 = ‘{’ 表达式 ‘}’. 常数文字是终结符号，它用单引号括起来，并且区分大小写。当单引号出现在常数文字中时必须连写两次。括在括号中的一组表达式被当作一个单元处理。用[ ]括起来的表达式表示该表达式是可选的。用{}括起来的表达式表示该表达式可重复多次。例１：串类型的语法如下：串类型的语法定义中包含串的定义、串长度表达式和字符串长度是否可变,中括号[ ] 括起来的一部分是可选的。小括号(‘(’ ‘)’)指示必出现的字符。按照上述规则，下列的任何一个定义都是合法的： a) string b) string ( 22 ) c) string ( 19 ) fixed 271 │ string_type = STRING [ ‘(’ width ‘)’ [ FIXED ] ] . 294 │ width = simple_expression. .

1.3 特殊字符注解下面的注解通常用于表示全部字符集，并且有些特殊字符是不能显示的。 \a 表示任何可打印的 ISO6937 字符 \n 表示换行符 \q 表示撇号(')符 \s 表示空格符 \o 表示任何其它字符下边给出一个关于 Schema 的例子： SCHEMA example; ENTITY entity1; a:integer; b:integer; END_ENTITY; ENTITY entity2 a:entity1; b:integer; END_ENTITY; END_SCHEMA;

资料库

STEP语言-Express参考手册.pdf

相关推荐

信息化

热门标签

最新资料