a亙ICS25．040．40L67a亙中華人民共和國(guó)國(guó)家標(biāo)準(zhǔn)GB／T16656．54—2010／iso10303-54：2005工業(yè)自動(dòng)化系統(tǒng)與集成 產(chǎn)品數(shù)據(jù)表達(dá)與交換第54部分：集成通用資源：分類(lèi)和集合論Industrialautomationsystemsandintegration--ProductdatarepresentatiOnandexchange--Part54：Integratedgenericresource：Classificationandsettheory(IS010303—54：2005，IDT)2011-01-14發(fā)布 2011-05-01實(shí)施標(biāo)委19GB／16656．54—2010／Is10303—54：200前言???????????????·????··????????????????????}f范圍????????????????????·?·???????????····?????2規(guī)范性引用文件???????????????????????··?·?????????3術(shù)語(yǔ)、定義和縮略語(yǔ)???·?????????????????????????????一3．IS10303—1中定義的術(shù)語(yǔ)?????···???????????···??????????3．2其他術(shù)語(yǔ)和定義···??????·???????????·??????··???????··3．3縮略語(yǔ)?????????????????????????????···??????···4分類(lèi)模式????????????????????·???????????·?????·4．1概述???···?????????????··-????????????????????4．2基本概念和假設(shè)????????·??????????????··?????·?···??-·4．classification—schema類(lèi)型定義???·???????????????????????一4．classification—schema實(shí)體定義?????··??????··?··???···?????????4一classification—schema子類(lèi)約束定義???···??????·??????··?????··??·5集合論模式??????·?????··?????·?????··???????·?????··5．1概述????··-------·???··----?????----·???···??··???·??????···??5．2基本概念和假設(shè)?????····????··??????????????????????5．set—theory_schema實(shí)體定義·????????????·····????·??????··??·一5．set—theory_schema函數(shù)定義···????????????????????????·?··1附錄A(規(guī)范性附錄)實(shí)體短名??·???????????··??????????????1附錄B(規(guī)范性附錄)信息對(duì)象注冊(cè)??·??????··?????????????·???-·1附錄c(資料性附錄)計(jì)算機(jī)可解釋列表??????????·····????·????????1附錄D(資料性附錄)EXPRESS-G圖?????????????????????????1參考文獻(xiàn)????????·?···?????????????????·?????? ???19標(biāo)準(zhǔn)分享網(wǎng)免費(fèi)下載?GB／T16656．54—2010／ISO10303-54：2005刖 吾GB／T16656《工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換》是一項(xiàng)由多個(gè)部分組成的標(biāo)準(zhǔn)，各部分單獨(dú)出版。GB／T16656的所屬各部分又組成多個(gè)子系列，即：——第1部分至第19部分規(guī)定了描述方法；——第20部分至第29部分規(guī)定了實(shí)現(xiàn)方法；——第30部分至第39部分規(guī)定了一致性測(cè)試方法與框架；——第40部分至第59部分規(guī)定了集成通用資源；——第lOO部分至第199部分規(guī)定了集成應(yīng)用資源；——第200部分至第299部分規(guī)定了應(yīng)用協(xié)議；——第300部分至第399部分規(guī)定了抽象測(cè)試套件；——第400部分至第499部分規(guī)定了應(yīng)用模塊；——第500部分至第599部分規(guī)定了應(yīng)用解釋構(gòu)造；——第1000部分至第1999部分規(guī)定了應(yīng)用模塊。GB／T16656<<T業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換》現(xiàn)已發(fā)布和即將發(fā)布的包括以下部分：——第l部分：概述與基本原理；——第11部分：描述方法：EXPRESS語(yǔ)言參考手冊(cè)；——第21部分：實(shí)現(xiàn)方法：交換文件結(jié)構(gòu)的純正文編碼；——第28部分：實(shí)現(xiàn)方法：EXPRESS模式與數(shù)據(jù)的XML表達(dá)(使用XML模式)；——第31部分：一致性測(cè)試方法論與框架：基本概念；——第32部分：一致性測(cè)試方法論與框架：對(duì)測(cè)試實(shí)驗(yàn)室與客戶(hù)的要求；——第34部分：一致性測(cè)試方法論與框架：應(yīng)用協(xié)議實(shí)現(xiàn)的抽象測(cè)試方法；——第41部分：集成通用資源：產(chǎn)品描述與支持原理；——第42部分：集成通用資源：幾何與拓?fù)浔磉_(dá)；——第43部分：集成通用資源：表達(dá)結(jié)構(gòu)；——第44部分：集成通用資源：產(chǎn)品結(jié)構(gòu)配置；——第45部分：集成通用資源：材料；——第46部分：集成通用資源：可視化顯示；——第47部分：集成通用資源：形狀變化公差；——第49部分：集成通用資源：工藝過(guò)程結(jié)構(gòu)和特性；——第51部分：集成通用資源：數(shù)學(xué)表達(dá)；——第54部分：集成通用資源：分類(lèi)和集合論；——第55部分：集成通用資源：過(guò)程與混合表達(dá)；——第56部分：集成通用資源：狀態(tài)；——第101部分：集成應(yīng)用資源：繪圖；——第105部分：集成應(yīng)用資源：運(yùn)動(dòng)學(xué)；——第201部分：應(yīng)用協(xié)議：顯式繪圖；——第202部分：應(yīng)用協(xié)議：相關(guān)繪圖；——第203部分：應(yīng)用協(xié)議：配置控制設(shè)計(jì)；ⅢGB／GB／16656．54—2010／IS10303-54：200——第238部分：應(yīng)用協(xié)議：計(jì)算機(jī)數(shù)值控制器用用解釋模型——第501部分：應(yīng)用解釋構(gòu)造：基于邊的線(xiàn)框——第502部分：應(yīng)用解釋構(gòu)造：基于殼的線(xiàn)框——第503部分：應(yīng)用解釋構(gòu)造：幾何有界二維線(xiàn)框——第504部分：應(yīng)用解釋構(gòu)造：繪圖注釋——第505部分：應(yīng)用解釋構(gòu)造：圖樣結(jié)構(gòu)與管理——第506部分：應(yīng)用解釋構(gòu)造：繪圖元素——第507部分：應(yīng)用解釋構(gòu)造：幾何有界曲面——第508部分：應(yīng)用解釋構(gòu)造：非流形曲面——第509部分：應(yīng)用解釋構(gòu)造：流形曲面——第513部分：應(yīng)用解釋構(gòu)造：基本邊界表達(dá)——第520部分：應(yīng)用解釋構(gòu)造：相關(guān)繪圖元素——第1001部分：應(yīng)用模塊：外觀賦值——第1002部分：應(yīng)用模塊：顏色——第1003部分：應(yīng)用模塊：曲線(xiàn)外觀——第1004部分：應(yīng)用模塊：基本幾何形狀——第1005部分：應(yīng)用模塊：基本拓?fù)洹?006部分：應(yīng)用模塊：基礎(chǔ)表達(dá)——第i007部分：應(yīng)用模塊：通用由面外觀——第1008部分：應(yīng)用模塊：層賦值——第1009部分：應(yīng)用模塊：形狀外觀和層本部分是GB／16656的第54部分本部分等同采用國(guó)際標(biāo)準(zhǔn)IS10303—54：2005《I業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換54部分：集成通用資源：分類(lèi)和集合論》，其技術(shù)內(nèi)容和結(jié)構(gòu)與IS10303—54：2005保持一致，在編寫(xiě)則上符合GB／1．2000，為便于使用，做了如下編輯性修改a)刪去了IsO前言b)對(duì)于帶下劃線(xiàn)的用于EXPRESS語(yǔ)言描述的各黑體英文實(shí)體名、屬性名和函數(shù)名等，為了維本部分由中國(guó)機(jī)械工業(yè)聯(lián)合會(huì)提出本部分由全國(guó)自動(dòng)化系統(tǒng)與集成標(biāo)準(zhǔn)化技術(shù)委員會(huì)(SAC／T159)歸口本部分主要起草單位：中國(guó)標(biāo)準(zhǔn)化研究院Ⅳ標(biāo)準(zhǔn)分享網(wǎng)免費(fèi)下載GB／T16656．54—2010／15010303—5412005引 言GB／T16656于中性文件的交換，而且也是實(shí)現(xiàn)和共享產(chǎn)品數(shù)據(jù)庫(kù)及存檔的基礎(chǔ)。本部分屬于集成資源系列，本部分的主要內(nèi)容包括；——分類(lèi)模式；——集合論模式。本部分規(guī)定了表達(dá)類(lèi)或集合的應(yīng)用資源以及分類(lèi)關(guān)系。本部分還支持下列集合論關(guān)系：——補(bǔ)集；——交集；——冪集；——真子集；——等集；——子集；——并集。使用EXPRESS-G符號(hào)描述本部分的模式與其他部分定義的模式的關(guān)系如圖1所示，ISO10303—11附錄D中定義了ExPREsS-G符號(hào)。本部分不包括圖1ISO10303—41中定義的group—schema(成組模式)；ISO10303—41中定義的management—resources—schema(管理資源模式)；ISO10303—41中定義的support—resource—schema(支持資源模式)。圖1中說(shuō)明的模式是集成資源的組成部分?！辳lgoem＼睜一雯一＼圖1 GB／T16656．54中模式之間的關(guān)系1范1范GB／16656．54—2010／Ls10303-54：200工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)交換第分：集成通用資源分類(lèi)和集合GB／16656的本部分規(guī)定了分類(lèi)和集合論的集成資源構(gòu)造本部分適用于——類(lèi)或集合的存在——由抽象準(zhǔn)則定義的類(lèi)或集合之間的區(qū)別，以及由枚舉類(lèi)或集合的成員而定義類(lèi)和集合之間區(qū)別——類(lèi)或集合與成員之間的分類(lèi)關(guān)系——類(lèi)或集合成員的全部枚舉——類(lèi)或集合間集合論關(guān)系的表達(dá)——下列集合論關(guān)系·補(bǔ)集●等集·交集●冪集●真子集·子集·并集本部分不適用于——集合或類(lèi)之間的映射——不是分類(lèi)或集合論關(guān)系的關(guān)系——特定連續(xù)集合的實(shí)體和關(guān)系注1：屬于本部分的所有實(shí)體和關(guān)系對(duì)離散的和連續(xù)的集合都一樣有效2；連續(xù)集合的實(shí)體和關(guān)系可以在注解EXPRESS模式中創(chuàng)建，這些注解EXPRESS模式使用或?qū)ｉT(mén)指定了如實(shí)體discrete_dass_by_intension和continuous_set可能是dass_by_intension的不相交子集opeset和closed_set可能是continuous_set的不相交子集dosere可能是一個(gè)open_set和dosed_set間的關(guān)系，d循ure是closed_set的boundary2規(guī)范性引用文下列文件中的條款通過(guò)GB／16656的本部分的引用而成為本部分的條款。凡是注日期的引用部分GB／16262．1信息技術(shù)抽象語(yǔ)法記法一(ASN．1)第1部分：基本記法規(guī)范(GB／16262．1-2006，ISO／IE8824—1：2002，IDTGB／16656．41—2010工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達(dá)與交換第41部分：集成通用1標(biāo)準(zhǔn)分享網(wǎng)免費(fèi)下載GB／T16656．54—2010／iso10303—54：2005源：產(chǎn)品描述與支持原理(ISO10303—41：2005，IDT)ISO10303—1：1994工業(yè)自動(dòng)化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)的表達(dá)與交換第1部分：綜述與基本原理ISO10303—11：1996工業(yè)自動(dòng)化系統(tǒng)與集成 產(chǎn)品數(shù)據(jù)表達(dá)和交換 第11部分：描述方法：EXPRESS語(yǔ)言參考手冊(cè)3術(shù)語(yǔ)、定義和縮略語(yǔ)3．1 ISO10303-1中定義的術(shù)語(yǔ)ISO10303—1中定義的下列術(shù)語(yǔ)適用于本部分?！少Y源integrated3．2其他術(shù)語(yǔ)和定義下列術(shù)語(yǔ)和定義適用于本部分：3．2．1集合；類(lèi)set；class可以作為一個(gè)整體來(lái)考慮的一組同類(lèi)事物。注1：由枚舉成員定義的集合是一個(gè)“classbyextension”。注2：用準(zhǔn)則而非枚舉成員定義的集合是一個(gè)“classbyintension”。3．3縮略語(yǔ)下列縮略語(yǔ)適用于本部分。URL：統(tǒng)一資源定位符(uniform4分類(lèi)模式4．1概述classification—schema以下列EXPRESS聲明開(kāi)始并標(biāo)識(shí)必要的外部引用。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á)，參見(jiàn)附錄D。classification—schema規(guī)定了類(lèi)以及類(lèi)和類(lèi)成員之間的分類(lèi)關(guān)系。4．2基本概念和假設(shè)GB／T16656中定義了不同的實(shí)體類(lèi)型，一個(gè)實(shí)例可能代表事物的類(lèi)或集合，代表事物類(lèi)或集合的實(shí)例可通過(guò)創(chuàng)建一個(gè)復(fù)合實(shí)例而得到，該復(fù)合實(shí)例包括：——本部分定義的實(shí)體類(lèi)型類(lèi)；以及——GB／T16656定義的另外一個(gè)實(shí)體類(lèi)型。2GB／T16656．54—2010flSO10303-54：2005成員可作為實(shí)體類(lèi)型類(lèi)的一個(gè)實(shí)例，實(shí)體類(lèi)型類(lèi)的實(shí)例和其他實(shí)體類(lèi)型類(lèi)的實(shí)例可涉及到集合論關(guān)系，例如并集或交集，帶有實(shí)體類(lèi)型類(lèi)的其他實(shí)例。注：GB／T16656．41中的實(shí)體類(lèi)型product，product_def'mition_formation和product_definition的實(shí)例可以是類(lèi)。為了允許集合論關(guān)系有這些類(lèi)，一個(gè)應(yīng)用協(xié)議或應(yīng)用模塊能夠定義一個(gè)如下實(shí)體的子類(lèi)：--productdefmifion_formafion({I自GB／T16656．41)；——da豁(本部分)。示例1：泵模型“XYZ_123”是productdefinition_formation和一個(gè)類(lèi)。這個(gè)類(lèi)是一個(gè)clam_by_extension。示例2：在維修合同“98／1234”中枚舉的泵的集合是一個(gè)類(lèi)。該類(lèi)是一個(gè)class_by_intension。示例3：?jiǎn)蝹€(gè)泵“X／85／4567”和表明該泵型號(hào)的泵型“XYZ123”問(wèn)的關(guān)系是一個(gè)分類(lèi)。示例4：?jiǎn)蝹€(gè)泵“X／85／4567”和枚舉在維修合同“98／1234”(即～個(gè)分類(lèi))。合同涉及的泵的完備集可以由實(shí)體類(lèi)型complete_membership的一個(gè)實(shí)例定義。示例5：既在維修合同“98／1234”中也在泵模型“XYZ_123”中的泵的集合可以由集合論關(guān)系交集定義。4．3 classification_schema4．3．1類(lèi)型classificationJelectclassification_select類(lèi)型是可選數(shù)據(jù)類(lèi)型的一個(gè)可擴(kuò)充列表。它提供引用數(shù)據(jù)類(lèi)型實(shí)例的一種機(jī)制，這些數(shù)據(jù)類(lèi)型包括在所進(jìn)行擴(kuò)充的classification_select類(lèi)型中。注：這個(gè)空的可擴(kuò)充的選擇要求擴(kuò)充在更進(jìn)一步的模式中，以確保引用它的實(shí)體至少有一個(gè)有效的實(shí)例。EXPRESS描述：*)TYPEclassification_select=EXTENSIBLESELECT；END—TYPE；(*4．3．2類(lèi)型completemembership_selectcomplete_membership_select的一個(gè)機(jī)制，這些數(shù)據(jù)類(lèi)型包括在所進(jìn)行擴(kuò)充的complete_membership—select類(lèi)型中。注：這個(gè)空的可擴(kuò)充的選擇要求擴(kuò)充在更進(jìn)一步的模式中，以確保引用它的實(shí)體至少有一個(gè)有效的實(shí)例。complete_membership—select是一個(gè)事物，這個(gè)事物被指定成一個(gè)明確枚舉型集合的成員之～。EXPRESS描述：*)TYPEcomplete_membership_select=EXTENSIBLESELECT；END_TYPE；(*4．4classification_schema實(shí)體定義4．4．1實(shí)體classclass是一種集合形式的group。注1；術(shù)語(yǔ)“set”在3．2．1定義。在本部分中“set”和“class”注2：該實(shí)體的含義等同于下列實(shí)體：在ISO10303—214在GB／T18973．2注3：一個(gè)類(lèi)可能由具有特定特性集的所有事物組成。因此具有特性集合推論信息將賦給這個(gè)類(lèi)。如果一個(gè)事物被列為這樣一個(gè)類(lèi)的成員，那么可以推論，這個(gè)事物具有這個(gè)特性集。注4：這個(gè)實(shí)體可能被實(shí)例化成一個(gè)涉及GB／T16656中另一個(gè)宴體的復(fù)合實(shí)例。注5：class_by_extension和clam_bLinte璐ion的區(qū)別可能不明顯。例如，由特殊生產(chǎn)過(guò)程產(chǎn)生的項(xiàng)目集可認(rèn)為是兩者中的任何一種。實(shí)體類(lèi)型類(lèi)并沒(méi)有指定成抽象的，因此一個(gè)應(yīng)用協(xié)議或應(yīng)用模塊能夠決定忽略這個(gè)區(qū)別。EXPRESS描述：GB／T16656．54—2010／ISO10303-54：2005*)ENTITYclasSSUBTYPEOF(group)；END—ENTITY；(*4．4．2實(shí)體classby_extensionclass_by_extension是一種class，該classEXPRESS描述：*)ENTITYclass_by_extensionSUBTYPEOF(class)；END_ENTITY；(*4．4．3實(shí)體class_by_intensionclass_by_intension是一種class，該class事物就是這個(gè)集合的一個(gè)成員。EXPRESS描述：*)ENTITYclass_by_intensionSUBTYPEOF(class)；END_ENTITY；(*4．4．4實(shí)體classificationclassification是一種classification—assignment，classification—assignment的一種關(guān)系：——集合S；和——事物X。事物x是集合s的一個(gè)成員。注：這個(gè)實(shí)體的含義與定義在GB／T18975．2中的實(shí)體分類(lèi)相同。EXPRESS描述：*)ENTITYclassificationSUBTYPEOF(classification_assignment)；classified：classification—select；DERIVEclassifier：class：=SELF＼classification_assignment．a(chǎn)ssigned_class；END—ENTITY；(*屬性定義；classified：classifier的成員。classifier：把classified作為其一個(gè)成員的class。4．4．5實(shí)體complete_membershipcomplete—membership是一種classification—assignment，該classification—assignment指的是下面二GB／T16656．54—2010／ISO10303-54：2005者之間這樣的一種關(guān)系：——集合S；和——枚舉事物x。集合s只包括每一個(gè)事物X，中的每一個(gè)，不包括其他。EXPRESS描述：*)ENTITYcomplete～membershipSUBTYPEOF(classification_assignment)；DERIVEcontaining—set：class：=SELF＼classificationassignment．a(chǎn)ssigned_class；END_ENTITY；(*屬性定義：containing_set：只包括成員的class4．4．6實(shí)體complete_membership_of_empty_setcomplete_membership_of_empty_set是一種complete_membership，對(duì)于complete_membership，con-taining_set是空集。EXPRESS描述：*)ENTITYcomplete、—membership_of——empty_setSUBTYPEOF(complete_membership)；END_ENTITY；(*4．4．7實(shí)體complete_Jnembership_of_non_empty_setcomplete—membership—of—men—empty—set是一種complete—membership，對(duì)于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子類(lèi)約束定義4．5．1 子類(lèi)約束classification_orcomplete_membershipclassification_or_complete—membership是這樣一個(gè)規(guī)范，一個(gè)classification_assignment有完全斷言的一個(gè)類(lèi)的一些成員，就是指定完全斷言的一個(gè)類(lèi)的所有成員。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聲明開(kāi)始于set_theory_schema并且標(biāo)識(shí)了必要的外部引用。EXPRESS描述：*)SCHEMAset—theory_schema；REFERENCEFROMclassification_schema——GB／T16656．54(class)；REFERENCEFROMsupport—resource_schema —GB／T1665641(identifier，label，text)；(*注l：上面被引用的模式在GB／T16656的如下部分中規(guī)定。classification_schema 本部分support_resourceschema GB／T16656．41注2：附錄D給出了該模式的一個(gè)圖解表達(dá)。集合論模式規(guī)定了類(lèi)之間的下列關(guān)系：——補(bǔ)集；——交集；——冪集；——真子集；——等集；——子集；——并集。5．2基本概念和假設(shè)集合論模式定義了類(lèi)或集合之間的集合論關(guān)系。洼1：在本部分中，術(shù)語(yǔ)類(lèi)和集合是同義詞。為了使用這個(gè)模式，記錄類(lèi)或集合的實(shí)體應(yīng)該是類(lèi)或類(lèi)的子類(lèi)型。示例1：考慮下面類(lèi)的實(shí)例：——泵模型“XYZ_123”，它是一個(gè)product_definition_formation和一個(gè)類(lèi)；并且——維修合同“98／1234”中列舉了泵的集合。一個(gè)關(guān)系subset(子集)的實(shí)例表明枚舉在維修合同“98／1234”中的集合中的每一個(gè)泵都屬于“XYz_123”示例2：一個(gè)組織有A型和B型泵。一些泵處理放射性流體。有下列活動(dòng)類(lèi)：——s*A泵；GB／T16656．54—2010／ISO10303-54：2005——SB—B泵；——DR-處理了放射性流體的服務(wù)設(shè)備。為了實(shí)現(xiàn)工作流管理的目的，定義了下面的導(dǎo)出活動(dòng)類(lèi)：DRS一處理了放射性流體的服務(wù)泵。這個(gè)類(lèi)是SA類(lèi)與SB類(lèi)的union與DR類(lèi)的intersection。5．3 set_theory_schema5．3．1實(shí)體complementcomplement是指下列集合之間存在的一種關(guān)系；——集合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：可以標(biāo)識(shí)這種補(bǔ)集關(guān)系的標(biāo)簽。Description：Set_1：在nniverse類(lèi)中，sell是把set_2作為其補(bǔ)集的類(lèi)。Set2：在universe類(lèi)中，set_2是把set_l作為其補(bǔ)集的類(lèi)。Universe：set_l和set_2的并集的類(lèi)。形式限制：類(lèi)不應(yīng)該明確地說(shuō)明成與它的補(bǔ)集相同。5．3．2 實(shí)體intersectionintersection——集合R；和——集合(S，}的集合。指出集合R由{S．)中的各集合的成員組成。EXPRESS描述：*)ENTITYintersection；GB／T16656．54—2010／塔o10303—54：2005iddescriptionoperandresultant

identifier；label；OPTIONALSET[2：?]oFclass；END_ENTITY；(*屬性定義：id：name：可以標(biāo)識(shí)這種交集關(guān)系的標(biāo)簽。Description：文本，用于表征交集關(guān)系，這個(gè)屬性的值需要指定。Operand：把resultant作為它們的交集的集合的集合。Resultant：組成集合resultant的每一個(gè)成員都是operand5．3．3實(shí)體power_setpower_set是指下列集合之間存在的一種關(guān)系：——集合s；——集合s’。集合s。是s示例：下面是三個(gè)類(lèi)的實(shí)例：“pump”～—一個(gè)擁有單個(gè)泵成員的類(lèi)。“commodityclass”——是一個(gè)類(lèi)，把用作采購(gòu)的商品類(lèi)作為其成員?！皃umpcommodityclass”——是用于采購(gòu)泵的商品類(lèi)的類(lèi)?！皃umpcommodityclass”是。commodityclass”和“pump”的冪集的交集。EXPRESS描述：*)ENTITYpower_set；id ：identifier；：label；description：OPTIONALtext；base ：class；derived WHEREderived_different：NOTidentical—sets(base，derived)；ENDENTITY；(*屬性定義：id：power—set(冪集)關(guān)系的標(biāo)識(shí)。name：Description：是文本，用于表征冪集關(guān)系，不需要規(guī)定這個(gè)屬性的值。Base：一個(gè)集合，它的冪集是derived集。注：base是derived的并集。derived：base的所有子集組成的集合。形式限制：8GB／T16656．54—2010／IS010303-54：2005一個(gè)派生為冪集的類(lèi)不應(yīng)該明確地和它派生自的那個(gè)類(lèi)相同。5．3．4實(shí)體propersubsetproper_subset是一種子集類(lèi)型，指下列集合之間的～種關(guān)系：——集合A；和——集合B。它們有下列關(guān)系：——集合A的每個(gè)成員都是集合B的成員，但是——集合A和集合B不相等。EXPRESS描述：*)ENTITYproper—subset；SUBTYPEOF(subset)；WHEREsubset—different：NOTidentical—sets(superset，subset)；END_ENTITY；(*形式限制：是一個(gè)真子集的類(lèi)不應(yīng)該明確地和它的超集相同。5．3．5實(shí)體same_membershipsame_membership是指下列集合之間存在的一種關(guān)系：——集合S。；和——集合sz。這兩個(gè)集合有同樣的成員。因此，集合S。和集合S。是同樣的集合。EXPRESS描述：*)ENTITYsame_membership；id ：identifier；nme ：label；description：OPTIONALsetl ：class；set一2 END_ENTITY；(*屬性定義：id：me：可以標(biāo)識(shí)這種等集關(guān)系的標(biāo)簽。description：Set_l：是一個(gè)類(lèi)，包含和set_2相同的成員。Set_2：是一個(gè)類(lèi)，包含和set_l相同的成員。5．3．6實(shí)體subsetsubset——集合A；和——集合B。GB／T16656．54—2010／tso10303-54：2005是指：集合A的每個(gè)成員都是集合B注：集合A可以和集合B相等。EXPRESS描述：*)ENTITYsubset；id ：identifier；：label；description：OPTIONALsubset ：class；superset ：class；END_ENTITY；(*屬性定義：id：name：可以標(biāo)識(shí)子集關(guān)系的標(biāo)簽。description：是文本，用于表征子集關(guān)系，這個(gè)屬性的值需要指定。Subset：僅包含超集成員的類(lèi)。Superset：包含所有子集成員的類(lèi)。5．3．7實(shí)體unionunion是指下列集合之間的一種關(guān)系：——集合R；——集合{Si)的集合。集合R包含了集合(S．)中的集合的每一個(gè)成員。EXPRESS描述：*)ENTITYunion；id ：identifier；：label；description：OPTIONALtext；operand ：SET[2：?]oFresultant ：class；END_ENTITY；(*屬性定義：id：name：可以標(biāo)識(shí)這種并集關(guān)系的標(biāo)簽。Description：是文本，用于表征并集關(guān)系，這個(gè)屬性的值需要指定。Operund：把resultant作為它們的并集的集合的集合。Resultant：是一個(gè)集合，組成集合resultant的每一個(gè)成員都是operand5．3．8 實(shí)體union_of_all_membersunion_of_au—members是下列兩個(gè)集合之間的關(guān)系：——集合R；和】0GB／T16656．54—20lO／ISO10303-54：2005——集合S。集合s的每一個(gè)成員是一個(gè)集合，集合R包含了集合R中的集合的每一個(gè)成員。示例：例如有這樣一個(gè)類(lèi)，這個(gè)類(lèi)是范圍從lo℃～20℃的溫度，15℃的溫度是這個(gè)范圍的一個(gè)成員。溫度15℃是這個(gè)類(lèi)的一個(gè)成員。由熱力在15℃～20℃范圍內(nèi)的所有對(duì)象組成的類(lèi)就是范圍從10℃--20℃度的union_ofall_members。注：實(shí)體union_otalLmembers和uaion相同，它被用在operand(操作數(shù))集有多數(shù)或無(wú)限的成員的地方。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關(guān)系的標(biāo)識(shí)。nalne：可以標(biāo)識(shí)union—of—all—members關(guān)系的標(biāo)簽。Description：用于表征union_of_all_members關(guān)系的文本，這個(gè)屬性的值需要指定。Operand：把resultant作為它們的并集的集合的集合。Resultant：是一個(gè)集合，組成集合resultant的每一個(gè)成員都是operand形式限制：一個(gè)類(lèi)，它是其他類(lèi)的一個(gè)集合的并集，不應(yīng)該明確地和類(lèi)的集合相等。5．4set_theory_schema函數(shù)定義5．4．1 函數(shù)Identical_setsIdentical—sets地說(shuō)明為相同的。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；(*參數(shù)定義：Set_a：根據(jù)Set_bSet_b：根據(jù)Set—S來(lái)測(cè)試類(lèi)的實(shí)例。identical_to_one_of_set_ofsets或多個(gè)相同關(guān)系的實(shí)例鏈明確地被說(shuō)明和集合中的集合成員相同。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；(*參數(shù)定義：Set—a：根據(jù)set_of_sets來(lái)測(cè)試類(lèi)的實(shí)例。set_ofsets：13GB／T16656．54—2010／IS010303-54：2005附錄A實(shí)體短名表A．1給出了本部分MIM中定義的實(shí)體短名。使用短名的具體要求見(jiàn)GB／T16656的實(shí)現(xiàn)方法。注：EXPRESS實(shí)體名可在因特網(wǎng)上找到：<http；／／www．reel．nist．gov．cn／div826／subject／apde／snr／)。表A．1實(shí)體短名實(shí)體數(shù)據(jù)類(lèi)型名稱(chēng) 短 名Class CLASSclass_by_extension CLBYEXclass—by_i