GBT 16656.54-2010 工业自动化系统与集成 产品数据表达与交换 第54部分:集成通用资源:分类和集合论_第1页
GBT 16656.54-2010 工业自动化系统与集成 产品数据表达与交换 第54部分:集成通用资源:分类和集合论_第2页
GBT 16656.54-2010 工业自动化系统与集成 产品数据表达与交换 第54部分:集成通用资源:分类和集合论_第3页
GBT 16656.54-2010 工业自动化系统与集成 产品数据表达与交换 第54部分:集成通用资源:分类和集合论_第4页
GBT 16656.54-2010 工业自动化系统与集成 产品数据表达与交换 第54部分:集成通用资源:分类和集合论_第5页
已阅读5页,还剩20页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

a亘ICS25.040.40L67a亘中华人民共和国国家标准GB/T16656.54—2010/iso10303-54:2005工业自动化系统与集成 产品数据表达与交换第54部分:集成通用资源:分类和集合论Industrialautomationsystemsandintegration--ProductdatarepresentatiOnandexchange--Part54:Integratedgenericresource:Classificationandsettheory(IS010303—54:2005,IDT)2011-01-14发布 2011-05-01实施标委19GB/16656.54—2010/Is10303—54:200前言⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯}f范围⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯····⋯⋯⋯⋯⋯2规范性引用文件⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯3术语、定义和缩略语⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一3.IS10303—1中定义的术语⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3.2其他术语和定义···⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯··3.3缩略语⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯···4分类模式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯·4.1概述⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··-⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯4.2基本概念和假设⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯·⋯···⋯⋯-·4.classification—schema类型定义⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一4.classification—schema实体定义⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯··⋯··⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯4一classification—schema子类约束定义⋯⋯⋯···⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯··⋯⋯·5集合论模式⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯··5.1概述⋯⋯⋯⋯··-------·⋯⋯⋯··----⋯⋯⋯⋯⋯----·⋯⋯⋯···⋯⋯··⋯⋯⋯·⋯⋯⋯⋯⋯⋯···⋯⋯5.2基本概念和假设⋯⋯⋯⋯⋯····⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯5.set—theory_schema实体定义·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·····⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯··⋯⋯·一5.set—theory_schema函数定义···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯··1附录A(规范性附录)实体短名⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯1附录B(规范性附录)信息对象注册⋯⋯·⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯-·1附录c(资料性附录)计算机可解释列表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·····⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯1附录D(资料性附录)EXPRESS-G图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯1参考文献⋯⋯⋯⋯⋯⋯⋯⋯·⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯ ⋯⋯⋯19标准分享网免费下载⋯GB/T16656.54—2010/ISO10303-54:2005刖 吾GB/T16656《工业自动化系统与集成产品数据表达与交换》是一项由多个部分组成的标准,各部分单独出版。GB/T16656的所属各部分又组成多个子系列,即:——第1部分至第19部分规定了描述方法;——第20部分至第29部分规定了实现方法;——第30部分至第39部分规定了一致性测试方法与框架;——第40部分至第59部分规定了集成通用资源;——第lOO部分至第199部分规定了集成应用资源;——第200部分至第299部分规定了应用协议;——第300部分至第399部分规定了抽象测试套件;——第400部分至第499部分规定了应用模块;——第500部分至第599部分规定了应用解释构造;——第1000部分至第1999部分规定了应用模块。GB/T16656<<T业自动化系统与集成产品数据表达与交换》现已发布和即将发布的包括以下部分:——第l部分:概述与基本原理;——第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部分:应用协议:配置控制设计;ⅢGB/GB/16656.54—2010/IS10303-54:200——第238部分:应用协议:计算机数值控制器用用解释模型——第501部分:应用解释构造:基于边的线框——第502部分:应用解释构造:基于壳的线框——第503部分:应用解释构造:几何有界二维线框——第504部分:应用解释构造:绘图注释——第505部分:应用解释构造:图样结构与管理——第506部分:应用解释构造:绘图元素——第507部分:应用解释构造:几何有界曲面——第508部分:应用解释构造:非流形曲面——第509部分:应用解释构造:流形曲面——第513部分:应用解释构造:基本边界表达——第520部分:应用解释构造:相关绘图元素——第1001部分:应用模块:外观赋值——第1002部分:应用模块:颜色——第1003部分:应用模块:曲线外观——第1004部分:应用模块:基本几何形状——第1005部分:应用模块:基本拓扑——第1006部分:应用模块:基础表达——第i007部分:应用模块:通用由面外观——第1008部分:应用模块:层赋值——第1009部分:应用模块:形状外观和层本部分是GB/16656的第54部分本部分等同采用国际标准IS10303—54:2005《I业自动化系统与集成产品数据表达与交换54部分:集成通用资源:分类和集合论》,其技术内容和结构与IS10303—54:2005保持一致,在编写则上符合GB/1.2000,为便于使用,做了如下编辑性修改a)删去了IsO前言b)对于带下划线的用于EXPRESS语言描述的各黑体英文实体名、属性名和函数名等,为了维本部分由中国机械工业联合会提出本部分由全国自动化系统与集成标准化技术委员会(SAC/T159)归口本部分主要起草单位:中国标准化研究院Ⅳ标准分享网免费下载GB/T16656.54—2010/15010303—5412005引 言GB/T16656于中性文件的交换,而且也是实现和共享产品数据库及存档的基础。本部分属于集成资源系列,本部分的主要内容包括;——分类模式;——集合论模式。本部分规定了表达类或集合的应用资源以及分类关系。本部分还支持下列集合论关系:——补集;——交集;——幂集;——真子集;——等集;——子集;——并集。使用EXPRESS-G符号描述本部分的模式与其他部分定义的模式的关系如图1所示,ISO10303—11附录D中定义了ExPREsS-G符号。本部分不包括图1ISO10303—41中定义的group—schema(成组模式);ISO10303—41中定义的management—resources—schema(管理资源模式);ISO10303—41中定义的support—resource—schema(支持资源模式)。图1中说明的模式是集成资源的组成部分。∞slgoem\睁一雯一\图1 GB/T16656.54中模式之间的关系1范1范GB/16656.54—2010/Ls10303-54:200工业自动化系统与集成产品数据表达交换第分:集成通用资源分类和集合GB/16656的本部分规定了分类和集合论的集成资源构造本部分适用于——类或集合的存在——由抽象准则定义的类或集合之间的区别,以及由枚举类或集合的成员而定义类和集合之间区别——类或集合与成员之间的分类关系——类或集合成员的全部枚举——类或集合间集合论关系的表达——下列集合论关系·补集●等集·交集●幂集●真子集·子集·并集本部分不适用于——集合或类之间的映射——不是分类或集合论关系的关系——特定连续集合的实体和关系注1:属于本部分的所有实体和关系对离散的和连续的集合都一样有效2;连续集合的实体和关系可以在注解EXPRESS模式中创建,这些注解EXPRESS模式使用或专门指定了如实体discrete_dass_by_intension和continuous_set可能是dass_by_intension的不相交子集opeset和closed_set可能是continuous_set的不相交子集dosere可能是一个open_set和dosed_set间的关系,d循ure是closed_set的boundary2规范性引用文下列文件中的条款通过GB/16656的本部分的引用而成为本部分的条款。凡是注日期的引用部分GB/16262.1信息技术抽象语法记法一(ASN.1)第1部分:基本记法规范(GB/16262.1-2006,ISO/IE8824—1:2002,IDTGB/16656.41—2010工业自动化系统与集成产品数据表达与交换第41部分:集成通用1标准分享网免费下载GB/T16656.54—2010/iso10303—54:2005源:产品描述与支持原理(ISO10303—41:2005,IDT)ISO10303—1:1994工业自动化系统与集成产品数据的表达与交换第1部分:综述与基本原理ISO10303—11:1996工业自动化系统与集成 产品数据表达和交换 第11部分:描述方法:EXPRESS语言参考手册3术语、定义和缩略语3.1 ISO10303-1中定义的术语ISO10303—1中定义的下列术语适用于本部分。——集成资源integrated3.2其他术语和定义下列术语和定义适用于本部分:3.2.1集合;类set;class可以作为一个整体来考虑的一组同类事物。注1:由枚举成员定义的集合是一个“classbyextension”。注2:用准则而非枚举成员定义的集合是一个“classbyintension”。3.3缩略语下列缩略语适用于本部分。URL:统一资源定位符(uniform4分类模式4.1概述classification—schema以下列EXPRESS声明开始并标识必要的外部引用。EXPRESS描述:*)SCHEMAclassification_schema;REFERENCEFROMgroup_schema——GB/T16656.41(group);REFERE/日CEFROMmanagement—resources—schema —GB/T16656.41(classification_assignment);(*注1:以上引用的模式可在GB/T16656系列部分中查到:group_schema G13/T16656.41management_n№Ⅲ’oes_∞hema GB/T16656.41注2:该模式的图解表达,参见附录D。classification—schema规定了类以及类和类成员之间的分类关系。4.2基本概念和假设GB/T16656中定义了不同的实体类型,一个实例可能代表事物的类或集合,代表事物类或集合的实例可通过创建一个复合实例而得到,该复合实例包括:——本部分定义的实体类型类;以及——GB/T16656定义的另外一个实体类型。2GB/T16656.54—2010flSO10303-54:2005成员可作为实体类型类的一个实例,实体类型类的实例和其他实体类型类的实例可涉及到集合论关系,例如并集或交集,带有实体类型类的其他实例。注:GB/T16656.41中的实体类型product,product_def'mition_formation和product_definition的实例可以是类。为了允许集合论关系有这些类,一个应用协议或应用模块能够定义一个如下实体的子类:--productdefmifion_formafion({I自GB/T16656.41);——da豁(本部分)。示例1:泵模型“XYZ_123”是productdefinition_formation和一个类。这个类是一个clam_by_extension。示例2:在维修合同“98/1234”中枚举的泵的集合是一个类。该类是一个class_by_intension。示例3:单个泵“X/85/4567”和表明该泵型号的泵型“XYZ123”问的关系是一个分类。示例4:单个泵“X/85/4567”和枚举在维修合同“98/1234”(即~个分类)。合同涉及的泵的完备集可以由实体类型complete_membership的一个实例定义。示例5:既在维修合同“98/1234”中也在泵模型“XYZ_123”中的泵的集合可以由集合论关系交集定义。4.3 classification_schema4.3.1类型classificationJelectclassification_select类型是可选数据类型的一个可扩充列表。它提供引用数据类型实例的一种机制,这些数据类型包括在所进行扩充的classification_select类型中。注:这个空的可扩充的选择要求扩充在更进一步的模式中,以确保引用它的实体至少有一个有效的实例。EXPRESS描述:*)TYPEclassification_select=EXTENSIBLESELECT;END—TYPE;(*4.3.2类型completemembership_selectcomplete_membership_select的一个机制,这些数据类型包括在所进行扩充的complete_membership—select类型中。注:这个空的可扩充的选择要求扩充在更进一步的模式中,以确保引用它的实体至少有一个有效的实例。complete_membership—select是一个事物,这个事物被指定成一个明确枚举型集合的成员之~。EXPRESS描述:*)TYPEcomplete_membership_select=EXTENSIBLESELECT;END_TYPE;(*4.4classification_schema实体定义4.4.1实体classclass是一种集合形式的group。注1;术语“set”在3.2.1定义。在本部分中“set”和“class”注2:该实体的含义等同于下列实体:在ISO10303—214在GB/T18973.2注3:一个类可能由具有特定特性集的所有事物组成。因此具有特性集合推论信息将赋给这个类。如果一个事物被列为这样一个类的成员,那么可以推论,这个事物具有这个特性集。注4:这个实体可能被实例化成一个涉及GB/T16656中另一个宴体的复合实例。注5:class_by_extension和clam_bLinte璐ion的区别可能不明显。例如,由特殊生产过程产生的项目集可认为是两者中的任何一种。实体类型类并没有指定成抽象的,因此一个应用协议或应用模块能够决定忽略这个区别。EXPRESS描述:GB/T16656.54—2010/ISO10303-54:2005*)ENTITYclasSSUBTYPEOF(group);END—ENTITY;(*4.4.2实体classby_extensionclass_by_extension是一种class,该classEXPRESS描述:*)ENTITYclass_by_extensionSUBTYPEOF(class);END_ENTITY;(*4.4.3实体class_by_intensionclass_by_intension是一种class,该class事物就是这个集合的一个成员。EXPRESS描述:*)ENTITYclass_by_intensionSUBTYPEOF(class);END_ENTITY;(*4.4.4实体classificationclassification是一种classification—assignment,classification—assignment的一种关系:——集合S;和——事物X。事物x是集合s的一个成员。注:这个实体的含义与定义在GB/T18975.2中的实体分类相同。EXPRESS描述:*)ENTITYclassificationSUBTYPEOF(classification_assignment);classified:classification—select;DERIVEclassifier:class:=SELF\classification_assignment.assigned_class;END—ENTITY;(*属性定义;classified:classifier的成员。classifier:把classified作为其一个成员的class。4.4.5实体complete_membershipcomplete—membership是一种classification—assignment,该classification—assignment指的是下面二GB/T16656.54—2010/ISO10303-54:2005者之间这样的一种关系:——集合S;和——枚举事物x。集合s只包括每一个事物X,中的每一个,不包括其他。EXPRESS描述:*)ENTITYcomplete~membershipSUBTYPEOF(classification_assignment);DERIVEcontaining—set:class:=SELF\classificationassignment.assigned_class;END_ENTITY;(*属性定义:containing_set:只包括成员的class4.4.6实体complete_membership_of_empty_setcomplete_membership_of_empty_set是一种complete_membership,对于complete_membership,con-taining_set是空集。EXPRESS描述:*)ENTITYcomplete、—membership_of——empty_setSUBTYPEOF(complete_membership);END_ENTITY;(*4.4.7实体complete_Jnembership_of_non_empty_setcomplete—membership—of—men—empty—set是一种complete—membership,对于complete—membership,containing_set不是空集。EXPRESS描述:*)ENTITYcompletemembership—of_non_empty_setSUBTYPEOF(complete—membership);members:SET[I:?]oFcomplete_membership_select;END_ENTITY;(*属性定义:members:containing—set的元素。4.5class墒cation—卵hem子类约束定义4.5.1 子类约束classification_orcomplete_membershipclassification_or_complete—membership是这样一个规范,一个classification_assignment有完全断言的一个类的一些成员,就是指定完全断言的一个类的所有成员。EXPRESS描述:*)SUBTYPE—CONSTRAINTclassification—or—complete—membershipFORclassification—assign—ment;5GB/T16656.54—20IO/]SO10303—54:20050NEOF(classification,complete_membership)END_SUBTYPE_CONSTRAINT;(**)END_SCHEMA; (*5集合论模式5.1概述下列EXPRESS声明开始于set_theory_schema并且标识了必要的外部引用。EXPRESS描述:*)SCHEMAset—theory_schema;REFERENCEFROMclassification_schema——GB/T16656.54(class);REFERENCEFROMsupport—resource_schema —GB/T1665641(identifier,label,text);(*注l:上面被引用的模式在GB/T16656的如下部分中规定。classification_schema 本部分support_resourceschema GB/T16656.41注2:附录D给出了该模式的一个图解表达。集合论模式规定了类之间的下列关系:——补集;——交集;——幂集;——真子集;——等集;——子集;——并集。5.2基本概念和假设集合论模式定义了类或集合之间的集合论关系。洼1:在本部分中,术语类和集合是同义词。为了使用这个模式,记录类或集合的实体应该是类或类的子类型。示例1:考虑下面类的实例:——泵模型“XYZ_123”,它是一个product_definition_formation和一个类;并且——维修合同“98/1234”中列举了泵的集合。一个关系subset(子集)的实例表明枚举在维修合同“98/1234”中的集合中的每一个泵都属于“XYz_123”示例2:一个组织有A型和B型泵。一些泵处理放射性流体。有下列活动类:——s*A泵;GB/T16656.54—2010/ISO10303-54:2005——SB—B泵;——DR-处理了放射性流体的服务设备。为了实现工作流管理的目的,定义了下面的导出活动类:DRS一处理了放射性流体的服务泵。这个类是SA类与SB类的union与DR类的intersection。5.3 set_theory_schema5.3.1实体complementcomplement是指下列集合之间存在的一种关系;——集合S。;——集合U;以及——集合sz。指出集合s:是由不是s。中的成员的集u的全部成员组成。EXPRESS描述:*)ENTITYcomplement;id :identifier;:label;descriptio“:OPTIONALset—l :class;set一2 :class;universe :class;WHEmcomplement—different:NOTidentical—sets(set—l,set_2)END_ENTITY;(*属性定义:id:name:可以标识这种补集关系的标签。Description:Set_1:在nniverse类中,sell是把set_2作为其补集的类。Set2:在universe类中,set_2是把set_l作为其补集的类。Universe:set_l和set_2的并集的类。形式限制:类不应该明确地说明成与它的补集相同。5.3.2 实体intersectionintersection——集合R;和——集合(S,}的集合。指出集合R由{S.)中的各集合的成员组成。EXPRESS描述:*)ENTITYintersection;GB/T16656.54—2010/塔o10303—54:2005iddescriptionoperandresultant

identifier;label;OPTIONALSET[2:?]oFclass;END_ENTITY;(*属性定义:id:name:可以标识这种交集关系的标签。Description:文本,用于表征交集关系,这个属性的值需要指定。Operand:把resultant作为它们的交集的集合的集合。Resultant:组成集合resultant的每一个成员都是operand5.3.3实体power_setpower_set是指下列集合之间存在的一种关系:——集合s;——集合s’。集合s。是s示例:下面是三个类的实例:“pump”~—一个拥有单个泵成员的类。“commodityclass”——是一个类,把用作采购的商品类作为其成员。“pumpcommodityclass”——是用于采购泵的商品类的类。“pumpcommodityclass”是。commodityclass”和“pump”的幂集的交集。EXPRESS描述:*)ENTITYpower_set;id :identifier;:label;description:OPTIONALtext;base :class;derived WHEREderived_different:NOTidentical—sets(base,derived);ENDENTITY;(*属性定义:id:power—set(幂集)关系的标识。name:Description:是文本,用于表征幂集关系,不需要规定这个属性的值。Base:一个集合,它的幂集是derived集。注:base是derived的并集。derived:base的所有子集组成的集合。形式限制:8GB/T16656.54—2010/IS010303-54:2005一个派生为幂集的类不应该明确地和它派生自的那个类相同。5.3.4实体propersubsetproper_subset是一种子集类型,指下列集合之间的~种关系:——集合A;和——集合B。它们有下列关系:——集合A的每个成员都是集合B的成员,但是——集合A和集合B不相等。EXPRESS描述:*)ENTITYproper—subset;SUBTYPEOF(subset);WHEREsubset—different:NOTidentical—sets(superset,subset);END_ENTITY;(*形式限制:是一个真子集的类不应该明确地和它的超集相同。5.3.5实体same_membershipsame_membership是指下列集合之间存在的一种关系:——集合S。;和——集合sz。这两个集合有同样的成员。因此,集合S。和集合S。是同样的集合。EXPRESS描述:*)ENTITYsame_membership;id :identifier;nme :label;description:OPTIONALsetl :class;set一2 END_ENTITY;(*属性定义:id:me:可以标识这种等集关系的标签。description:Set_l:是一个类,包含和set_2相同的成员。Set_2:是一个类,包含和set_l相同的成员。5.3.6实体subsetsubset——集合A;和——集合B。GB/T16656.54—2010/tso10303-54:2005是指:集合A的每个成员都是集合B注:集合A可以和集合B相等。EXPRESS描述:*)ENTITYsubset;id :identifier;:label;description:OPTIONALsubset :class;superset :class;END_ENTITY;(*属性定义:id:name:可以标识子集关系的标签。description:是文本,用于表征子集关系,这个属性的值需要指定。Subset:仅包含超集成员的类。Superset:包含所有子集成员的类。5.3.7实体unionunion是指下列集合之间的一种关系:——集合R;——集合{Si)的集合。集合R包含了集合(S.)中的集合的每一个成员。EXPRESS描述:*)ENTITYunion;id :identifier;:label;description:OPTIONALtext;operand :SET[2:?]oFresultant :class;END_ENTITY;(*属性定义:id:name:可以标识这种并集关系的标签。Description:是文本,用于表征并集关系,这个属性的值需要指定。Operund:把resultant作为它们的并集的集合的集合。Resultant:是一个集合,组成集合resultant的每一个成员都是operand5.3.8 实体union_of_all_membersunion_of_au—members是下列两个集合之间的关系:——集合R;和】0GB/T16656.54—20lO/ISO10303-54:2005——集合S。集合s的每一个成员是一个集合,集合R包含了集合R中的集合的每一个成员。示例:例如有这样一个类,这个类是范围从lo℃~20℃的温度,15℃的温度是这个范围的一个成员。温度15℃是这个类的一个成员。由热力在15℃~20℃范围内的所有对象组成的类就是范围从10℃--20℃度的union_ofall_members。注:实体union_otalLmembers和uaion相同,它被用在operand(操作数)集有多数或无限的成员的地方。EXPRESSspecification:K-)ENTITYunion—of—all—members;id:identifier;name:label;description:OPTIONALoperand:class;resultant:class;WHEREresultantdifferent:NOTidentical—sets(operand,resultant);END_ENTITY;(*属性定义:id:union—of_alLmembers关系的标识。nalne:可以标识union—of—all—members关系的标签。Description:用于表征union_of_all_members关系的文本,这个属性的值需要指定。Operand:把resultant作为它们的并集的集合的集合。Resultant:是一个集合,组成集合resultant的每一个成员都是operand形式限制:一个类,它是其他类的一个集合的并集,不应该明确地和类的集合相等。5.4set_theory_schema函数定义5.4.1 函数Identical_setsIdentical—sets地说明为相同的。EXPRESS描述:*)FUNCTIONidentical—sets(set—a:class,set_b:class):BOOLEAN;LOCALset—of_sets:SETOFclass:=[];ENDIF(set—a=set_b)THENRETURN(TRUE);END_IF;set—of—sets:=set—of—sets+set—b;RETURN(identical—to_one_of—set—of—sets(set_a,set—of—sets))GB/T16656.54—2010nso10303—54:2005END_FUNCTION;(*参数定义:Set_a:根据Set_bSet_b:根据Set—S来测试类的实例。identical_to_one_of_set_ofsets或多个相同关系的实例链明确地被说明和集合中的集合成员相同。EXPRESS描述:*)FL瑚CTIONidentical_to_oneofsetofsets(set_a:class,setof_sets:SETOFclass):BOOLEAN;LOCALi :INTEGER;initial—size :INTEGER;augmented_size :INTEGER;set—of—forward_equivalences :SETOFsame—membership:=[];set_of_backward_equivalences:SETOFsame_membership:;口;augmented_set—of—sets :SETOFclass:=[];END—LOCAL;一testmembershipofthespecifiedsetofsetsIF(set_aINset_of-sets)THENRETURN(TRUE);END—IF;extendthespecifiedsettoincludeallsetsthathavethemembershipexistingmemberinitial—size:=SIZEOF(set—of—sets)IF(initial—size=0)THENRETURN(FALSE);END_IF;REPEATi:=1TOinitial—size;set—of—forward_equivalences:=set—of—forward_equivalences+USEDIN(set_of—setsEl],SET_THEORY-SCHEMA.SAME_MEMBERSHIP.SET一1’);set—of—backward-equivalences:=set_of—forward_equivalences+USEDIN(set—of—sets[i],SET_THEORY-SCHEMA.SAME_MEMBERSHIP.SET2’);END—REPEAT;augmented_set.of—sets:。set—of—sets;IF(SIZEOF(set—of—forward_equivalences)>0)THEN12GB/T16656。54—2010/IS010303—54=2005REPEATi!=1toHIINDEX(set_of—forward-equivalences);augmented_set—of—sets:。augmented_set_of—sets+setof—forward—equivalences[i].set一2;END_REPEAT;END—IF;IF(SlZEOF(set—of_backwarcLequivalences)>0)THENREPEATi:=1toHIINDEX(set—of—backward_equivalences);augmented_set—of—sets:。augmented_set_of—sets+set—of—backward_equivalences[i].set-1;END—REPEAT;ENDIF;——ifthespecifiedsetofsetshasbeenaugmented,thentestmembershipaugmented_size:=SIZEOF(augmented_set—of—sets)IFaugmented_size=initiaj—sizeTHENRETURN(FALSE);END—IF;RETURN(identical—to_one_ofset—of_sets(set_a,augmented_set—of_sets))END_FUNCTION;(*参数定义:Set—a:根据set_of_sets来测试类的实例。set_ofsets:13GB/T16656.54—2010/IS010303-54:2005附录A实体短名表A.1给出了本部分MIM中定义的实体短名。使用短名的具体要求见GB/T16656的实现方法。注:EXPRESS实体名可在因特网上找到:<http;//www.reel.nist.gov.cn/div826/subject/apde/snr/)。表A.1实体短名实体数据类型名称 短 名Class CLASSclass_by_extension CLBYEXclass—by_i

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论