GB T 16656.54-2010 工业自动化系统与集成 产品数据表达与交换 第54部分：集成通用资源：分类和集合论.pdf

1、ICS 25.040.40 L 67 道昌国家标准国不日11: ./、中华人民GB/T 16656.54-2010/180 10303-54: 2005 工业自动化系统与集成产品数据表达与交换第54部分:集成通用资源:分类和集合论Industrial automation systems and integration Product data representation and exchange一Part 54 : Integrated generic resource: Classification and set theory CISO 10303-54: 2005 , IDT) 20

2、11-01-14发布2011-05-01实施数码防伪中华人民共和国国家质量监督检验检菇总局中国国家标准化管理委员会发布GB/T 16656.54-2010/ISO 10303-曰:2005目次前言.m 引言.v 1 范围2 规范性引用文件.3 术语、定义和缩略语3.1 IS0 10303-1中定义的术语 2 3.2 其他术语和定义3.3 缩略语.2 4 分类模式.2 4. 1 概述.24.2 基本概念和假设.2 4. 3 classification_schema类型定义4. 4 classification_schema实体定义.4. 5 classification_schema子类约束定

3、义.5 集合论模式5. 1 概述-5.2 基本概念和假设5.3 set_theory_schema实体定义.5.4 set_theory_schema函数定义11附录A(规范性附录)实体短名.14 附录B(规范性附录)信息对象注册.15 附录c(资料性附录)计算机可解释列表四附录D(资料性附录)EXPRESS-G图17参考文献I GB/T 16656.54-201 O/ISO 10303-54: 2005 前言GB/T 16656(工业自动化系统与集成产品数据表达与交换是一项由多个部分组成的标准，各部分单独出版。GB/T16656的所属各部分又组成多个子系列，即:第1部分至第19部分规定了描述

4、方法;一一一第20部分至第29部分规定了实现方法;一一第30部分至第39部分规定了一致性测试方法与框架;一一第40部分至第59部分规定了集成通用资源;一一第100部分至第199部分规定了集成应用资源;一一第200部分至第299部分规定了应用协议:一一第300部分至第399部分规定了抽象测试套件;一一第400部分至第499部分规定了应用模块;一一第500部分至第599部分规定了应用解释构造;第1000部分至第1999部分规定了应用模块。GB/T 16656(工业自动化系统与集成产品数据表达与交换现已发布和即将发布的包括以下部分:一一第l部分:概述与基本原理;一一第11部分:描述方法:EXPRES

5、S语言参考手册;第21部分:实现方法z交换文件结构的纯正文编码;第28部分z实现方法:EXPRESS模式与数据的XML表达(使用XML模式); 第31部分:一致性测试方法论与框架z基本概念;一一-第32部分:一致性测试方法论与框架:对测试实验室与客户的要求;一一第34部分:一致性测试方法论与框架:应用协议实现的抽象测试方法;一一第41部分:集成通用资源:产品描述与支持原理;第42部分:集成通用资源:几何与拓扑表达;一一第43部分:集成通用资源:表达结构;一一第44部分:集成通用资源:产品结构配置;一一第45部分:集成通用资源:材料;一一第46部分:集成通用资源:可视化显示;一一第47部分:集成

6、通用资源:形状变化公差;一一第49部分:集成通用资源:工艺过程结构和特性;一一第51部分:集成通用资源z数学表达;一一第54部分z集成通用资源:分类和集合论;一一第55部分z集成通用资源:过程与混合表达;一一第56部分:集成通用资源:状态;一一第101部分:集成应用资源:绘图;一一一第105部分:集成应用资源:运动学;一一第201部分:应用协议:显式绘图;一一一第202部分:应用协议:相关绘图;一一第203部分:应用协议:配置控制设计;而出GB/T 16656.54-2010/ISO 10303-54:2005 一一第238部分:应用协议:计算机数值控制器用的应用解释模型;一一第501部分:应

7、用解释构造z基于边的线框z一一第502部分:应用解释构造:基于壳的线框;一一第503部分:应用解释构造:几何有界二维线框;一一第504部分:应用解释构造:绘图注释;一一一第505部分:应用解释构造z图样结构与管理;一一第506部分:应用解释构造:绘图元素;第507部分:应用解释构造:几何有界曲面;一一第508部分:应用解释构造:非流形曲面;一一第509部分:应用解释构造z流形曲面;一一第513部分:应用解释构造:基本边界表达;一一第520部分:应用解释构造z相关绘图元素;一一第1001部分:应用模块外观赋值;一一第1002部分:应用模块:颜色;一一第1003部分:应用模块:曲线外观;一一第10

8、04部分:应用模块:基本几何形状手一一一第1005部分:应用模块:基本拓扑;一第1006部分:应用模块:基础表达;第1007部分:应用模块:通用曲面外观;第1008部分:应用模块:层赋值;第1009部分:应用模块z形状外观和层。本部分是GB/T16656的第54部分。本部分等同采用国际标准ISO1 030354: 2005(工业自动化系统与集成产品数据表达与交换第54部分:集成通用资掠:分类和集合论).其技术内容和结构与ISO10303-54: 2005保持一致，在编写规则上符合GB/T1. 1 2000.为便于使用，做了如下编辑性修改:N a) 删去了ISO前言;b) 对于带下划线的用于EX

9、PRESS语言描述的各黑体英文实体名、属性名和函数名等，为了维护其英文原意，在本部分中，都使用其英文原名，仅当其作为标题时，我们在该英文名前增加了其归属的类型说明。本部分的附录A和附录B为规范性附录，附录C和附录D为资料性附录。本部分由中国机械工业联合会提出。本部分由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。本部分主要起草单位:中国标准化研究院。本部分主要起草人:刘守华、洪岩、王志强、李文武、周敌华。GB/T 16656.54-201 O/ISO 10303-54: 2005 引GBjT 16656是一个计算机可解释的用于产品信息表达和产品数据交换的技术标准。其目的是对产

10、品全生命周期提供一种独立于任何特定系统、能够描述产品数据的中性机制。其描述功能不仅适合于中性文件的交换，而且也是实现和共享产品数据库及存档的基础。本部分属于集成资源系列，本部分的主要内容包括:一一分类模式;一一集合论模式。本部分规定了表达类或集合的应用资源以及分类关系。本部分还支持下列集合论关系:补集;交集;罪集;一一一真子集;一一等集;一一子集;一一并集。使用EXPRESS-G符号描述本部分的模式与其他部分定义的模式的关系如图1所示，ISO10303-11附录D中定义了EXPRESS-G符号。本部分不包括图1中所示的以下模式:ISO 10303-41中定义的group_schemaC成组模式

11、); ISO 10303-41中定义的management_resources_schemaC管理资源模式hISO 10303-41中定义的support_resource_schemaC支持资源模式)。图l中说明的模式是集成资源的组成部分。问一 management_resources _ schema I group l、-一一一classification schema group _ schema identifier label text suppo口一resource_schemaset_ theory _schema V GB/T 16656. 54中模式之间的关系图1GB/T

12、16656.54-201 O/ISO 10303-54: 2005 工业自动化系统与集成产品数据表达与交换第54部分:集成通用资源:分类和集合论1 范围GB/T 16656的本部分规定了分类和集合论的集成资源构造。本部分适用于:一一类或集合的存在;一一由抽象准则定义的类或集合之间的区别，以及由枚举类或集合的成员而定义类和集合之间的区别;一一类或集合与成员之间的分类关系;一一类或集合成员的全部枚举;一一类或集合间集合论关系的表达;一一下列集合论关系: 补集; 等集; 交集; 罪集; 真子集; 子集; 并集。本部分不适用于z一一集合或类之间的映射;一一不是分类或集合论关系的关系;特定连续集合的实体

13、和关系。注1:属于本部分的所有实体和关系对离散的和连续的集合都一样有效。注2:连续集合的实体和关系可以在注解EXPRESS模式中创建，这些注解EXPRESS模式使用或专门指定了如下实体zdiscrete_ c1ass_by _intension和continuons_set可能是c1ass_by_intension的不相交子集zopen_set和c1osed_set可能是continuons_set的不相交子集;c10sure可能是一个open_set和closed_set间的关系，closure是c1osed_set的bounda巧。2 规范性引用文件下列文件中的条款通过GB/T16656的

14、本部分的引用而成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。GB/T 16262. 1 信息技术抽象语法记法一(ASN.l)第1部分:基本记法规范(GB/T16262.1 2006 ,ISO/IEC 8824-1: 2002 , IDT) GB/T 16656.41-2010 工业自动化系统与集成产品数据表达与交换第41部分:集成通用资GB/T 16656.54-201 O/ISO 10303-54: 2005 源:产品描

15、述与支持原理(lSO10303-41: 2005 , IDT) ISO 10303-1: 1994 工业自动化系统与集成产品数据的表达与交换第1部分:综述与基本原理ISO 10303-11: 1996 工业自动化系统与集成产品数据表达和交换第11部分:描述方法:EXPRESS语言参考手册3 术语、定义和缩略语3. 1 ISO 10303-1中定义的术语ISO 10303-1中定义的下列术语适用于本部分。一一集成资源integrated resourceo 3.2 其他术语和定义下列术语和定义适用于本部分:3.2. 1 集合;类set; class 可以作为一个整体来考虑的一组同类事物。注1:由

16、枚举成员定义的集合是一个classby extension。注2:用准则而非枚举成员定义的集合是一个classby intension。3.3 缩略语下列缩略语适用于本部分。URL:统一资源定位符(uniformresource locator) 4 分类模式4. 1 概述classificatioD_schema以下列EXPRESS声明开始并标识必要的外部引用。EXPRESS描述:铃)SCHEMA classification_schema; 阻FERENCEFROM group_schema - GB/T 16656.41 (group); 阻FERENCEFROM manag四ent_r

17、esources_sch四a- GB/T 16656.41 (classification_assignment); (铃注1:以上引用的模式可在GB/T16656系列部分中查到:group_schema GB/T 16656.41 management_resources_schema GB/T 16656.41 注2:该模式的图解表达，参见附录D。c1assifica tion_schema规定了类以及类和类成员之间的分类关系。4.2 基本概念和假设GB/T 16656中定义了不同的实体类型，一个实例可能代表事物的类或集合，代表事物类或集合的实例可通过创建一个复合实例而得到，该复合实例包括

18、:本部分定义的实体类型类;以及一-GB/T16656定义的另外一个实体类型。2 GB/T 16656.54-201 O/ISO 10303-54: 2005 成员可作为实体类型类的一个实例，实体类型类的实例和其他实体类型类的实例可涉及到集合论关系，例如并集或交集，带有实体类型类的其他实例。注:GB/T 16656.41中的实体类型product，product_definitioD_formatioD和product_definition的实例可以是类。为了允许集合论关系有这些类，一个应用协议或应用模块能够定义一个如下实体的子类z一-product_definition_formationC引

19、自GB/T16656.41); 一一-classC本部分)。示例1:泵模型XYZ_123是product_definition_formatioD和一个类。这个类是一个class_by_extension。示例2:在维修合同98/1234中枚举的泵的集合是一个类。该类是一个class_by_intension。示例3:单个泵X/85/4567和表明该泵型号的泵型XYZ_123间的关系是一个分类。示例4:单个泵X/85/4567和枚举在维修合同98/1234中的泵的集合间的关系表明它是这个集合中的一个成员(即一个分类合同涉及的泵的完备集可以由实体类型complete_membership的一个实

20、例定义。示例5:既在维修合同98/1234中也在泵模型XYZ_123中的泵的集合可以由集合论关系交集定义。4.3 classificatioo_schema类型定义4.3. 1 类型classificatioo_selectclassificatioo_select类型是可选数据类型的一个可扩充列表。它提供引用数据类型实例的一种机制，这些数据类型包括在所进行扩充的classification_select类型中。注:这个空的可扩充的选择要求扩充在更进一步的模式中，以确保引用它的实体至少有一个有效的实例。EXPRESS描述:铸)TYPE class if ication_select = EXT

21、ENSIBLE SELECT; END_TYPE; (铸4.3.2 类型complete_membership_selectcomplete_membership_select类型是可选数据类型的一个可扩充列表。它提供引用数据类型实例的一个机制，这些数据类型包括在所进行扩充的complete_membership_select类型中。注:这个空的可扩充的选择要求扩充在更进一步的模式中，以确保引用它的实体至少有一个有效的实例。complete_membership_select是一个事物，这个事物被指定成一个明确枚举型集合的成员之一。EXPRESS描述:势)TYPE complete_membe

22、rship_select = EXTENSIBLE SELECT; END_TYPE; (祷4.4 classificatioo_schema实体定义4.4. 1 实体cl囚Sclass是一种集合形式的group。注1:术语set在3.2.1定义。在本部分中set和class是同义词。注2:该实体的含义等同于下列实体z在IS010303-214中定义的实体类;在GB/T18975.2中定义的实体类。注3:一个类可能由具有特定特性集的所有事物组成。因此具有特性集合推论信息将赋给这个类。如果一个事物被列为这样一个类的成员，那么可以推论，这个事物具有这个特性集。注4:这个实体可能被实例化成一个涉及G

23、B/T16656中另一个实体的复合实例。注5:class_by_exteDsioD和class_by_intension的区别可能不明显。例如，由特殊生产过程产生的项目集可认为是两者中的任何一种。实体类型类并没有指定成抽象的，因此一个应用协议或应用模块能够决定忽略这个区别。EXPRESS描述:3 GB/T 16656.54-2010/ISO 10303-曰:2005祷)ENTITY class SUBTYFE OF(group); END_ENTITY; (铃4.4.2 实体class_by_extension class_by _extension是一种class，该class通过枚举所有成

24、员的方式来定义。EXPRESS描述:关)ENTITY class_by_extension SUBTYFE OF(class); END_ENTITY; (祷4.4.3 实体class_by_intension class_by _intension是一种class，该class借助准则定义。如果一个事物满足所有的准则，那么这个事物就是这个集合的一个成员。EXPRESS描述:祷)ENTITY class_by_intension SUBTYFE OF(class); END_ENTITY; (赞4.4.4 实体classificationclassification是一种classificat

25、ion_assignment，classification_assignment指的是下面二者之间这样的一种关系:集合S;和事物x。事物x是集合S的一个成员。注z这个实体的含义与定义在GB/T18975.2中的实体分类相同。EXPRESS描述z铸)ENTITY classification SUBTYFE OF(classification_assignment); classified:classification_select; DERlVE classifier:class: =SELFclassification_assignment.assigned_class; END_ENTIT

26、Y; (祷属性定义zclassified : classifier的成员。classifier:把classified作为其一个成员的cl凶S。4.4.5 实体complete_membershipcomplete_membership是一种classification_assignment，该classification_assignmen t指的是下面二4 GB/T 16656.54-201 O/ISO 10303-54: 2005 者之间这样的一种关系:一一集合S;和一一枚举事物Xi0 集合S只包括每一个事物Xj中的每一个，不包括其他。EXPRESS描述:祷)ENTITY complet

27、e_membership SUBTYFE OF(classification_assignment); DERIVE containing_set:class: =SELFclassification_assignment.assigned_class; END_ENTITY; (铃属性定义:containing_set:只包括成员的class。4.4.6 实体complete_membership_of_empty_setcomplete_membership_of_empty _set是一种complete_membership，对于complete_membership，con-tain

28、ing_set是空集。EXPRESS描述:提)ENTITY complete_membership_of_empty_set SUBTYFE OF(complete_membership); END_ENTITY; (祷4.4.7 实体complete_membership_of_non_empty_set complete_ membership _ of _ non _ empty _ set是一种complete_ membership，对于complete_ membership, containing_set不是空集。EXPRESS描述:铸)ENTITY complete_membe

29、rship_of_non_empty_set SUBTYFE OF(complete_membership); members:SETl:?JOF complete_membership_select; END_ENTITY; (眷属性定义:members: containing_set的元素。4. 5 classification_schema子类约束定义4.5.1 子类约束classification_or_complete_membership classification_or_complete_membership是这样一个规范，一个classification_assignment

30、不是指定没有完全断言的一个类的一些成员，就是指定完全断言的一个类的所有成员。EXPRESS描述:祷)SUBTYPE_ CONSTRAINT classif ication_ or _ complete _membership FOR class if ication _ assign ment; 5 G/T 16656.54-201 O/ISO 10303-曰:2005ONEOF(classification, complete_membership); END_SUBTYFE_CONSTRAINT; (祷提)END SCHEM且;- classification_schema (祷5 集合论

31、模式5. 1 概述下列EXPRESS声明开始于set_theory_schenna并且标识了必要的外部引用。EXPRESS描述:祷)SCHEMA set_theoryschema; REFERENCE FROM classificationsche皿a- GB/T 16656.54 (class) ; REFERENCE FROM support_resource_schema - GB/T 16656.41 (identifier, label, text); (祷注1:上面被引用的模式在GB/T16656的如下部分中规定。classification_schema 本部分snpporLr筒

32、。ulce_schemaGB/T 16656.41 注2:附录D给出了该模式的一个图解表达。集合论模式规定了类之间的下列关系:一一补集;一一交集;一一罪集;一一真子集;一一等集;一一子集;一一并集。5.2 基本概念和假设6 集合论模式定义了类或集合之间的集合论关系。注1:在本部分中，术语类和集合是同义词。为了使用这个模式，记录类或集合的实体应该是类或类的子类型。示例1:考虑下面类的实例:一一泵模型XYZ_123，它是一个product_definition_formation和一个类;并且一一一维修合同98/1234中列举了泵的集合。一个关系subset(子集)的实例表明枚举在维修合同98/1

33、234中的集合中的每一个泵都属于XYZ_123泵型。示例2:一个组织有A型和B型泵。一些泵处理放射性流体。有下列活动类:一一-SA-A泵; G/T 16656.54-2010/ISO 10303-曰:20055.3 SB-B泵zDR-处理了放射性流体的服务设备。为了实现工作流管理的目的，定义了下面的导出活动类zDRS处理了放射性流体的服务泵。这个类是SA类与SB类的UllIon与DR类的intersection。set_theory_schenna实体定义5.3. 1 实体connplennentcomplement是指下列集合之间存在的一种关系:一一集合SI;-一集合U;以及一一集合S20指

34、出集合S2是由不是SI中的成员的集U的全部成员组成。EXPRESS描述:祷)ENTITY complement; id , identifier name ,label description :OPTIONAL text set 1 :class; set_2 :class; un工verse:class; WHERE compl四ent_different:NOTidentical_sets(set_1 ,set_2); END_ENTITY; (祷属性定义:id:补集关系的标识符。nanne:可以标识这种补集关系的标签。Description:文本，用于表征补集关系，不需要规定这个属性的

35、值。Set_l :在universe类中，set_l是把set_2作为其补集的类。Set_2:在universe类中，set_2是把set_l作为其补集的类。Universe: set_l和set_2的并集的类。形式限制:类不应该明确地说明成与它的补集相同。5.3.2 实体intersectionintersection是指下列集合之间存在的一种关系:一一集合R;和一一集合S;的集合。指出集合R由S;中的各集合的成员组成。EXPRESS描述:铸)ENTITY intersection; 7 GB/T 16656.54-201 O/ISO 10303-54: 2005 id :identifie

36、r; name :label; description :OPTIONAL text; operand :SET2:?JOF class; resultant :class; END_ENTITY; (祷属性定义zid:交集关系的标识。name:可以标识这种交集关系的标签。Description:文本，用于表征交集关系，这个属性的值需要指定。Operand:把resultant作为它们的交集的集合的集合。Resultant:组成集合resultant的每一个成员都是operand集合内的集合成员。5.3.3 实体power_set8 power_set是指下列集合之间存在的一种关系:一一集合S

37、;-一一集合S。集合S是S的所有子集组成的集合。示例:下面是三个类的实例:pump一一一一个拥有单个泵成员的类。commodity class一一是一个类，把用作采购的商品类作为其成员。pump commodity class一一是用于采购泵的商品类的类。pump commodity class是commodityclass和pump的罪集的交集团EXPRESS描述:祷)ENTITY power_set; id :identifier; n皿e:label; description :OPTIONAL text; base :class; derived :class; WHERE deriv

38、ed_different:NOT identical_setsCbase,derived); END_ENTITY; (祷属性定义zid: power_setC幕集)关系的标识。name:可以标识这种罪集关系的标签。Description:是文本，用于表征罪集关系，不需要规定这个属性的值。B斟酌一个集合，它的事集是derived集。注:base是derived的并集。derived: base的所有子集组成的集合。形式限制:GB/T 16656.54-2010/ISO 10303-54 :2005 一个派生为罪集的类不应该明确地和它派生自的那个类相同。5.3.4 实体proper_subset

39、 proper _subset是一种子集类型，指下列集合之间的一种关系:集合A;和一一集合B。它们有下列关系:一一集合A的每个成员都是集合B的成员，但是一一-集合A和集合B不相等。EXPRESS描述:祷)ENTITY proper_subset; SUBTYPE OF(subset); WHERE subset_different:NOT identical_sets(superset,subset); END_ENTITY; (祷形式限制:是一个真子集的类不应该明确地和它的超集相同。5.3.5 实体sanne_nnennbershipsanne_nnennbership是指下列集合之间存在的

40、一种关系z一一集合Sl;和一一集合S2。这两个集合有同样的成员。因此，集合Sl和集合S2是同样的集合。EXPRESS描述:祷)ENTITY same_membership; id :identifier; n皿e,label: description:OPTIONAL text; set 1 .class: set 2 .class: END ENTITY: (铸属性定义zid:等集关系的标识。nanne:可以标识这种等集关系的标签。description:是文本，用于表征等集关系，这个属性的值需要指定。Set_l :是一个类，包含和set_2相同的成员。Set_2 :是一个类，包含和set_

41、l相同的成员。5.3.6 实体subsetsubset是指下列两个集合之间的一种关系:一一集合A;和一一集合Bo9 GB/T 16656.54-201 O/ISO 10303-54: 2005 是指:集合A的每个成员都是集合B的成员。注:集合A可以和集合B相等。EXPRESS描述:传)ENTITY subset; id :identifier; name :label; description:OPTION且Ltext; subset superset END_ENTITY; (祷属性定义z:class; :class; id:子集关系的标识。name:可以标识子集关系的标签。descript

42、ion:是文本，用于表征子集关系，这个属性的值需要指定。Subset:仅包含超集成员的类。Superset:包含所有子集成员的类。5.3.7 实体unionunion是指下列集合之间的一种关系:一一集合R;一一集合SJ的集合。集合R包含了集合Sj中的集合的每一个成员。EXPRESS描述:祷)ENTITY union; id :identifier; n缸ne:label; description:OPTIONAL text; 。per四d:SET2:?JOF class; resultant :class; END_ENTITY; (铃属性定义zid:并集关系的标识。name:可以标识这种并集

43、关系的标签。Description:是文本，用于表征并集关系，这个属性的值需要指定。Operand:把resultant作为它们的并集的集合的集合。Resultant:是一个集合，组成集合resultant的每一个成员都是operand集合内的集合成员。5.3.8 实体union_of_all_membersunion_of_all_members是下列两个集合之间的关系:一一集合R;和10 G/T 16656.54-201 O/ISO 10303-54: 2005 一一集合S。集合S的每一个成员是一个集合，集合R包含了集合R中的集合的每一个成员。示例:例如有这样一个类，这个类是范围从10.C

44、-20 c的温度，15c的温度是这个范围的一个成员。温度15c是这个类的一个成员。由热力在15C20C范围内的所有对象组成的类就是范围从10c -20 c的温度的union_of_a11_members. 注:实体union_of_a11_members和union相同，它被用在operand(操作数)集有多数或元限的成员的地方。EXPRESS specification: 祷)ENTITY union_of_all_members; id:identifier; name:label; description:OPTION应，text; operand:class; resultant:cl

45、ass; WHERE resultant_different:NOT identical_setsCoperand,resultant); END_ENTITY; (祷属性定义:id : union_of_all_members关系的标识。name:可以标识union_of_all_members关系的标签。Description:用于表征union_of_all_members关系的文本，这个属性的值需要指定。Operand:把resultant作为它们的并集的集合的集合。Resultant:是一个集合，组成集合resultant的每一个成员都是operand集合内的集合成员。形式限制:一个

46、类，它是其他类的一个集合的并集，不应该明确地和类的集合相等。5.4 set_theory_schema函数定义5.4.1 函数Identical_setsIdentical_sets测试类的两个实例是否相同，或类的两个实例是否被等集的一个或多个实例链明确地说明为相同的。EXPRESS描述:祷)FUNCTION identical_sets(set_a:class,set_b:class):BOOLEAN; LOCAL set_of_sets : SET OF class: = J ; END_LOCAL; IF(set_a = set_b)THEN RETURN(TRUE) ; END_IF;

47、 set_of_sets: = set_of_sets + set_b; RETURN(identical_to_one_of_set_of_setsCset_a,set_of_sets); 11 GB/T 16656.54-2010/ISO 10303-曰:2005END_FUNCTION; (美参数定义:Set_a:根据Set_b来测试类的实例。Set_b:根据Set_a来测试类的实例。identical_ to_ one_ of_set_ of_sets测试一个类的实例是否和集合中的一个成员相同，或是否通过一个或多个相同关系的实例链明确地被说明和集合中的集合成员相同。12 EXPRESS描述:铃)FUNCTION identical_to_one_of_set_of_sets(set_a:cl臼s，set_of_sets:SETOF cl出的:政卫DLEAN;LOCAL 工:INTEGER; initial size :INTEGER; augmented_size :INTEGER; set_of_forward_e