
ICS 25. 040. 40 L 67
GB
中华人民共和国国家标准
GB/T 16656.54—2010/IS0 10303-54:2005
工业自动化系统与集成 产品数据表达与
交换第54部分:集成通用资源:
分类和集合论
Industrial automation systems and integration- Product data representation and exchange-
Part 54 : Integrated generic resource :Classification and set theory
(ISO 10303-54 :2005,IDT)
2011-05-01实施
2011-01-14 发布
中华人民共和国国家质量监督检验检疫总局中国国家标准化管理委员会
发布
GB/T 16656.54—2010/IS0 10303-54 :2005
目 次
前言引言 1 范围 2 规范性引用文件 3术语、定义和缩略语· 3.1ISO 10303-1中定义的术语 3.2其他术语和定义 3.3缩略语 4分类模式 4.1 概述 4.2基本概念和假设 4.3 classification_schema类型定义 4.4classification_schema 实体定义 4.5classification_schema 子类约束定义 5集合论模式 5. 1 概述 5.2 基本概念和假设 5.3set_theory_schema实体定义.... 5.4 set_theory_schema 函数定义附录A(规范性附录)实体短名·.· 附录B(规范性附录) 信息对象注册附录C(资料性附录)计算机可解释列表附录 D(资料性附录)EXPRESS-G图参考文献
2
2
2
2
Y
.
.. -
Y
6
6
6
-
11 14 15 16 17 19
GB/T 16656.54--2010/IS0 10303-54 :2005
前言
GB/T16656《工业自动化系统与集成产品数据表达与交换》是一项由多个部分组成的标准,各部分单独出版。GB/T16656的所属各部分又组成多个子系列,即:
-第1部分至第19部分规定了描述方法; 第20部分至第29部分规定了实现方法;
-第30部分至第39部分规定了一致性测试方法与框架;第40部分至第59部分规定了集成通用资源;一第100部分至第199部分规定了集成应用资源;第200部分至第299部分规定了应用协议;第300部分至第399部分规定了抽象测试套件;第400部分至第499部分规定了应用模块; -第500部分至第599部分规定了应用解释构造; -第1000部分至第1999部分规定了应用模块。
IF
GB/T16656《工业自动化系统与集成产品数据表达与交换》现已发布和即将发布的包括以下部分:
第1部分:概述与基本原理; 一第11部分:描述方法:EXPRESS语言参考手册;
一第21部分:实现方法:交换文件结构的纯正文编码;第28部分:实现方法:EXPRESS模式与数据的XML表达(使用XML模式); -第31部分:一致性测试方法论与框架:基本概念;第32部分:一致性测试方法论与框架:对测试实验室与客户的要求;第34部分:一致性测试方法论与框架:应用协议实现的抽象测试方法;
一第41部分:集成通用资源:产品描述与支持原理;
第42部分:集成通用资源:几何与拓扑表达;第43部分:集成通用资源:表达结构; -第44部分:集成通用资源:产品结构配置;第45部分:集成通用资源:材料;第46部分:集成通用资源:可视化显示;第47部分:集成通用资源:形状变化公差; -第49部分:集成通用资源:工艺过程结构和特性;第51部分:集成通用资源:数学表达; -第54部分:集成通用资源:分类和集合论;一第55部分:集成通用资源:过程与混合表达;第56部分:集成通用资源:状态;第101部分:集成应用资源:绘图; -第105部分:集成应用资源:运动学; -第201部分:应用协议:显式绘图;
!
-第202部分:应用协议:相关绘图;一第203部分:应用协议:配置控制设计;
IⅢI
GB/T 16656.54—2010/ISO 10303-54 :2005
第238部分:应用协议:计算机数值控制器用的应用解释模型; -第501部分:应用解释构造:基于边的线框;第502部分:应用解释构造:基于壳的线框;
一第503部分:应用解释构造:几何有界二维线框; 一第504部分:应用解释构造:绘图注释;
第505部分:应用解释构造:图样结构与管理;第506部分:应用解释构造:绘图元素;第507部分:应用解释构造:几何有界曲面;第508部分:应用解释构造:非流形曲面;
-第509部分:应用解释构造:流形曲面;一第513部分:应用解释构造:基本边界表达;
第520部分:应用解释构造:相关绘图元素;第1001部分:应用模块:外观赋值;一第1002部分:应用模块:颜色;第1003部分:应用模块:曲线外观;第1004部分:应用模块:基本几何形状;第1005部分:应用模块:基本拓扑;一第1006部分:应用模块:基础表达;
"
-第1007部分:应用模块:通用曲面外观; —第1008部分:应用模块:层赋值;
第1009部分:应用模块:形状外观和层。 本部分是GB/T16656的第54部分。 本部分等同采用国际标准ISO10303-54:2005《工业自动化系统与集成产品数据表达与交换第
54部分:集成通用资源:分类和集合论》,其技术内容和结构与ISO10303-54:2005保持一致,在编写规则上符合GB/T1.1一2000,为便于使用,做了如下编辑性修改:
a)删去了 ISO前言; b)对于带下划线的用于 EXPRESS语言描述的各黑体英文实体名、属性名和函数名等,为了维护
其英文原意,在本部分中,都使用其英文原名,仅当其作为标题时,我们在该英文名前增加了其归属的类型说明。
本部分的附录 A 和附录 B为规范性附录,附录 C 和附录 D为资料性附录。 本部分由中国机械工业联合会提出。 本部分由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。 本部分主要起草单位:中国标准化研究院。 本部分主要起草人:刘守华、洪岩、王志强、李文武、周歆华。
IV
GB/T 16656.54—2010/ISO 10303-54 :2005
引言
GB/T 16656 是一个计算机可解释的用于产品信息表达和产品数据交换的技术标准。其目的是对产品全生命周期提供种独立于任何特定系统、能够描述产品数据的中性机制。其描述功能不仅适合于中性文件的交换,而且也是实现和共享产品数据库及存档的基础。
本部分属于集成资源系列,本部分的主要内容包括:
分类模式;集合论模式。
本部分规定了表达类或集合的应用资源以及分类关系。本部分还支持下列集合论关系:
补集;交集;幂集;
真子集;
等集;子集;
并集。 使用EXPRESS-G符号描述本部分的模式与其他部分定义的模式的关系如图1所示,ISO10303-
11 附录 D 中定义了 EXPRESS-G 符号。
本部分不包括图1中所示的以下模式: ISO 10303-41中定义的group_schema(成组模式); ISO 10303-41 中定义的 management_resources_schema(管理资源模式); ISO 10303-41中定义的 support_resource_schema(支持资源模式)。 图1中说明的模式是集成资源的组成部分。
classification_assignment
management_resources_schema
classification_schema
group
group_schema
identifier label
text
set_theory _ schema
support_resource_scherma
图 1GB/T16656.54 中模式之间的关系
V
GB/T 16656.54—2010/ISO 10303-54 :2005
工业自动化系统与集成产品数据表达与
交换第54部分:集成通用资源:
分类和集合论
1范围
GB/T16656的本部分规定了分类和集合论的集成资源构造。 本部分适用于:一类或集合的存在; 一一由抽象准则定义的类或集合之间的区别,以及由枚举类或集合的成员而定义类和集合之间的
区别; 类或集合与成员之间的分类关系;类或集合成员的全部枚举;类或集合间集合论关系的表达;下列集合论关系: ●补集; ·等集; ●交集; ·幂集; ●真子集; ·子集; ·并集。
本部分不适用于:一集合或类之间的映射; 不是分类或集合论关系的关系; 一特定连续集合的实体和关系。 注1:属于本部分的所有实体和关系对离散的和连续的集合都一样有效。 注2:连续集合的实体和关系可以在注解EXPRESS模式中创建,这些注解EXPRESS模式使用或专门指定了如下
实体: discrete_class_by_intension 和 continuous_set 可能是 class_by_intension 的不相交子集; open_set 和 closed_set 可能是 continuous_set 的不相交子集 ; closure 可能是一个 open_set 和 closed_set 间的关系, closure 是 closed_set 的 boundary。
2 规范性引用文件
下列文件中的条款通过GB/T16656的本部分的引用而成为本部分的条款。凡是注日期的引用文件,其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分,然而,鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件,其最新版本适用于本部分。
GB/T16262.1信息技术抽象语法记法一(ASN.1)第1部分:基本记法规范(GB/T16262.1- 2006,ISO/IEC 8824-1:2002,IDT)
GB/T16656.41一2010工业自动化系统与集成产品数据表达与交换第41部分:集成通用资
1
GB/T 16656.54—2010/ISO 10303-54 :2005
源:产品描述与支持原理(ISO10303-41:2005,IDT)
ISO10303-1:1994工业自动化系统与集成 ,产品数据的表达与交换 第1部分:综述与基本原理
ISO10303-11:1996工业自动化系统与集成 产品数据表达和交换 英第11部分:描述方法: EXPRESS语言参考手册 3术语、定义和缩略语 3. 1ISO 10303-1 中定义的术语
ISO10303-1中定义的下列术语适用于本部分。
-集成资源integrated resource.
3.2其他术语和定义
下列术语和定义适用于本部分: 3.2.1
集合;类set;class 可以作为一个整体来考虑的组同类事物。 注 1:由枚举成员定义的集合是一个"class by extension”。 注 2:用准则而非枚举成员定义的集合是一个"class by intension”。
3.3缩略语
下列缩略语适用于本部分。 URL:统一资源定位符(uniform resource locator)
4分类模式 4.1概述
classification_schema 以下列EXPRESS声明开始并标识必要的外部引用。 EXPRESS 描述:
*) SCHEMA classification_schema; REFERENCE FROM group_schema (group); REFERENCE FROM management_resources_schema -- GB/T 16656. 41 (classification_assignment); (* 注1:以上引用的模式可在GB/T16656系列部分中查到:
GB/T 16656. 41
GB/T 16656. 41 GB/T 16656. 41
group_schema management_resources_schema
注2:该模式的图解表达,参见附录 D, classificationschema 规定了类以及类和类成员之间的分类关系。
4.2基本概念和假设
GB/T16656中定义了不同的实体类型,一个实例可能代表事物的类或集合,代表事物类或集合的实例可通过创建一个复合实例而得到,该复合实例包括:
一本部分定义的实体类型类;以及
GB/T16656定义的另外一个实体类型。
2
GB/T 16656.54--2010/ISO 10303-54 :2005
成员可作为实体类型类的一个实例,实体类型类的实例和其他实体类型类的实例可涉及到集合论关系,例如并集或交集,带有实体类型类的其他实例。
注: GB/T 16656. 41 中的实体类型 product,product_definition_formation 和 product_definition 的实例可以是类。为
了允许集合论关系有这些类,一个应用协议或应用模块能够定义一个如下实体的子类: --product_definition_formation(引 自 GB/T 16656. 41) ; 一class(本部分)。
示例 1:泵模型“XYZ_123"是 product_definition_formation 和一个类。这个类是一个 class_by_extension。 示例 2:在维修合同“98/1234"中枚举的泵的集合是一个类。该类是一个 class_by_intension 示例3:单个泵"X/85/4567”和表明该泵型号的泵型XYZ_123”间的关系是一个分类。 示例4:单个泵“X/85/4567”和枚举在维修合同"98/1234”中的泵的集合间的关系表明它是这个集合中的一个成员
(即一个分类)。合同涉及的泵的完备集可以由实体类型 complete_membership的一个实例定义。
示例5:既在维修合同“98/1234”中也在泵模型“XYZ_123”中的泵的集合可以由集合论关系交集定义, 4. 3 classification_schema 类型定义 4. 3. 1 类型 classification_select
classification_select类型是可选数据类型的一个可扩充列表。它提供引用数据类型实例的一种机制,这些数据类型包括在所进行扩充的classification_select类型中。
注:这个空的可扩充的选择要求扩充在更进一步的模式中,以确保引用它的实体至少有一个有效的实例。 EXPRESS描述: *) TYPE classification_select = EXTENSIBLE SELECT; END_TYPE; (*
4. 3. 2类型 complete_membership..select
complete_membership_select 类型是可选数据类型的一个可扩充列表。 它提供引用数据类型实例的-个机制,这些数据类型包括在所进行扩充的 complete_membership_select 类型中。
注:这个空的可扩充的选择要求扩充在更进一步的模式中,以确保引用它的实体至少有一个有效的实例。 complete_membership_select是一个事物,这个事物被指定成一个明确枚举型集合的成员之一。 EXPRESS 描述: *) TYPE complete_membership_select = EXTENSIBLE SELECT; END_TYPE; (*
4. 4 classification_schema 实体定义 4. 4. 1 实体 class
class 是-一种集合形式的 group。 注 1;术语”set"在 3.2.1 定义。在本部分中"set"和class”是同义词。 注2;该实体的含义等同于下列实体:
在ISO10303-214中定义的实体类;在GB/T18975.2中定义的实体类。
注3:一个类可能由具有特定特性集的所有事物组成。因此具有特性集合推论信息将赋给这个类。如果一个事物
被列为这样一个类的成员,那么可以推论,这个事物具有这个特性集。 注4:这个实体可能被实例化成一个涉及GB/T16656中另一个实体的复合实例。 注 5:class_by_extension 和 class_by_intension 的区别可能不明显。例如,由特殊生产过程产生的项目集可认为是两
者中的任何一种。实体类型类并没有指定成抽象的,因此一个应用协议或应用模块能够决定忽略这个区别。 EXPRESS描述:
3