标准号:GB/T 17645.20-2002
标准名称:工业自动化系统与集成 零件库 第20部分:逻辑资源:表达式的逻辑模型
发布日期:2002-05-08
实施日期:2002-10-01
批准发布部门:中国机械工业联合会
归口单位:全国自动化系统与集成标准化技术委员会
起草单位:中国标准研究中心
GB/T l7645的本部分规定了:——通用表达式的EXPRESS模式;——表达式的EXPRESS模式建立了EXPRESS语言所允许的表达式的子集,对应于IS0 10303—11:1994中定义的整型、实型、布尔型和字符串型。该模式使用通用表达式模式中定义的资源。GB/T l7645的本部分适用于:——包括常量和变量的表达式的交换;一一检查数值表达式是否应该计算得出整数值的函数;——确保表达式在语义上正确的约束条件;一一表达式中使用的变量或函数的计算;——检查表达式是否可以映射到SQL查询语言的函数。GB/T l7645的本部分不适用于:——在某些相关环境中对变量赋值;——在给定的相关环境中,计算表达式值的触发机制。