GB/T 16656.54-2010 工业自动化系统与集成 产品数据表达与交换 第54部分：集成通用资源：分类和集合论 GB/T16656.54-2010 标准压缩包解压密码：www.bzxz.net

ICS 25. 040. 40
中华人民共和国国家标准
GB/T 16656.542010/IS0 10303-54:2005工业自动化系统与集成
产品数据表达与
交换第54部分：集成通用资源：分类和集合论
Industrial automation systems and integration-Product data representation and exchangePart 54 :Integrated generic resource : Classification and set theors(ISO 10303-54:2005,IDT)
2011-01-14发布bZxz.net
中华人民共和国国家质量监督检验检疫总局中国国家标准化管理委员会
2011-05-01实施
1范围
2规范性引用文件
3术语、定义和缩略语-
3.1IS0 10303-1中定义的术语
3.2其他术语和定义
3.3缩略语*
4分类模式
4.1概述
4.2基本概念和假设
4.3classification_schema类型定义4. 4 classification_schema 实体定义4.5classilication_schema子类约束定义5集合论模式 .
5.1概述
5.2基本概念和假设
5. 3 sct_theory_schema 实体定义 ..5. 1 set_theory_schema 菌数定义附录A（规范性附录）实体短名
附录B（规范性附录）信息对象注册附录C（资料性附录）计算机可解列表附录D（资料性附录）EXPRESS-G图参考文献
HTKAONIKAa
GB/T 16656.542010/1SO 10303-54:20052
GB/F 16656.54—2010/ISO 10303-54:2005GB/T16656&工业自动化系统与集成产品数据表达与交换是一项由多个部分组成的标准，各部分单独出版。GB/T16656的所属各部分又组成多个子系列，即：-第1部分至第19部分规定了描述方法；-.第20部分至第29部分规定了实现方法；第30部分至第39部分规定了--致性测试方法与框架；第40部分至第59部分规定了集成通用资源；第100部分至第199部分规定了集成应用资源；第200部分至第299部分规定了应用协议；第300部分至第399部分规定了抽象测试套件；第400部分至第499部分规定了应用模块+一第500部分至第599部分规定了应用解释构造；第1000部分至第1999部分规定了应用模块GB/T16656工业自动化系统与集成产品数据表达与交换多现已发布和即将发布的包括以下部分：
第1部分:概述与基本原理；
第11部分：描述方法：EXPRESS语言参考乎册！第21部分：实现方法：交换文件结构的纯正文编码；第28部分，实现方法，EXPRESS模式与数据的XML表送（使用XML模式）第31部分：一致性测试力法论与框架：基本概念；第32部分：一致性测试方法论与框架：对测试实验室与客户的要求第34部分：一致性测试方法论与框架：应用协议实现的象测试方法：第41部分：集成通用资源，产品指述与文持原理，第42部分：集成通用资源，几何与拓扑表达，第43部分：集成通用资源：表达结构第41部分：集成通用资源：产品结构配置；第45部分：集成通用资源：材料：第46部分：集成通用资源：可视化显示，第47部分：集成通用资源：形状变化公差，第49部分：集成用资源：工艺过程结构和特性；第51部分：集成通用资源：数学表达；-·—第54部分：集成通用资源：分类和集合论：第55部分：集成通用资源：过程与混合表达：第56部分：集成通用资源：状态第101部分：集成应用资源：绘图！第105部分：集成应用资源：运动学；第201部分：应用协议：显式绘图；一第202部分：应用协议：相关绘图一第203部分：应用协议：配置控制设计：E
GB/T 16656.54—2010/ISO 10303-54:2005第238部分：应用协议：计算机数值控制器用的应用解释模型；一第501部分：应用解释构造：基于边的线；一第502部分：应用解释构造，基于壳的线框1第503部分：应用解释构造：几何有在界二维线框；一第504部分：应用解释构造绘图注释：一第505部分：应用解释构造：图样结构与管理；一第506部分，应用解释构造：绘图元素；第507部分：应用解释构造：几何有界曲面；第508部分：应用解释构造：非流形曲面：一第509部分：应用解释构造：流形曲面；一第513部分：应用解释构造：基本边界表达：一第520部分：应用解释构造：相关绘图元素；第1001部分：应用模块：外观赋值：第1002部分：应用模块：额色；第1003部分：应用模块：曲线外观第1004部分：应用模块：基本几何形状；-第1005部分：应用模块：基本拓扑；—第1006部分：应用模块：基础表达；一第1007部分：应用模块：通用曲面外观；第1008部分：应用模块：层赋值；第1009部分，应用模块：形状外观和层。本部分是GB/T16656的第54部分。本部分等同采用国际标准IS010303-54：2005《工业自动化系统与集成产品数据表达与交换第54部分：集成通用资源：分类和集合论》，其技术内容和结构与IS010303-54：2005保持一，在编写规则上符合GB/T1.1一2000，为便于使用+做了如下编辑性替改a）删去了ISO前言：
b）对于带下划线的用于EXPRESS语言述的各黑体英文实体名、属性名和函数名等，为了维护其英文原意，在本部分中，都使用其英文原名，仅当其作为标题时，我们在该英文名前增加了其归属的类型说明。
本部分的附录A和附录B为规范性附录、附录C和附录D为资料性附录。本部分由中国机械工业联合会提出。本部分由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。本部分主要起草单位：中国标准化研究院。本部分主要起草人：刘守华、洪岩、王志强、李文武、周歆华。T
KAoNIKAa
GB/T16656.54—2010/IS0 10303-54.2005GB/T16656是一个计算机可解释的用于产品信息表达和产品数据交换的技术标准。其日的是对产品全生命周期提供一种独立于任何特定系统、能够描述产品数据的中性机制。其描述功能不仅适合于中性文件的交换，而且也是实现和共享产品数据库及存档的基础。本部分属于集成资源系列，本部分的主要内容包括：分类模式：
集合论模式。
本部分规定了表达类或集合的应用资源以及分类关系。本部分还支持下列集合论关系：补集：
邢集，
真子集；
等渠；
子集：
并集。
使用EXPRESS-G符号描述本部分的模式与其他部分定义的模式的关系如图 1 所示,ISQ 10303-11附录D中定义了EXPRESS-G符号。本部分不包括图1中所示的以下模式ISO10303-41中定义的group_schema（成组模式）；IS010303-41中定义的management_resaurecs_schcma（管理资源模式）；IS0 10303-41中定义的 suppart_respurce_schcma(支持资源模式)。图1中说明的模式是集成资源的组成部分。I clissiricatian_assignunentTmunaiguamenl_resouroes_gchemeClassificution ch
group_gchcmg
identifier
sel_theory.schema
support_resource_sehema
图 1GB/T 16656.54中模式之间的关系1范围
GB/T16656.54—2010/IS010303-54:2005工业自动化系统与集成产品数据表达与交换第54部分：集成通用资源：分类和集合论
GB/T16656的本部分规定了分类和集合论的集成资源构造。本部分适用于：
类或集合的存在
：“…由抛象准则定义的类或集合之间的区别，以放由枚举类或集合的成员而定义类和集合之间的区别；
类或集合与成员之间的分类关系；类或集合成员的全部枚举；
·-类或集合间集合论关系的表达”下列集合论关系：
补集，
等集；
·交集
·暴集：
真子集；
并集。
本部分不适用于：
-——集合或类之问的映射;
·不是分类或集合论关系的关系特定连续集合的实体和关系。
注 1:风于本部分的所有实体和关系对离散的和连续的巢合都一样有效。注 2:连续果合的实体和关系可以在注舞 EXPRESS模式中创建+这些注解 EXPRESS模式使用或专门指定了如下实体：
discrete_class_by_lntensilon和 continong_set可能尼ckas_by_intension的不相交子案：open_set 和 cloged_set 可能是 eontinpnps_set 的不相交子集;ckasure 可能是一个 open_set 和 closed_set 间的关系,eloaure 是 c losed_sel 的 bounrdary 2规范性引用文件
下列文件中的茶款通过GB/T16656的本部分的引用成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单（不包括勘误的内容）或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。
GB/T16262.1信息技术抽象语法记法一（ASV.1）第1部分：基本记法规范（GB/T16262.12006,ISO/IEC 8824-1 2002,IDT)GB/T16656.41-2010工业自动化系统与集成产品数据表达与交换第41部分，集成通用资TKAONKAa
GB/T 16656.54—2010/1S0 10303-54:2005源：产品描述与支持原理（ISO10303-412005，IDT）ISO10303-1:1994工业自动化系统与集成产品数据的表达与交换第1部分：综述与基本原理
IS010303-11:1996工业自动化系统与集成EXPRESS语言参考手册
3术语、定义和缩略语
3.11SO10303-1中定义的术语
IS0 10303-1 中定义的下列术语适用于本部分。集成资源integratedresource。3. 2其他术语和定义
下列术语和定义适用于本部分：3. 2. 1
集合：类set;class
可以作为一个整体来考虑的-组同类事物。注 1:由收举成员定义的集合是一个\claa by extension\。产品数据表达和交换第11部分：描述方法：注 2：用准则而非枚举成员定义的集合是一个~class by intensian\。3.3缝略语
F列缩略谱适用于本部分。
URL统一资源定位符(uniform resource locator)4分类模式
4.1概述
classiflcatio_schema 以下列 ExPRESS 声明开始并标识必要的外部引用。EXPRESS描述
sCHEMA classification_schemaREFERENCE FROM grouP_schema
(group);
GB/T 16656.41
REFZRENCE FROM management_resources_schema(classification_assignment);( *
注1：以上引用的模式可在GB/T16656系列部分中查到：groop_schemn
management_resources_schema
注 2: 该模式的图解表达,参见附录 D。GB/T16656.41
GB/T16656.41
- GB/T 16656. 41
classification_schema规定了类以及类和类成员之同的分类关系。4.2基本概念和假设
GB/T16656中定义了不同的实体类型，一个实例可能代表事物的类或集合，代表事物类或集合的实例可通过创建一个复合实例而得到，该复合实例包括：一本部分定义的实体类型类;以及GB/T16656定义的另外一个实体类型。2
GB/T 16656.54—2010/IS0 10303-54;2005成员可作为实体类型类的一个实例，实体类型类的实例和其他实体类型类的实例可涉及到集合论关系，例如并巢或交集，带有实体类型类的其他实例。注: GB/T 1 6656. 41 中的实体类型 praduct product_detlaition_formatlon 和 product_deflnition 的实例可以是类- 为了允许案合论关系有这些类，一个应用协改或应用模块能够定义一个如下实体的下类：pruduct_definitiau_formation(引自GB/T16656.4/）一clas（本部分）
示例 1 ;泵模型“XYZ_123\是 prndct_definitlon_rormatlon 和一个类。 这个类是一个 class_by_erteasioo。示例2:在维整合同\98/1234\中枚举的泵的案合是一个类。该类是一个clas_by_intensiom：示例3.单个泵\X/85/4567\和表明该泵型号的系型\XYZ_123\间的关系是一个分类。示例4:单个泵*X/85/4567”和枚举在维修台同\98/1234\中的泵的集合间的关系表明它是这个集合中的一个成员(即个分类)。合间涉及的系的完备巢可以由实体类型 romplele_membership的一个实例定义。示阅5，既在维够合同\98/1234\中世在泵膜型\XYZ_123”中的家的案合可以由票合论关系交票定义4.3classiricatfon_schema类型定艾4. 3. 1类型 classification_selectclassification_select类型是可选数据类型的--个可护充列表。它提供引用数据类型实例的一种机制，这些数据类型包括在所进行扩充的classification_select类型中。注：这个空的可扩充的选择要求扩充在更进一步的模式中，以确保引用它的实体率少有一个有效的实划。EXPRESS描述：
TYPE classification_select -EXTENSIBLE SELECT,END_TYPE：
4.3.2类型 coniplete_membership_selectcomplete_membership_select类型是可选数据类型的一个可扩充列表。它提供引用数据类型实例的一-个机制，这些数据类型包括在所进行护充的cnmplete_membership_select类型中。注：这个空的可扩充的选择要求扩充在更进--步的模式中，以确保引用它的实体至少有一个有效的实例complete_membershlp_select 是一个事物,这个事物被指定成一个明确枚举型集合的成员之一EXPRESS描述：
TYPE complete_memherghip_select =EXTEHSIBLE SELECT:END_TYPE;
4. 4classification_schema 实体定义4. 4, 1 实体 class
class是一种集合形式的group。注 1：术语“set\在 3.2. 1 定义。在本部分中\sel\和\clas\是同义词。注2：该实体的含义等局手下列实体：在1SO10303-214中定义的实体类！在GB/T18973.2中定义的实体类。注 3：一个类可能由具有特定特性集的所有事物组成。因此其有特性巢合推论信息将既给这个类。如果一个事物被列为这样一个类的成员，那么可以推论，这个事物耳有这个特性集。证4：这个实体可能被实例化成一个涉及GB/T16656中另一个实体的复合实慎。注 5, clas_by_erteusion 和 clps9_by_intension 的区别可能不明显，例如,由特殊生产过差产生的项目集可认为是两者中的任何一种。实体类型类并没有指定成抽象的，因此一个应用协议或应用模块能够决定忽略这个区别EXPRESS描述：
GB/T16656.54—2010/IS010303-54:2005*)
ENTITY elAsS
SUBTYPE OF(group);
END_ENTITY;
4, 4. 2实体 class_by_extensionelass_hy_extension是一种class，该clage通过校举所有成员的方式来定义。EXPRESS描述：
ENTITY class by_extensior
SUETYPEOF(class);
END_ENTITY;
4,4.3实体class_by_intension
class_by_intenslon是一种 class,该 class 借助准卿定义。如果一个事物满足所有的准则,那么这个事物就是这个集合的个成员。
EXPRESS描述：
ENTITY class_by_intension
SUETYPEOF(elass);
END ENTITY:
4, 4, 4实体 classification
classification是一种classification_assignnent，classirication_assignment指的是下面二者之间这样的一种关系：
一集合S;和
—事物 x。
事物×是集合S的一个成员。
注：这个实体的含义与定义在GB/T 18975. 2 中的实体分类相何。EXPRESS描述：
EHTITY clasaification
suBrrpE or(classification_assigmment);classified.classification_selectDERITE
classifier:classt=SELFlclassificatian_assigrment.assigned_class;END_ENTITY;
属性定义：
classifiedclasslfier的成员。classifier：把classified作为其一个成员的class。4.4.5实体complete_membershipcomplete_membership 是一种 classitication_assignment,该 classification_assignment 指的是下面二4
者之间这样的一种关系：
集合 S;和
枚举事物xi。
集合S只包括每一个事物x中的每个,不包括其他。EXPRESS描述：
ENTIrY complete_membership
SUBTYPE OF(classification_assignment) DERIVE
GB/T16656.54—2010/1S010303-54,2005containing_get:class: = SELF(clagsification_assignment. ass igned_clas9;END_ENTITY ;
属性定义
containing_set：只包括成员的clags，4.4.6实体complete_memherghip_of_empty_setconplete_nembersbip_of_empty_set是一种complete_membership，对于complete_membership，containing_set 是空集。
EXPRESS描述：
ENTITY complete_membership_of_empty_setSUBTrPE OF(complete_membership);END_ENTITY,
4. 4, 7实体 complete_membership_of non_empty_setcomplete_ membersbip _ of _ oon _ empty _ set 是 -.- 种 complete membership, 对 于 completemembership，containing_set不是空集，EXPRESS描述：
FNTITY complete_membership_of_non_empty_setSUHTYPE QF(complete_membership);members:SET[l:?joF complete_meabership_Belect;END_ENTITY:
属性定义：
members:containing_set的元素，4. 5classification_schema 子类约束定义4.5.1于类约束 classificutian_or_complete_nlembershipclassification_or_complete_membersbip是这样一个规范，一个classification_assignment不是指定没有完全断言的一个类的一些成员，就是指定完全断言的一个美的所有成员。EXPRESS描述：
SUBTYPE_CoNsTRAINT classification_or_conplete_nenbership FOR classification_assign-ment;
GB/T16656.54—2010/IS0 10303-54;2005ONEOF(elassification,
complete_membership):
END_SUBTYPE_CONSTRAINT;
END_SCHEMA;--classification_schema「*
集合论模式
5.1概述
下列 FXPREsS 声明开始于 set_theory_schema并且标识了必要的外部引用。EXPRESS描述：
SCHEMA set_theory_schema;
REFEPENCE FROM laggification_achema(elass);
REFERENCE FROM support_resource_gchena(identifier,
label,
text),
GB/T 16656. 54
GB/T16656.41
注1，上面被引用的模式在GB/T16656的如下部分中规定ckassifnication_schema
supporl_resoarce_schema
本部分
GE/T 16656.41
注 2:附录 D给出了该模试的一个图解表达，集合论模式规定了类之闻的下列关系：-…补集．
交集；
—真子集·
等集，
子集；
并集。
5.2基本概患和假设
集合论模式定义了类或集合之间的集合论关系。注1：在本部分印，术语类和集合是同义间为了使用这个模战,记录类或集合的实体应该是类或类的子类型示例1:考虑下面类的实例：
…泵模型\xYz_123”，它是一个product_definition_farmation和一个类；并且---维替合同\98/1234”中列举了系的案合。一个关系 subset(子集>的实例表明妆率在维修合同“98/1234”中的集合中的每一个系都属于“XYZ_123\泵型。示例2：一个组织有A型和B型泵。--些录处理敢射性流体，有下例活动类，SA-A泵:
SB-B泵
-DR-处理政射性流体的服务设备。为了实现工作流管理的目的,定义了下面的导出活动类，DRS-处理了敢射性流你的服务象这个类是 SA类与 SB类的 union 与 DR类的 intergeetion。5.3set_theory_schema实体定义5. 3. 1 实体 complement
complement是指下列集合之间存在的-一种关系：案合 S. ;
-集合 U;以及
集合 S.。
CB/T16656.54-—2010/IS0 10303-54:2005指出集合 S 是由不是 S 中的成员的集 U 的全部成员组成。EXPRESS描述：
ENTITY complementt
tidentifier:
label;
description :OPTIoKAL text,
universe
:class:
+class;
:class;
complenent_different,NoT identical_sets(set_1,set_2);END_ENTITY;
属性定义：
id;补集关系的标识符。
me：可以标识这种补集关系的标签。Descriptinnt：文本，用于表征补集关系，不需要规定这个属性的值。Set_1:在 universe类中,set_1 是把 set_2作为其补集的类。Set_2:在 universe 类中,get_2 是把 set_1 作为其补集的类。Univere;set_1和 set_2的并集的类。形式限制：
类不应该明确地说明成与它的补集相。5. 3. 2实体 intersection
intersection 是指下列集合之间存在的一种关系：集合 R;和
集合(S,)的集合。
指出集合R由(S,)中的各集合的成员组成。EXPRESS描述：
ENTITY intersection;
小提示：此标准内容仅展示完整标准里的部分截取内容，若需要完整标准请到上方自行免费下载完整标准文档。