GBT17645.24(4)-2003工业自动化系统与集成零件库第24部分逻辑资源：供应商库的逻辑模型(4).pdf 50页

'免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002＋SELFsimple_domain.referenced-by.item-of.defines)）OR（（（"ISO13584-TABLE-RESOURCE-SCHEMA"＋’．COI.UMN_TRAVERSAL_VARIABLE_SEMANTICS"）INTYPEOF(sem)））AND(semcolumn_traversal_variable_semantics.domainINcollects_columns(from_table)）））＝［］；END-ENTITY；一table-defined-value（＊属性定义：from-table:table-expression定义规定域的表。形式限制：WRI:SELFsimple-domain.referenced-by.item-of.defines属性定义的variable-semantics属于表的列，如它的SELF.from＿tabletable-expression.its-columns(SELF．来自表＼表表达式．它的列）属性。WR2:SELFsimple-domain.referenced-by.item-of.assumes中定义variable-semantics将包括由SELF.from＿tabletable-expression.the_key(SELF．来自表＼表表达式．关键字）属性定义的表的关键字。WR3:table-expression中的used-variables属于SELFsimple-domain.referenced-by.item-of.defines的variable-semantics或SELFsimple-domain.referenced-by.item-of.assumes的variable-se-mantics关联的变量集合。10.4.16空的定义值null-defined-value（空的定义值）表明给变量没有赋值。注：当变量与定义为可选的variable-semantic、关联时，null_defined_value才能被使用。当null-defined-value定义变量的值域时，与该variablesemantic、关联的任何变量没有任何值。例：在ISO13584-library-content-schema中，一个属性可以被定义为可选的。如果与这个属性关联的值域是null-definedvalue，这意味着属性不存在。EXPRESS描述：二）ENTITYnull-defined-valueSUBTYPEOF(simple_functional_domain)；WHEREWR1：SIZEOF(SELFsimple-domain.referenced-by.item-of.defines)＝1；ENDENTITY；一null-defined-value（＊形式限制：WR1：这个实体仅定义了一个variable一semantics的值。10.5ISO13584域资源模式函数定义本条包括ISO13584-domain-resource_SChema(ISO13584域资源模式）中的EXPRESS函数定义。10.5.1汇集变f函数collects＿variables（汇集变量）函数汇集所有与variable-semantics链表关联的generic-variableso它使用在ISO13584-library-expressions-schema中定义的syntax-of函数。EXPRESS描述：免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002二）FUNCTIONcollects_variables(v_sem:AGGREGATEOFvariable＿semantics)：SETOFgeneric-variable;LOCAL1:SETOFgeneric_variable：＝仁］；END-LOCAL;REPEATi：一1TOSIZEOF(v_sem)；1：二I＋syntax_of(v_sem[i])；END_REPEAT;RETURN(U；END-FUNCTION；-collects-variables（，10.5.2汇集变f语义函数collects＿varsem（汇集变量语义）函数汇集所有与generic-variables链表关联的variableseman一tics。它使用在ISO13584-library-expressions-schema中定义的semantics-of函数。EXPRESS描述：二）FUNCTIONcollects_var_sem(va:AGGREGATEOFgeneric＿variable)：SETOFvariable＿semantics；LOCALI：SETOFvariable-semantics：＝「］；END-LOCAL;REPEATi：＝1TOSIZEOF(va)；1：＝1＋semantics-of(va[i])；ENDesREPEAT；RETURN(l)；ENDeeFUNCTION；一collects_var_sem（关10.5.3在域中已使用的表函数used＿tablesin＿domain（在域中已使用的表）函数遍历整个domain-restriction的表达图，收集所有的被使用的tableliteral并返回table-identification,EXPRESS描述：关）FUNCTIONused_tables_in_domain(arg：domain-restriction)：SETOFtable-identification;LOCALresult;SETOFtable-identification：＝仁〕；END-LOCAL;REPEAT·1TOSIZEOF(arg.domains)；IF（"ISO13584-EXPRESSIONS-SCHEMA.BOOLEAN-EXPRESSION免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002INTYPEOF(arg.domains[i].guard)）THENresult：＝result十used_table_literals(arg.domains[i].guard)；END--IF;IF（"ISO13584-DOMAIN-RESOURCE-SCHEMA.TABLE-DEFINED-DOMAININTYPEOF(arg.domains[i].domain)）THENresult：＝result＋used＿table＿literals(arg.domains[i].domaintable_defined_domain.from-table)；END_IF;IF("ISO13584DOMAIN_RESOURCE_SCHEMA.PREDICATEDEFINEDLDOMAIN"INTYPEOF(arg.domains[i].domain)）THENresult：二result十used_table_literals(arg.domains[i].domainpredicate_defined_domain.constraint)；END-IF;IF（"ISO13584DOMAIN_RESOURCE_SCHEMA"＋’．LIBRARY-EXPRESSION-DEFINED-VALUE"INTYPEOF(arg.domains[i].domain)）THENresult：＝result＋used_table_literals(arg.domains[i].domainlibrary_expression_defined_value．its-value)；ENDIF:IF（"ISO13584-DOMAIN-RESOURCE-SCHEMA.TABLE_DEFINED_VALUEINTYPEOF(arg.domains[i].domain)）THENresult：二result＋used_table_literals(arg.domains[i].domaintable_defined_value.from-table)；END＿IF；ENDREPEAT；RETURN(result)END-FUNCTION；一used_tables_in_domain（关10.5.4在域中已使用的变f函数used-variables-in-domain（在域中已使用的变量）函数遍历一个domainrestriction的整个表达图以汇集所有被使用的generic-variables并返回它们。EXPRESS描述：关）FUNCTIONuse走variables_in_domain(arg：domain-restriction)：免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002SETOFgeneric-variable;LOCALresult.SETOFgeneric-variable：＝［〕END-LOCAL;REPEATi：二1TOSIZEOF(arg.domains)；IF（"ISO13584-EXPRESSIONS-SCHEMA.BOOLEAN-EXPRESSION"INTYPEOF(arg.domains仁i].guard)）THENresult：一result十use走variables(arg.domains[i].guard)；END_IF;IF("ISO13584-DOMAIN-RESOURCE-SCHEMA.TABLE_DEFINEDLDOMAININTYPEOF(arg.domains[i].domain)）THENresult：＝result十used＿variables(arg.domains[i].domaintable-defined＿domain．from-table)；END-IF;IF("ISO13584-DOMAIN-RESOURCE-SCHEMA.PREDICATEDEFINED_DOMAININTYPEOF(arg.domains[i].domain)）THENresult：＝result＋use走variables(arg.domains[i].domainpredicate_defined_domainconstraint)；END-IF;IF（"ISO13584DOMAIN_RESOURCE_SCHEMA"＋‘．I.IBRARY_EXPRESSION_DEFINED_VALUEINTYPEOF(arg.domains仁i].domain)）THENresult：二result＋usedvariables(arg.domains[i].domainlibrary-expression-define走value.its-value)；END_IF;IF（"ISO13584DOMAIN_RESOURCE_SCHEMA.TABLE-DEFINED-VALUEINTYPEOF(arg.domains[i].domain)）THENresult：二result十used＿variables(arg.domains[i].domaintable_defined_value.from-table)；ENI无IF;ENDesREPEAT；RETURN(result)；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002END-FUNCTION；一used-variables-in-domain（二10.5.5属于假定部分的变，函数variables-belong-to-assumes（属于假定部分的变量）函数对只有和domain-restriction的假定集合的variable_semantics有关，可被用于对定义它的guarded-simple-domains的防护的变量进行检查。EXPRESSSpecification;＊）FUNCTIONvariables_belong_to_assumes(gsd,guarde之simple-domain)：LOGICAL;IF（"ISO13584_EXPRESSIONS_SCHEMA.BOOLEAN-EXPRESSION")INTYPEOF(gsd)THENRETURN(collects_var_sem(used_variables(gsd.guard)）＜＝gsd.item-of.assumes)；ELSERETURN(TRUE)；END_IF;ENDLFUNCTION；-variables-belong-to-assumes（关＊）END-SCHEMA；一ISO13584domain_resource_schema（二11ISO13584扩展字典模式本章定义了ISO13584extended_dictionary_schema的需求。下列EXPRESS定义引用了程序块ISO13584-extended-dictionary-schema，并标识了必要的外部引用。EXPRESS描述：关）SCHEMAISO13584_extended_dictionary-schema;REFERENCEFROMISO13584_IEC61360_dictionary_schema(all_class-descriptions＿reachable,basic-semantic-unit，class，class＿BSU，class-BSU-relationship，class-instance-type，class＿related＿BSU，component-class，compute-known-visible-data-types，compute-known-visible-properties，content-item,data-type，免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002data_type_BSU，data-type-element，definition_available_impliesdefinition-type，dictionary-element,document,entity_instance_type，graphics,item＿class，item＿names,level，leve匕type,list-to-set,material-class,named-type,non_quantitative_int_type,note-type，property_BSU，property_DET，remark-type,sep_id,supplier_BSU,supplier_BSU_relationship,supplier-element，supplier_related_BSU，value-domain)；REFERENCEFROMISO13584_IEC61360_language_resource_schema（present-translations)；REFERENCEFROMISO13584-generic-expressions-schema(variablesemantics)；REFERENCEFROMISO13584_instance_resource_schema(compatible-leveLtype-and-instance,property_or_data_type_BSU)；REFERENCEFROMISO13584-table-resource-schema(class-instance-column,column，entity-instance-column,RD比table-extension,RDB_table_specification,table-extension，table-identification,table＿specification)；REFERENCEFROMISO13584-variable-semantics-schema(免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002property-semantics,sel仁property-semantics)；REFERENCEFROMISO13584-external-file-schema(external_file_protocol，simple＿program-protocol)；REFERENCEFROMdate-time-schema(year-number)；REFERENCEFROMsupport-resource-schema（identifier,label)；REFERENCEFROMperson-organization-schema（organization,person)；REFERENCEFROMapplication-context-schema(application_protocol_definition)；（，注：在下列文档中可找到上述引用的模式：ISO13584-IEC61360_dictionary_schemaIEC61360-2（为方便起见，在GB/T17645.42-2001的资料性附录D中复制了该模式。）ISO13584_IEC61360_language_resource_schema(IS(）13584_IEC61360IEC61360-2语言资源模式）（为方便起见，在GB/T17645.42---2001的资料性附录D中复制了该模式。）ISO13584_generic_expressions_schemaGB/T17645.20-2002ISO13584-instance-resource-schema本部分，ISO13584-table-resource-schema本部分，ISO13584-variable-semantics-schema本部分，ISO13584-external-file-schema本部分，date-time-schemaGB/T16656.41一1999，support-resourceschema（支持资源模式）GB/T16656.41---1999,person-organization-schema（人员组织模式）GB/T16656.41---1999,application_context_schema（应用环境模式）GB/T16656.41-1999a11.1ISO13584扩展字典模式的介绍ISO13584-extended-dictionary-schema模式定义了ISO/IEC通用字典模式的扩展，允许GB/T17645字典数据的交换。它以如下四种方式扩展了ISO/IEC通用字典模式：a)ISO/IEC通用字典模式用于模拟各条目类别的分层，例如组成部分或材料。这种扩展的字典模式亦可为建模特征提供专门说明。这种item-class的专门说明表示feature-class,例1：形状特征可作为feature＿class表示的例子。它与尺寸特性和提取组成部分形状的情况有关。例2：在管道系统的组件中，出口管与特性（例如其名称和功用）和提取组成的定义情况密切相关。它可作为feature一class的例子。b)ISO/IEC通用字典模式提供了item＿class的建模，扩展字典模式定义了两个新的子类：func-tional一model一class和functional一view一class。在产品数据中功能视图是项的表达，在库中功能模型是项的表达。c)ISO/IEC通用字典模式定义三种可用于描述零件或项的特性：condition_DET,non_depend-ent_P_DET和dependent_P_DET。扩展字典模式引人一称做为representation-P_DET的property_DET新特性，来表达在函数模型和函数视图中定义的特性。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002注1：引人representation_P_DET是必须的，因其特性与一个零件或一个项无关，但与零件或项的表达有关。因此representation_P_DET值的寿命周期与任一零件或项的寿命周期是无关的。d)ISO/IEC通用字典模式仅将类与属性和数据类型相连。扩展模式也提供将类与表和文档相连。ISO13584-extended-dictionary-schema在建模时建立：－－一属于与GB/T17645兼容字典的元素的整体结构。这一整体结构规定了应被处理而存储于已存在的用户字典中的不同元素。—-7种元素，这7种元素的引用和描述用于存在用户字典中。这7种元素是：供应商，程序库，类，属性，数据类型，表和文档；—函数模型和函数视图的类的属性，该属性用于一些项目的函数视图的计算和表达。—字典中引用的表的内容。ISO13584-extended-dictionary-schema在建模时不建立：—类（类扩展）的允许实例集，其引用和描述被存储在用户字典中。－—程序库和文档的内容，其中程序库和文档的引用和描述被保存在用户字典中，但其内容被表达为外部文件。注2：可能与GB/T17645兼容库相关的外部文件的表达在ISO13584external_file_schema中定义。11.2ISO13584扩展字典模式的基本概念和假设们.2.1字典结构ISO13584-extended-dictionary-schema描述了具有简单继承的类的等级，该简单继承被存储在用户字典中。有三种类型的类：a)item-class被用来定义独立的和可标识对象，具有三个子类型：component-class,material-class和feature-class;注：Component＿和materialclass在GB/"I"17645.42--2001中ISO/IEC的通用字典模型中定义。Feature-class在GB/"I"17645的本部分的条款11.18中的ISO13584-extended-dictionary-schema定义。b)functional-model-class，它被用来记录一种可以产生这些可标识的抽象概念通用表达的机制；c)functional一viewclass，用作表征每种item-class的可能表达，不管item-class是什么。11.2.2类相关元素四种元素和类相关：a）特性，在特性中值用于特征化实例；b）表，描述特性间的关系；c）文档，提供关于类和特性的人可读的信息；d)命名的数据类型，该数据类型可以用来确定不同特性的域。这四类元素被表达为类相关元素。11.2.3与供应商相关的元素与库数据供应商相关的一类元素：program-library（程序库）是由库数据供应商发布的程序集。一旦通过LMS来处理，如此一个库就可以被作为库外部文件，就如linked-interface-program-protocol一样的程序来引用。例：GB/T17645.31-1998定义了参数化几何的编程界面。向上兼容层可被定义为program-library，它激活基于又一个参数化几何接口API的处理程序。引用包括该program-.library的linked_interface-programprotocol激活基于又一个参数化几何接口API的程序处理。11.2.4字典元素的三层描述ISO13584-extended-dictionary-schema字典符合在GB/T17645.42-2001D.3.3.2．中定义的三层结构。注：在ISO13584_IEC61360dictionaryschema中每个概念由三个实体模拟：免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002—basic＿semantic＿unit，它标识元素，且不论其描述和内容在同样的交换文本中是否是可得到的，均允许对它的引用。—dictionary-element，它为元素提供了人可读的，计算机敏感的定义。—content＿item，它包括（可能的）额外的计算机数据，该数据在数据处理领域表达元素。11.2.5字典元素的唯一标识符每一个库数据供应商具有GB/T17645.26-2000中定义的唯一标识符。每一类或program-li-brary都应通过定义它的库数据供应商被分配唯一的代码。为了提供任何其他字典元素的唯一标识符，作为name-scope（名称范围）属性的其basic-semantic-unit包括类树的根，在根中每一个字典元素是可见的。对每一种字典元素，唯一标识符可以由以下推出：—它的代码；—与其名称范围相应的类代码；—定义该类的库数据供应商的代码。这一机制仅是一个标识机制。它不定义适用于某个特殊类的元素。11.2.6可应用元素适用性是被继承的，也就是，假如class-related-dictionary-element适用于类C，那么它也适用于任何C的子类。注：为了确保基于ISO13584_IEC61360dictionary＿schema的数据和基于GB/T17645的扩展数据之间完全兼容，使用两种不同的机制来规定适用于类的类相关元素。应用属性和类型由类属性来确定。应用表和应用文档通过使用实体关系方法来确定。在接收系统中，用不同的实现提高性能。为了确定类描述中允许明确引用的元素，定义了可见性规则和输人规则。11.2.7可见性规则可见性是被继承的，假如类与类相关元素的name-scope相符合，或类是与类相关元素的name-sc叩e相符合的类的子类，则类相关元素在类中是可见的。任何可见的元素可被用来描述类，因此对于它的所有子类，该元素可成为适用于类的元素。11.2.8类之间的语义关系在面向对象的方法中，类Cl的定义可依靠另一类C2的定义。当C2的定义得不到时，也不能完整地定义C1。这一关系被称为类之间的语义关系。除了继承关系（Cl是C2的子类）和聚集关系（C2是在C1中定义的属性的数据类型),GB/T17645还定义了两个其他语义关系。a)is-case-of关系允许规定适用于C2，也适用于C1的属性，虽然它们不属于同样的继承树；注1:GB/T17645仅支持简单的继承。is-ease-of（是⋯⋯的事例）关系允许特殊供应商规定属于它或她的特殊继承树的类也是由一些标准化组织定义的类的事例。b)is-view-of关系允许规定类C1包含能够建立类C2的实例表达的方法，条件是当这些实例的特性值被提供作为这些方法的输人参数。GB/T17645为了对这些关系进行建模，本标准提供了两种不同的方法：a)在先验的方法中，类C1可被定义为与类C2具有特殊的语义关系。在这种情况下，它可以输入属性和对C2是可见的或适用的数据类型。这一明确的输人使这些属性对Cl是适用的。但假如类C2和类C1不能同时传递，且假如C2在接收系统中是不可得到的，则类C1不能被处理。注2：负责类cl的库数据供应商可以决定类和它们的信息单元一起提供，这些信息单元描述类C2和／或和类c2有关联的特性、文档、数据类型以及表。这些信息单元参考，就象它们的supplier_bsu，它们自己的库数据供应商，而不同通过类cl的库数据供应商得到保证。当类C2在用户库中已经利用时这些信息单元就无用了。例：假设特殊的元件供应商提供了与IEC61630-4中定义的电阻概念一致的电阻，当在GB/T17645兼容库中描述其电阻族时，供应商可以决定假设接收用户系统应包括IEC61630-4定义的所有类和特性。在这种情况下，电阻族被定免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002义为item_class_case_of，该类输人必要的特性（通过它们的property_BSU)，而不用通过property_DET字典元素来描述它们。b)根据经验方法，C1类在其描述中不包括对C2的引用。Cl重复（或继承）了与C2中定义的属性相应的每一属性的完整描述（如，不同的property_BSU和property_DET)。语义关系是由第三方实体a_posteriors_semantic_relationship（后验语义关系）定义的，实体引用了Cl和C2,并描述了对应于彼此的特性匹配，其中一个适应于C1，另一个适应于C2。上面是重新描述可能获得的属性。优点是C1总可以在接受系统上处理。仅当类C2在接收系统上得不到时，a_posteriors_semantic_relationship的编辑才会失败。注3：经验关系可作为供应商库的用户定制的一部分而被引入到库最终用户站点。11.2.9先验语义关系和输入规则通过与另一类的先验语义关系而定义的类在其描述中可能会引用另一类可见的或适用的特性、数据类型、表和文档。本应用把属性、数据类型、表和文档输入到所应用类中使得它们适用于所应用它们的类，并且对描述类实例有用。通过确定输人哪一特性、数据类型、表和文档，这一输人应当总是明确的。规定了以下的先验语义关系：一一item＿class事例关系：当类C被定义为关于类D的item-class-case-of时，C可以从D中导人特性、数据类型、表和文档。-functional-model-class事例关系：功能模型类可通过。ase_of属性引用其他的功能模型类。该情况下它可从这些功能模型类中导人特性、数据类型、表和文档。—当类C是建立函数视图V的functional_model_class时，C可以导人V的特性、数据类型、表和文档。—视图关系：当类C是相对于item＿classD的fm-class-view-of二的功能模型类视图）,C可以导人D的特性、数据类型、表和文档。11.2.10字典引用表的类型检查在ISO13584-table-resource-schema中，如果纵列的类型应和与相应的variable-semantics相关的library-variable的类型是匹配的，则通过表的类型检查。在字典中引用的表仅仅包括那些引用self-property-semantics的纵列，在setf_property_semantics中，在相应的property_DETs中明确声明其数据类型。类型检查执行如下：—通过声明任何与property-semantics相连的library-variable应当是和这个属性宣称的数据类型的类型是匹配的（这一点已在ISO13584-variable-semantics-schema中文档化了），并且—如果表的table＿extension是可获得的，通过声明每一列的数据类型应是和相应的sel仁proper-ty-semantics的被宣称的数据类型是类型匹配的（这一点已在table-content实体中文档化了）。11.3ISO13584扩展字典模式常f定义11.3.1元素代码长度element＿code＿len（元素代码长度）是指与在ISO13584extended_dictionary_schema中定义的dic-tionary-element的子类相关的代码的最大长度。这一长度允许建立与ISO9075:SQL相符的标识符（代码＋版本）。注：本标识符是dictionary-element代码和版本的连接。EXPRESS描述：关）CONSTANTelement_code_len:INTEGER：＝14；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002END-CONSTANT;（＊们.3.2字典代码长度dictionary_code_len(字典代码长度）是标识字典的代码最大长度。注：本标识符是dictionary-element代码和版本的连接。EXPRESS描述：＊）dictionary_code_len:INTEGER：＝80；END-CONSTANT;（二11.4ISO13584扩展字典模式类型定义该条引用了ISO13584extended_dictionary_schema中的类型定义。11.4.1文档代码类型document-code-type（文档代码类型）是和文档相关的代码。EXPRESS描述：二）TYPEdocument-coe-type＝code-type;WHEREWR1：LENGTH(SELF)＜＝element_code_len;END_TYPE；一document-coe-type（，形式限制：WR1：代码的长度应小于或等于element_code_len的值。11.4.2程序库代码类型program-library-code-type（程序库代码类型）是与程序库相关的代码。EXPRESS描述：二）TYPEprogram-library-code-type＝identifier;WHEREWRl：length(SELF)＜＝elementcode_len;END_TYPE;（＊形式限制：WRl：代码的长度应小于或等于elementcode_len的值。11.4.3表代码类型table-code-type（表代码类型）是与表相关的代码。EXPRESS描述：二）TYPEtable-code-type＝identifier;WHEREWRl：length(SELF)＜＝element_code_len；END-TYPE;（关免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002形式限制：WR1：代码的长度应小于或等于element_code_len的值。11.4.4绝对URL类型absolute_URL_type（绝对URL类型）是一个字符串，其结构由IABRFC1739:1994规定的字符串并标识了当资源可在Internet上找到时的绝对位置以及应被用来访问资源的协议。EXPRESS描述：二）TYPEabsoIute_URL_type＝identifier;WHEREWR1：SELFLIKE’二：／／关‘；END-TYPE;（二形式限制：WRI:absolute_URL_type应包括分号，接下来是字符串‘／／’。注1;internet协议应在absolute_URI-type中规定，服务器的地址应当是absolute_UR几type的一部分。注2:,基于本标准的协议的部分应尽可能应用IABRFC的最新版本，该版本属于StandardsTrackRFC并更新了IABRFC1739：1994,11.4.5字典代码类型dictionary_code_type（字典代码类型）是和字典相关的代码。EXPRESS描述：＊）TYPEdictionary-code-type＝code-type;WHEREWRl：LENGTH(SELF)＜＝dictionary_code_len;END-TYPE；-dictionary-code-type（＊形式限制：WRI：代码长度应该小于或等于dictionary_code_len的值。11.5字典的ISO13584扩展字典模式标识dictionary_identification实体允许明确标识特殊供应商的特殊字典的特殊版本，无论关于这字典的信息在交换环境下是否有用。它包含有库数据供应商有定义的用来定义字典的代码，和一个用来特征化字典特殊状态的版本号。无论什么时候字典中描述的任何类的版本号增加，该版本号都要增加。当版本号增加时，与版本号相对应的dictionaryidentification应该置为“000"a注1：当字典定义中出现任何影响类使用的变化时类的版本就要增加，同时假如类有内容而它的内容发生变化时类的版本也要增加。这种情况在GB/T17645.42条款8.3和本部分的12.2.4条款中有规定。修订版本号都要增加，无论：—字典中描述的一些类的修订版本号增加，同时无类版本号增加。一一字典中表达的任何其他条信息变化，而不是字典中描述的类的版本号和修订版本号。注2：无论何时描述类的属性出现变化，也不管这变化是否不影响它的意思和不影响它的应用都要定义一个新的修订版本号。这种情况在GB/T17645.42-2001中8.3有规定。EXPRESS描述：关）免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002ENTITYdictionary-identification；code:dietionary-code-type;version：version-type;revision：revision-type；defined-by:supplier_bsu；DERIVEabsolute＿id：identifier：＝defined-by.absolute-id＋sep_id＋code＋sep_cv＋version;INVERSEdefinition:SET[0：1]ofdictionaryFORidentified-by;UNIQUEUR1：absolute＿id；ENDweENTITY；（关属性定义：代码（code)：特征化字典的代码。版本（version)：特征化字典版本的版本号。修订版（reversion)：特征化字典修订版的修订版本号。定义者（defined-by)：定义字典的供应商。绝对标识符（absolute-id)：字典的唯一表示符。定义（definition)：描述字典整体或部分的可能字典实体。非形式限制：IPl：当仅仅包含一个字典的标准文档定义字典时，假如本文档只定义一个字典，那么字典代码就应该是描述这字典的文档数，假如本文档是定义多个字典，那么字典代码就应该是为相关字典定义的名称。除非特殊规定，由标准文档定义的字典的版本应该设置为1，修订版本数设置为。。注：标准文档的标准数的表达在GB/T17645.26-20005.1和5.2中有规定。11.6字典的ISO13584扩展字典模式整体结构一个字典实体给出了有关字典的综合信息。本字典实体可以描述由字典标识（(adictionary-identi-fication）实体来标识的字典的整体或部分，也可以描述和任何特殊的字典标识实体无关的字典。当字典实体由dictionary＿identification实体来标识时，它通过自身的is-complete布尔运算规定了特性，无论它是描述整个dictionary＿identification字典还是描述dictionary-identification字典的部分。当字典实体仅仅描述整个dictionaryidentification字典的部分时，它可以定义对接收系统有用的所必须的字典，从而能够从字典实体的环境创造dictionary-identification字典的完整环境。字典必须对接收系统有用是由可更新特性来规定的。字典实体也可以为联合字典实体引用的实体和先前可更新字典的环境来建立dictionaryidentification字典规定特殊规则。通过update-agreement属性来实现。当更新存在而update-agreement不存在时，所有的basic-semantic-units,dictionary-elements或content-items属于identified-by字典同时不可以作为属于相同版本更新字典的字典实体的部分内容来提供。因此，identified-by字典可以由更新字典和作为字典实体的部分内容提供的更新实体来建立。字典实体也可以通过它的referenced＿dictionaries属性来详细描述，无论它是否引用dictionary-i-dentification实体标识的一些其他字典。注1;dictionary_identificati。的引用允许规定引用字典的特殊版本和／或修订版，当这些信息不需要时，字典就没必要被任何dictionary-identification实体引用。字典实体规定了库传送文件的精确信息模型，通过两个属性库传送文件包含字典实体实例。li-免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002brary_structure属性引用包含总体库传送文件的库集成信息模型。该引用通过anlibrary_iim_identifi-cation实体实例实现，library-iim-identification实体实例允许正确规定相应EXPRESS模型的版本。supported_vep规定它的视图交换协议被库传送文件引用。在这些视图交换协议中定义的所有约束都应该被库交换文件内容履行。注2：视图交换协议可以规定它如何被库交换文件通过仅仅包含约束的EXPRES模型来引用。这些约束被在它的任何一致性类中引用视图交换协议的任何库转送文件遵守。例1：附录C规定了怎样建立引用ISO13584一g-m-iim-schema的库传送文件和视图交换协议“vi”的完整信息模型。字典实体包含一个特殊的supplier_BSU,supplier_BSU标识对字典内容负责的库数据供应商。仅仅由库数据供应商定义并与基本语义单元相关的thedictionary-elements和contentitems得到库数据供应商的保证，其他dictionary-elements或content-items，无论如何，仅仅为了便利而提供的不应该记录在用户集成库中。注3：的本部分允许传递dictionary-elements或content-items,contentitems是在供应商A负贵字典内由供应商B定义的。但是本部分不包含任何规定来保证此条信息的正确性和更新正确性。注4,class_BSU的basic-semantic-unit,dictionary-element,content-item和defined-by属性在GB/T17645.42中定义。注5：为了本部分中定义的库集成信息模型所有一致性类，字典实体或它的子类必须在库传递文件中示例，但是一致性类0不是有意和IEC61360-2一致的。注6；一致性需求定义在本部分的条款15,16,17和18中。字典也包括了该字典引用的其他库数据供应商的supplier_BSUs集。它包括了class_BSUs的列表，该列表规定了在字典中包括或引用的类的顺序表。列表的顺序应是这样的，当。lass_BSU和。lass相关联时，在。ontained＿classes（包含的类）列表中，已被此类直接或间接引用的class_BSUs应放置在正被引用的classBSU的前面。注7;假如实现使用了像在资料性附录O中定义的程序上的汇编过程，则这一顺序仅用于方便字典的汇编过程。在这种情况下，它避免了任何向前的引用。只要汇编过程的结果和在资料性附录O中定义的过程的汇编结果相同，则这一顺序可以不必遵循。GB/T17645字典最终定义了由该字典中的元素引用的协议集，规定了库外部文件的可能的视图交换协议集，在类库之间的可能的a_posteriori_semantic_relationships集。与GB/T17645本部分中的L11M规定一致的库交换内容应该仅仅包含有一个字典。通过以下属性，类可以直接引用class_BSU—class.its_superclass（类．它的超类）：is-a关系；并且，假如类是通过a_priori_semantic_rela-tionship（先验语义关系）来定义，则通过这一属性—classa_priori_semantic_relationship.referenced-classes（类＼先验语义关系．已引用类）。下列情况下，classBSU由类间接地引用：—当被此类引用的property_BSU或data_type_BSU通过。lass_BSU直接或间接地引用它自身时，或—当。lass_BSU_relationship（类BSU关系）通过其related-tokens（相关标记）属性引用。lass-BSU时，且此时。lass_BSU_relationship正通过其relating-class（关联类）属性引用此类。在下列情况下，property_BSU或data_type_BSU引用class_BSU:—它的namescope是classBSU，或—它的定义dictionary-element被提供并且作为其域，引用另一个data_type_BSU，而该data-type_BSU也引用了class_BSU（回归定义）。这一引用由makes-reference＿outside（生成外部引用）函数检查。在ISO13584-extended-dictionary-schema中，关于类列表顺序，在下面五类情形中，class_BSU对免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002class_BSU做间接的向前引用：a）或当它的described-by（由⋯⋯描述）属性包括property_BSU，其中property_BSU生成了makes-reference-outside；b）或当类通过a_priori_semantic_relationship定义，类的由referenced＿properties（已引用特性）的被继承的属性而定义的输入属性包括了property_BSU，而该property_BSU生成了makes-reference＿outside；。）或当它的defined-types（已定义类型）属性包括了data_type_BSU，该data_type_BSU生成了makes-reference-outside；d）或当类通过a_priori_semantic_relationship定义，类的由referenced_data_types的被继承的属性而定义的输人数据类型包括了data_type_BSU，而该data_type_BSU生成了makes-refer-ence-outside；e）或当它的associated＿items（联合项）属性包括class-BSU＿relationship，其中class_BSU_rela-tionship的related-tokens生成了makes_reference_outside；在ISO13584-extended-dictiona-ry-schema的文本中，这一情况可以发生在以下两个事例中：1)class-BSU-relationship是包括了table_BSU的class-table-relationship（类表关系），其中table＿BSU通过其name-scope属性生成了makes-reference-outside，或2)class-BSU-relationship是包括了document_BSU（文档BSU）的class-document_rela-tionship（类文档关系），其中在字典实体中document_BSU通过其name-scope属性生成了makes-reference-outside.base-protocols属性使库数据供应商能够规定外部文件协议，外部文件协议得到用户LMS的支持并且能够处理与库传送文件有关的库外部文件。通过base-protocols（基础协议）属性引用的external-file-protocols（外部文件协议）可以是任何协议。因此，这一实体可以用来在库数据供应商和同意一些私有的协议的最终用户之间进行交换。dictionary-in-standard-format（标准格式的字典），即字典的子类，仅允许那些在被引用的库集成信息模型以及在被引用的视图交换协议中定义的external-file-pro-tocols.例2：库供应商和最终用户可以允许对字典中引用的文档内容使用私有的编码，则这样的字典不能作为dictionary-instandardformat交换。EXPRESS描述：关）ENTITYdictionarySUPERTYPEOF(dictionary_in_standard_format)；identified-by:OPTIONALdictionary-identification;is-complete:OPTIONALBOOLEAN；updates：OPTIONALdictionary-identification;updateagreement：OPTIONALidentifier;referenced-dictionaries：SET[0：?]OFdictionary-identification；responsiblesupplier：supplier_BSU；library-structure:library_iim_identification;base-protocols：SET[0：?]OFexternal_file_protocol；supported_vep：SET[0：?]OFview-exchange-protocol-identification;referred-suppliers：SET[1：?]OFsupplier_BSU;contained_cIasses：LIST[0：?]OFUNIQUEclass_BSU；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002a-posteriori-semantic-relationships:SET[0：?]OFa_posteriori_semantic_relationship；names：item＿names；note:OPTIONALnote-type;remark:OPTIONALremark-type;WHEREWRl：prefix_ordered_class_list(SELF.contained-classes)；WR2：(EXISTS(identified_by)ANDEXISTS(is_complete)）OR(NOT(EXISTS(identified_by)）ANDNOT(EXISTS(is-complete)））；WR3：NOT(EXISTS(identified_by)）OR(SELF.identified-by.define之by二SELF.responsible＿supplier)；WR4：NOT(EXISTS(updates)）OR(EXISTS(identified_by)AND(is-complete＝FALSE)）；WR5：NOT(EXISTS(update-agreement)）OREXISTS(updates)；WR6：NOT(EXISTS(updates)）OR（(updates.code二identifie走by.code)AND(updates.defined-by＝identified-by.defined-by)AND(updates.version＜＝identifie走by.version)AND(NOT(updates.version＝identified-by.version)OR(updates.revision＜identified-by.revision)））；END-ENTITY；-dictionary（关属性定义：identified-by（被标识）：dictionaryidentification标识在字典实体中定义的类属于的字典。is-complete（完整性）：一个布尔属性规定字典实体是否描述属于由identified-bydictionary-iden-tification实体标识的字典的所有类。注8:is_complete仅仅在identified-by存在时才存在。Updates（更新）：dictionaryidentification，即便需要，也是有利于接受系统来从字典实体内容生成dictionary-identification字典的完整内容的字典。注9：只有当identified-by存在和is-complete等同于错误时updates才可以存在。update-agreement（一致性更新）：identifier，即便需要，也是标识过程用来从updates字典和dic-tionary字典实体的内容来生成有关接受系统的identified-by字典。注10：只有当updates存在时update-agreement才可能存在。注11：本属性所使用的值可以通过在发送方和接受方之间的协议规定，也可以在库集成信息模型内规定。例3:update-agreement属性的特殊值可能意味着只有那些dictionary-elements才应该作为字典实体部分内容提供，并且dictionary-elements的一些属性当从updates字典到identified-by字典转移时得到修改。注12：当updates存在而update-agreement不存在时，用来恢复identified-by字典的处理过程是在附录（）中描述的过程：所有定义在identified-by字典中的dictionary-elements，或者thebasic-semantic-unit。的。ontent_i-tems，或者作为字典实体部分内容提供，或者已经属于updates字典。referenced一dictionaries（引用字典）：dictionary-identifications，即便需要，标识在字典实体中所引用一些类的其他字典。注13：描述字典和引用字典都不需要dictionary-identification实体来标识。responsible-supplier（责任供应商）：负责dictionary-element的库数据供应商。library-structure（库结构）：库传递包含字典实现的库集成信息模型。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002base-protocols：引用的external_fiIe_protocols集。注14：仅仅那些能成功地编辑字典的external＿file-protocols属于base-protocols属性。而那些由文档内容引用的可能的extrnal-fil-protocols不属于base-protocols属性（见附录（））。supported_vep（支持的VEP>：由字典支撑的视图交换协议集。referred-supplier（引用的供应商）：引用或定义的供应商列表。contained＿classes（包含的类）：在字典中包括的类的列表，无论它们引用的是那一个supplier_bsuoa-posteriori_semantic＿relationships（后验语义关系）：确定的a_posteriori_semantic_relationships。names（名称）：分配给字典的名称。note(注）：描述字典内容的标注。remark（注释）：与当前被描述的字典传送相关的注释。形式限制：WR1：可以按contained＿classes列表中定义的顺序编辑类，而不用向前的引用。WR2：当字典实体描述由adictionary_identification标识的字典时，它应该规定是否描述整体还是描述本字典的部分。WR3：当字典实体描述由adictionary_identification标识的字典时，后者的defined-by属性引用的供应商应该和前者的responsible-supplier属性引用的供应商相同。WR4：当identified-by不存在或者is-complete等同正确时updates不应该存在。WR5：当updates不存在时update-agreement不应该存在。WR6：假如identified-by和updates存在时，identified-by字典应该和updates有相同的代码和供应商，identified-by字典的版本／修订版本大于updates字典。11.7标准格式的字典dictionary-in-standard-format（标准格式的字典）实体仅仅在base-protocols中引用外部文件协议，library-structure属性描述的库集成信息模型或supported_vep属性中的引用的视图交换协议允许这些协议。注1;library_iim_identification和view-exchange-protocol_identification是分别描述库集成信息模型和视图交换协议的中间数据。这些实体的标准值被规定在规定库集成信息模型和视图交换协议的标准文档中。这些实体的每一个都规定了外部文件协议，这些外部文件协议对在一致性行为间交换信息有用。例：通过发送方和接受方之间的协议，一个字典可以引用与CATIAQFORTRAN程序一致的program-protocol.如此一个专有的外部文件协议既不被库集成信息模型许可，也不被GB/T17645视图交换协议许可。因此，它不应被dictionary-in-standard＿format引用，但可以被字典实体引用。只有用户LMS支持一致性类与在library-structure和在字典的supported＿vep中引用的类应该能够编辑这种字典。注2：库集成信息模型和视惬1交换协议都定义了可以被一致性行为选择的不同组选项，这些选项术语上称为一致性类。EXPRESS描述：关）ENTITYdictionary-in-standard-formatSUBTYPEOF(dictionary)；WHEREWR1：QUERY(int＜二SELFdictionary.base-protocols｝（(SIZEOF(QUERY(vep＜＊SELFdictionary.supported一vep｝intINvepdata_exchange_specification＿identification．external-file-protocols)）＝0)ANDNOT(intINSELFdictionary.library-structure免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002。external_file_protocols)））＝［〕；EN几ENTITY；-dietionary-in-standard-format（＊形式限制：WRl:base-protocols特性里的external＿file-protocols集应该是Iibrary_structure特性中所引用的external-file-protocols和supported_vep属性组中所引用的external-file-protocols联合的子集。们．8数据交换规范标识data_exchange_specification_id（数据交换规范标识）定义了一种数据规范，在指定了库交换环境的GB/T17645某部分中发表了该数据规范。data-exchange-specification-id可以是library_iim_id（库um-id)，或是view-exchange-protocol-id（视图交换协议标识）。注：库交换内容规范包含：a)库集成信息模型；b)0到n视图交换协议，和c）行为方式。EXPRESS描述：，）ENTITYdata-exchange-specification-identificationABSTRACTSUPERTYPEOF(ONEOF(library_iim_identification>view_exchange_protocol_identification)）；source-document-identifier:OPTIONALidentifier;status：label；name：identifier;date:year-number;application:OPTIONALidentifier;level:OPTIONALidentifier;external_file_protocols：SET[0：?]OFexternal-file-protocol；ENDesENTITY；一data-exchange-specification-identification（二属性定义：source-document-identifier（资源文档标识）：包含有数据规范的文档标识。对于ISOTC184/SC4/WG2发行的这些文档，该标识应该是N数值的整数部分。status（状态）：关于国际标准接受程度的数据规范分类，可能被后续整数版本继承。其取值范围为："WD"，"CD"，"DIS"，list，"TS"，"PAS"，"ITA"。Name（名称）：在GB/T17645的相应部分定义的数据规定的标识符。Date（日期）：GB/T17645的相应部分达到其状态时的年份。Application(应用）：在GB/T17645的相应部分定义的可能标识符，该标识符用于对完整的数据规范的被允许函数子集进行特征化。Level（层）：在GB/T17645的相应部分定义的可能标识符，该标识符用于对应用子集的被允许子集进行进一步特征化。external_file_protocols:external-file-protocols的列表，且在该external_file_protocols中，允许通过视图交换协议而使用应用函数子集。11.9库集成信息模型标识library_iim_id（库集成信息模型标识）标识了库集成信息模型，该模型包括了库发送文件信息模型免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002的定义。注：GB/T17645的本部分包含三个库集成信息模型，它们定义在条款16,17和18中。例：包括ISO13584_g_m_iim_schema的库系统信息模型LlIM24-1是仅仅包含通用模型类的库的信息模型。在附录E中它也包括ISO13584_g_m_iim_conformance_schema文档。本部分包括三个库集成信息模型。库集成信息模型LIIM24-1包括ISO13584_g_m_iim_schema,其中ISO13584_g_m_iim_schema是仅由通用模型类组成的库信息模型。EXPRESS描述：ENTITYlibrary_iim_identificationSUBTYPEOF(data_exchange_specification_identification)；ENI无ENTITY；一library_iim_identification（，11.10视图交换协议标识view-exchange-protocol-id（视图交换协议标识）标识了GB/T17645部分的视图交换协议系列的一部分中定义的数据规范。对这一视图交换协议的引用定义了库外部文件在库交换环境中的使用，同时字典实体应该得到对于本视图交换协议声明一致性的接收系统验证，库传送文件要遵守额外约束。注I：视图交换协议可以规范view-exchange-protocol-identification实体数据类型的标准实例，并且它是将被用来引用视图交换协议。通过仅仅包含约束的EXPRESS模式来实现。这些约束被任何库传送文件来遵守，这些库传送文件引用了任何一致性类中的视图交换协议。这意味着只有这种标准实例才被用来引用视图交换协议。注2：一个视图交换协议所允许使用的不同种库外部文件是那些view_exchange-protocol＿identification实体实例external-file-protocols继承特性所引用的外部文件协议。字典实体引用如此一个实例把这些external-file-protocols加人到库集成模型和其他的视图交换协议允许的那些external-file-protocols中。当view-exchange-protocol-identification引用application-protocol-definition时，这意味着视图交换协议连同GB/T16656的引用协议支持库外部文件的使用。EXPRESS描述：关、ENTITYview-exchange_protocol_identificationSUBTYPEOF(data_exchange_specification_identification)；referenced-ISO10303_AP：OPTIONALapplication-protocol-definition;EN几ENTITY；一view-exchange-protocol-identification（二属性定义：referenced-ISO10303_AP（已引用ISO10303_AP)：库外部文件应该遵守GB/T16656应用协议。为了特殊view-exchange-protocol-id不必规范referenced-ISO10303_APa11.11ISO13584扩展字典模式实体定义：额外实体实例类型本条规定了扩展字典模式所必须的entity-instance-type的一些子类。注1:Entity-instance-type在ISO/IEC通用字典模式中定义。注2;entity-instance-type这些子类实例可以作为entity-instance-type实例表达。定义这些子类是EXPRESS模型能够明确使用一些或全部这些子类而不使用entity-instance-type子类。11.11.1表达类型representationtype（表达类型）是GB/T16656.43表达数据类型的实例类型。视图交换协议应该规范这种资源的使用。注：根据GB/T16656.42-1998,placement的实例仅仅存在，如果它与某些representation中的geometric-repre-免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002sentation_context（几何表达相关环境）相关。因此，假如一些类属性是placements，则这一类应包括一属性，该属性的数据类型是geometric-representation_context_type（它定义了这些placements的文本），这一类还应包括一属性，该属性的数据类型是representation-type（它集中了这些placements和它们的文本）。EXPRESS描述：＊）ENTITYrepresentation-typeSUBTYPEOF(entity_instance_type)；WHEREWR1："REPRESENTATION＿SCHEMA.REPRESENTATION"INSELFentity_instance_type.type-name；ENDesENTITY；一representation-type（，形式限制：WRl：字符串’REPRESENTATION-SCHEMA.REPRESENTATION‘应被包括在属于STRINGS集的属性SELFentity_instance_type.type_name(SELF＼实体实例类型类型名）中。11.11.2几何表达相关环境类型geometric_representation-context-type（几何表达相关环境类型）是GB/T16656.42-1998geo-metric-representation-context数据类型的实例类型。视图交换协议应该规范这种资源的使用。EXPRESS描述：关）ENTITYgeometric-representation-context-typeSUBTYPEOF(entity_instance_type)；WHEREWR1："GEOMETRY-SCHEMA.GEOMETRIC-REPRESENTATION-CONTEXTINSEI,Fentity_instance_type.type＿name；ENDesENTITY；一geometric-representation-context-type（，形式限制：WRl：字符串’GEOMETRY-SCHEMA.REPRESENTATION‘应被包括在属于STRINGS集的属性SELFentity_instance_type.type-name中。11.11.3表达引用类型representation-reference-type是representation-reference示例的类型（见13.7.2)0例：在库交换环境中representation-reference示例被用来引用包含GB/T16656.43表达示例的库外部文件。如此数值可能是一个函数模型特性，函数模型特性描述函数模型可能生成的函数视图的内容。注：视图交换协议应规定资源的使用。EXPRESS描述：关）ENTITYrepresentation_reference_typeSUBTYPEOF(entity-instance-type)；WHEREWRI："ISO13584_EXTERNAI_FILE_SCHEMA,REPRESENTATIONREFERENCE"INSELFentity-instance-type.type-name；END-ENTITY;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002（＊形式限制：WR1：字符串’ISO13584_EXTERNAL-FILE-SCHEMA.REPRESENTATION-REFERENCE"应被包括在属于STRINGs集的属性SELFentity_instance_type.type-name中。11.11.4程序引用类型program-reference-type（程序引用类型）是外部引用的类型，且该外部引用的类型是从库交换环境到包括程序的外部文件。例如，这一外部文件可以是GB/T17645.20一致性程序，该程序可以根据一些参数值而产生GB/T16656表达数据类型的不同实例。在库交换环境中，可以用这一实体实例描述与函数模型类相关的方法内容。注：视图交换协议规定了资源的使用。EXPRESS描述：二）ENTITYprogram-reference-typeSUBTYPEOF(entity-instance-type)；WHEREWR1："ISO13584_EXTERNAI._FILE_SCHEMA.PROGRAM-REFERENCE"INSELFentity_instance_type.type-name；END＿ENTITY；（二形式限制：WR1：字符串‘ISO13584_EXTERNAI._FILE-SCHEMA.PROGRAM-REFERENCE"’应被包括在属于STRINGs集的属性SELFentity_instance_type.type_nam中。11.12ISO13584扩展字典模式实体定义：额外的基本语义单元本节介绍了用来表达供应商相关元素和类相关元素的不同基本语义单元（BSU)，且这些相关元素为ISO13584-extended-dictionary-schema规定的。它们通过对在ISO13584_IEC61360_dictionary-schema中描述的supplier_related_BSU（供应商相关BSU）和class＿related＿BSU（类相关BSU）子类化而得到。11.12.1程序库BSUprogram_library_BSU（程序库BSU）是与程序库相连的基本语义单元。EXPRESS描述：＊）ENTITYprogram-library_BSUSUBTYPEOF（supplier-related-BSU)；defined-by：supplier_BSU；SELFbasic_semantic_unit.code：program-]ibrary_code_type；DERIVEabsolute-id:identifier：＝defined-by.dic_identifier＋sep_id＋dic_identifier;INVERSEassociate-to-class：supplier-BSU＿relationshipFORrelated-tokens;UNIQUEURI：absolute＿id；WHERE免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002WR1：defined-by：＝：associate-to-class.relating-supplierdictionary_element.identified-by;ENDesENTITY；（＊属性定义：defined-by（由⋯⋯定义）：定义参考程序库的供应商。absolute-id（绝对id)：与参考程序库相关的标识符。associate-to-class（联合类）：引用这一program_library_BSU的supplier_BSU_relationship（供应商BSU关系）。形式限制：URI:absolute-id属性是唯一的。WRl：通过supplier_BSU_relationship，引用的程序库和与定义该库的供应商相同的供应商相关。非形式限制：IP1：当program_library_BSU的版本增加时，新程序库应包括以前的程序库版本包括的每一程序版本（可能的话，应是新版本）。当版本增加时，相应的dictionary-element的修订以及可能的content-item的content-revision都应复位为‘000%注：这一非形式化的限制确保了程序库向上兼容发展的灵活性：在一些版本中引用一个程序库的任一程序可以使用任何新版本运行（且具有供应商认为可接受的差异）。11．12.2表BSUTable＿BSU（表BSU）实体是组成了表的table-identification的basic:-semantics_unit，其中该表是在GB/T17645兼容字典中引用的。下面给出更新操作如何影响table＿BSU版本号（V),table-element版本号（DR）或作为给定类的table-content版本内容号（CR)，或完全禁止（X）的综述。—关键列的变化：X—非关键列的压缩：X—非关键列的附加值：V—行数的变化：V－—其他数值内容的变化：V—名称，定义、注释、评论的变化：DR—引用特性版本变化：DR/V一一错误或不精确值的纠正：CR此外，表对它适应的类定义有用。表的变化暗示着它适应的类的版本变化。EXPRESS描述：＊）ENTITYtable＿BSUSUBTYPEOF(class_related_BSU，table_identif1cation)；name-scope:class_BSU;SELFbasic_semantic_unit.code:table-code-type;DERIVEabsolute-id：identifier:＝name-scope.defined-by.dic_identifier＋sep_id＋name-scope.dic_identifier＋sep_id＋dic_identifier;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002UNIQUEURI：absolute＿id；END-ENTITY；一table＿BSU（关属性定义：name-scope：当引用表是可见的（根）类。absolute＿id：与引用表相关的标识符。形式限制：URl:absolute_id属性是唯一的。非形式限制：IPl：当tableBSU版本增加时，新表应：—具有与键的相同property_BSUs，并且—在其第一列，包括引用与前一个表版本相同的property_BSUs的列。它可能包括额外的列和（或）在列中不同的值。注：这一非形式化的限制确保了表向上兼容发展的灵活性：对一个表作引用的任何查询或程序可以使用任一新版本运行（具有供应商认为可接受的差异）。IP2：当版本增加时，相应的dictionary-element的修订和可能的table-content的revision-of-con-tent都应复位为‘000,o11.12.3文档BSUDocument＿BSU（文档BSU）是与文档相关的基本语义单元。EXPRESS描述：＊）ENTITYdocumentBSUSUBTYPEOF：name-scope：class＿BSU；SELFbasic_semantic_unit.code：document-code-type；DERIVEabsolute-id:identifier：＝name-scope.defined-by.dic_identifier＋sep_id＋name-scope.dic_identifier＋sep_id＋die＿identifier；INVERSEassociate-to-class：class_BSU_relationshipFORrelated-tokens；UNIQUEURI：absolute-id;ENDesENTITY；-document＿BSU（＊属性定义：name-scope：被引用的文档可见时的（根）类。absolute＿id：与被引用的文档相关的标识符。associate-to-class：引用这一document_BSU的class_BSU_relationship。形式限制：UR1;absolute_id属性是唯一的。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002非形式限制：1131：当document_BSU的版本增加时，新文档应和前一个文档具有相同的范围，但可以有不同的内容或使用不同的协议。当版本增加时，相应的dictionary-element的修订版和可能的content-item的content-revision都应复位为‘000",注：这一非形式化的描述确保了文档向上兼容发展的灵活性。当在任一程序中，要求显示一些文档时，显示的文档新版本对用户提供了相同种类的信息。11.13ISO13584扩展字典模式实体定义：供应商BSU关系11.13.1供应商程序库关系suplier-program-library-relationship（供应商程序库关系）是程序库和提供程序库的供应商之间的联系。这一联系通过实体关系范例来建模。EXPRESS描述：，）ENTITYsupplier-program_library_relationshipSUBTYPEOF(supplier_BSU_relationship)；SELFsupplier_BSU_relationship.related-tokens：SET仁1：？]OFprogram_library_BSU；ENDeeENTITY；一supplier-program-library-relationship（＊属性定义：related一tokens：被提供给描述的供应商的程序库单元集。11.14ISO13584扩展字典模式实体定义：类BSU关系紧接着实体关系范例，本节引人了类和类相关元素之间的不同关系。11.14.1类和表的关系Class-table-relationship（类和表的关系）是在表和适用的（根）类之间的联系。EXPRESS描述：关）ENTITYclass-table-relationshipSUBTYPEOF(class_BSU_relationship)；SELFclass-BSU＿relationship.related-tokens：SET仁1：?]OFtable_BSU；WHEREWRI：applicable_properties_for_applicable_tables(SELF)；WR2：visible_tables(SELFclass-BSU＿relationship.relating-class.identified-by,SELF.related-tokens)；ENDesENTITY；--class-table-relationship（二属性定义：related一tokens：与类相关的表集。形式限制：WR1：每一和类相关的表应包括指向该类的应用属性列。WR2：所有与类相关的表应是类可见的，例如，根是它们的name-scope的树应包括这个类。11.14.2类和文档的关系Class-document-relationship（类和文档的关系）是文档和文档适用的（根）类之间的联系。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002EXPRESS描述：关）ENTITYclass-document-relationshipSUBTYPEOF(class_BSU_relationship)；SELFclass_BSU_relationship.related-tokens：SET仁1：?]OFdocument_BSU；WHEREWRI：visible＿documents(SELFclass-BSU-relationship.relating-class.identified_by,SELF.related-tokens)；END-ENTITY；-class-document＿relationship（，属性定义：related＿tokens：和类相关的document_BSU集。形式限制：WR1：与类相关的文档应是类可见的，例如，根是它们的name-scope的树应包括类（文档不应被输人）。11.15ISO13584扩展字典模式实体定义：函数模型和函数视图的属性ISO/IEC通用字典模式定义了三种属性，该属性可被用来描述被通用模型类表达的库项目：—相关环境参数（由condition_DETproperty_DET表达）；—项目特征（由non_dependent_P_DETproperty_DET表达）；—文本依靠特征（由dependentP_DETproperty_DET表达）。本条提供了表达模型定义或视图定义属性的资源。11.15.1表达P_DETRepresentation-P-DET（表达P_DET）实体是dictionary-element，该dictionary-element表达了在函数模型类和函数视图类中定义的属性。例：property_DET的这种子类应被用来表达，例如，对库项目表达的插人相关环境进行特征化的属性，在方法中使用的内部变量，以及组成库项目的表达属性。EXPRESS描述：二）ENTITYrepresentation_P_DETSUBTYPEOF(property_DET)；WHEREWR1：NOT("ISO13584_IEC61360_DICTIONARY_SCHEMA.CONDITION_DET"INTYPEOF(SELF)）ANDNOT("ISO13584_IEC61360_DICTIONARY_SCHEMA.DEPENDENT_P_DET"INTYPEOF(SELF)）ANDNOT("ISO13584_IEC61360_DICTIONARY_SCHEMA"＋‘．NON_DEPENDENT_P_DET"INTYPEOF(SELF)）；EN几ENTITY；一representatzon_P_DET（＊形式限制：WR1:representation_P_DET不能是non_dependent_P_DET（非依赖P_DET),dependent_P_DET免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002（依赖P＿DET）或condition_DETo11.16ISO13584扩展字典模式实体定义：特殊的字典元索本条定义了对GB/T17645特殊的字典元素。它们被分成两类：一类是供应商，另一类是类。11.16.1供应商相关字典元素Supplier_related_dictionary_element（供应商相关字典元素）是dictionary-element,dictionary-ele-ment包含有用来处理由供应商提供的任何库的信息。EXPRESS描述：关）ENTITYsupplier_related_dictionary_elementABSTRACTSUPERTYPEOF(program_library_element)SUBTYPEOF(dictionary_element)；SELFdictionary_element.identified-by：suppber_related_BSU；names：item_names;definition：definition-type;note:OPTIONALnote-type;remark:OPTIONALremark-type;END-ENTITY；-supplier-related-dictionary-element（，属性定义：identified-by：标识dictionary-element的基本语义单元。names：被描述的dictionary-element的名称。Definition（定义）：被描述的dictionary-element的定义。note：与被描述的dictionary-element相关的注释。remark：与被描述的dictionary-element相关的备注11.16.2类相关字典元素class_related_dictionary_element（类相关字典元素）是有利于类定义的dictionary-element.EXPRESS描述：二）ENTITYclass＿relate走dictionary-elementABSTRACTSUPERTYPEOF(ONEOF(table_element,document-element)）SUBTYPEOF(dictionary_element)；SELFdictionary_element.identified-by:class_related_BSU；names：itemsenames;definition:definition-type;note：OPTIONALnote-type;remark:OPTIONALremark-type;END-ENTITY；-class-related-dictionary-element（＊属性定义：identified-by：标识dictionary-element的基本语义单元。names：被描述的dictionary-element的名称。definition：被描述的dictionary-element的定义。note：与被描述的dictionary-element相关的注释。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002remark：与被描述的dictionary-element相关的备注。11.16.3程序库元素program-library-element（程序库元素）是程序库的描述。EXPRESS描述：二）ENTITYprogram-library-elementSUBTYPEOF(supplier-related_dictionary_element)；SELFdictionary_element.identified-by：program_library_BSU；ENDesENTITY；一program-library-element（二属性定义：identified-by：标识被描述的程序库的基本语义单元。11.17ISO13584扩展字典模式实体定义：类相关元素本条介绍了对于GB/T17645是特殊的类相关元素。11.17.1表元素Tableelement（表元素）是指表的table-specification，且该表是与GB/T17645兼容字典中的类相关的。定义了表列意义的variable＿semantics应当是self＿property-semantics，且该self_property_se-mantics引用了对组成表name-scope的类是可见的属性或者由类和任何超类输人。注1：如果在函数视图类中定义的property_semantics需要被table＿element的columns引用并作为它们的意义，而该table-element是与GB/T17645兼容字典中函数模型类是相关的，则函数模型类可以输人property-se-mantics，并通过abstract-functional-model-class（抽象功能模型类）实体的imported＿propertiesfrom-view（从视图导入特性）属性在函数视图类中定义property-semantics,EXPRESS描述：二）ENTITYtableelementSUBTYPEOF(class-related_dictionary_element，table＿specification)；SELFdictionary-element.identified-by..table_BSU；SELFtable-specification.column-meaning：LIST[1：?]OFUNIQUEself-property-semantics;SELFtable-specification.key：SET[1：?]OFself-property-semantics；DERIVESELFtab]e_specification.table-identifier:table_BSU：二SELF.identified-by;WHEREWRl：QUERY(temp＜‘SELF.column-meaning｝NOTvisible-properties(SELFdictionary-element.identified-by.name-scope,get_property_BSU_from_property_semantics([temp])）ANDNOTapplicable＿properties(SELFdictionary-element.identified-by.name-scope，list_to_set(get_property_BSU_from_property_semantics([temp])）））＝［］；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002ENDLENTITY；-table-element（＊属性定义：identified-by：标识表的基本语义单元。column一meaning;self-property-semantics序列，它表达了表中不同列的意义。Key（关键字）:property-semantics集，它是被描述表的关键字。table-identifier：标识表的table_BSU的table＿identification。形式限制：WR1：定义了表列意义的variable-semantics应当是引用了属性的self_property_semantics，而该属性是对组成表name-scope的类是可见的。非形式限制：IPl：描述了table_BSU的同一版本的dictionary-element的不同修订版本仅区别在它们的非形式化的属性上：名称，定义，注释和备注。注2：这一非形式化的描述规定了当升级一个字典时，旧的修订版可以被新的取代而不会在集成库的函数行为上产生任何后果。11.17.2RDB表元素RDB_table_element(RDB表元素）是包含了简单类型列的table-element。EXPRESS描述：关）ENTITYRDBestable＿elementSUBTYPEOF(table_element,RDB_table_specification)；WHEREWR1：QUERY(temp＜‘SELF.column-meaning｝simple_type_data_type(tempproperty_semantics.the-property)一FALSE)＝［〕；END-ENTITY；-RDB_table_element（关形式限制：WR1：所有column-meaning列表中的属性类型都应是简单类型o11.17.3文档元素Document一element（文档元素）是文档的描述。EXPRESS描述：关）ENTITYdocument＿elementSUPERTYPEOF(ONEOF(document-clement-with-http-access,document-element-with-translate走http_access)）SUBTYPEOF(class_related_dictionary_element)；SEI.Fdictionary_element.identified-by.document_BSU;authors：OPTIONALLIST[1：?]OFperson;puhlishing_organisation;organization;ENI汇ENTITY；-document-element（，免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002属性定义：identified-by：标识文档的基本语义单元。Authors（作者）：文档的作者。publishing一organisation（出版组织）：出版文档的组织。非形式限制：1131：描述document-BSU同一版本的dictionary-element的不同修订只能用它们的非形式化属性：名称、定义、注释和备注来区别。注：这一非形式化描述规定了当字典升级时，旧的修订版本可被新的替代而不会在集成库的函数行为上产生任何结果。11.17.4可用超文本传输协议访问的文档元素Doeument_element_with_http_access（可用超文本传输协议访问的文档元素）是文档，可以用在一些绝对的统一资源定位器（URL）上使用的httpinternet转换协议访问它。与字典相关的（唯一的）global-language-assignment（全局语言赋值）所定义的语言包括该文档。注I：在GB/T17645.42-2001中文档化的ISO13584_IEC61360_language-resource-schema定义了global-lan-guage-assignment,注2:htp协议在TABRFC2068:1997中规定。注3：基于本部分的协议部分应尽可能应用属于标准跟踪RFC和更新TABRFC2068:1997的最新的TABRFC,EXPRESS描述：关）ENTITYdocument_element_with_http_accessSUBTYPEOF(document＿element)；remote＿location：absolute_URL_type;END-ENTITY；一document_element_with_http_access（＊属性定义：remote-location（远程地址）：规定了文档位置的绝对URL.形式化描述：WR1：使用http协议文档应是可访问的。非形式化描述：IPl：文档格式应对应由IAB注册的标准MIME格式。IP2：文档的语言应对应由（唯一）global-language-assignment定义的语言。11.17.5可用转换的超文本传输协议访问的文档元素Document_element_with_translated_http_access（可用转换的超文本传输协议访问的文档元素）是文档，在不同的语言中，可以用在一些绝对的统一资源定位器（URL）上使用的httpinternet转换协议访问它。这一转换语言通过present-translations实体定义，并对于每一对应的语言都给出了URL,注1:present-translations实体在已文档化的GB/T17645.42-2001中的ISO13584_IEC61360_language-resourceschema中定义。注2:http协议在IABRFC2068:1997中规定。注3：基于本部分的协议部分应尽可能应用属于标准跟踪RFC和IABRFC2068:1997的更新版本的最新IABRFC_EXPRESS描述：＊）ENTITYdocument_element_with_translated_http_accessSUBTYPEOF(documentelement)；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002remote-locations:LIST[1：?JOFabsolute_URL_type;languages：present-translations;WHEREWRI：SIZEOF(remote_locations)＝SIZEOF(languages.language-codes)；END-ENTITY；-document-element-with-translate走http_access（二属性定义：remotelocations：确定了定位器的绝对URL列表，且在此定位器中的文档可在语言属性所规定的不同语言中都可被找到。Languages（语言）：在被翻译语言列表中的文档。形式限制：WRI：在：emote-locations列表中包括的URL的数目应等于在languages.language-codes属性中定义的语言的数目。非形式限制：IPl:（可能不同的）文档格式应对应在IAB中注册的标准的MIME,IP2：在remote-locations[i]URL中定位的文档应在被languages.language-codes[i〕标识的语言中。11.17.6引用的文档Referenced-document（引用的文档）是在ISO/IEC字典模式中定义的文档专门化，该字典模式允许引用document＿BSU标识的文档。EXPRESS描述：关）ENTITYreferenced＿documentSUBTYPEOF(document)；document-reference:documentBSU;WHEREWRI：NOT("ISO13584_IEC61360_DICTIONARY_SCHEMA"＋．IDENTIFIED-DOCUMENT"INTYPEOF(SELF)）；ENDeeENTITY；-referenced-document（关属性定义：documentreference：与文档相关的基本语义单元。形式限制：WRl:referenced-document应当不是一个identified-document.11.17.7引用的图Referenced-graphics（引用的图）是在ISO/IEC字典模式中定义的图专门化，该字典模式允许引用document一BSU标识的和包括图像的文档。注：referenced-graphics是在GB/T17645.42-2001中定义的图实体的专门化。另一个图实体的专门化是在ISO13584_external_file_schema中定义的图解。illustrationis-not-a-referenced-graphic.s-rule确保了两个子类型都是不兼容的。这一规则在ISO13584-external-file-schema中定义。EXPRESS描述：＊）ENTITYreferenced-graphics免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002SUBTYPEOF(graphics)；graphics-reference：document_BSU；END-ENTITY；一referenced-graphics（＊属性定义：graphics-reference：与提供图像的文档相关的基本语义单元。11.18ISO13584扩展字典模式实体定义：特征类feature＿class（特征类）获得了项的字典描述，该字典描述表达了另一个项目的一个方面并且它们自身与属性相关。例如，它可能是形式特征，电子元件的电源插座。例：如此方面可能是电子元件的形状特征或出口。数据类型由feature＿class定义的属性获得了这一点，即一个项目的一些方面是由feature＿class的实例定义的。EXPRESS描述：关）ENTITYfeature＿classSUBTYPEOF(item_class)；WHEREWRl：NOT(（"ISO13584_IEC61360_DICTIONARY_SCHEMA.‘＋"COMPONENT-CLASS")INTYPEOF(SELF)）；WR2：NOT(（"ISO13584_IEC61360_DICTIONARY_SCHEMA.’＋"MATERIAL-CLASS")INTYPEOF(SELF)）；ENDENTITY；一feature一class（关形式限制：WRI:feature＿class不应是component-class.WR2:feature-class不应是material-class.11.19ISO13584扩展字典模式实体定义：先验语义关系a_priori_semantic_relationship（先验语义关系）是定义在其他类基础之上的类，并能输人包含在其他类中的特性，数据类型，表和文档。特性、数据类型、表或者文档的定义是通过a_priori_semantic_re-lationship的实体变成可应用于输人它们的类同时对于类不可见来输入的。这意味着不能像visible-properties一样认为是可见的。注1：继承关系是类之间的语义关系的很好的例子，其中类是通过面向对象范例而建模的。在类中定义的所有属性和其他特征通常隐含地应用给它的子类。关系是在在GB/T17645中应用，且在GB/T17645中所有的属性，数据类型，表和对一些类是可见的（个别地，可适用的）文档都对所有它们的子类是隐含地可见（个别地，可适用的）的。通常，在GB/T17645中，这一继承是隐含的（例如，不是通过a_priori_semantic_relationship而宣称的）和全球的（例如，所有的属性和数据类型都通过它们所有的子类继承）。a-priori-semantic-relationship允许定义那些对零件库应用域是特殊的其他语义关系。注2：在GB/T17645中，除了通常的继承（(is-a)和集合（(is-part-of）关系外，还定义了两个额外的语义关系：is-view-of和is-case-of。这两个关系是通过a-priori-semantic_relationship实体而获得的。注3：通过a_priori_semantic_relationship实体输人的文档可以明确地定义属性，数据类型，表或其定义。它们组成了所有的属性，数据类型，表或为referenced＿classes（已引用类）类而定义的（例如，可见的或可适用的）文档的子集。注4：对于reference之classe。类来说，通过a_priori_semantic_relationship实体输人其定义的属性、数据类型、表或文档是可见的或可应用的。用全局规则来判断这一点。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002EXPRESS描述：关）ENTITYa-priori_semantic_relationshipABSTRACTSUPERTYPEOF(ONEOF(item_class_case_of,fm-class-view-of,funetional_model_class)）SUBTYPEOF(class)；referenced-classes：SET[1：?]OFclass_BSU;referenced-properties:LIST[0：?]OFproperty_BSU；referenced-data-types：SET[0：?]OFdata_type_BSU；referenced-tables:SET仁。：?]OFtable_BSU；referenced-documents：SET仁。：?]OFdocument_BSU；END-ENTITY；-a-priori-semantic-relationship（＊属性定义：referencedclasses：当输人属性和（或）数据类型是可见的或可适用时的类。注5：输人特性、数据类型、表或文档的类不能从输人特性、数据类型，表或文档的标识导人因为它们可以从继承类中输人。例如：在IEC61360-4中“输人电压（input-voltage)”是在分类中根一层不可见的。假如供应商类从IEC“传输器（transistor)”中输人“输人电压（input-voltage)”特性，这就意味着：a）供应商类定义一个传输器，并b)这些传输器通过“inputvoltage"特性描述。referenced-properties：其定义是通过a-priori-semantic-relationship实体输人的属性。注6：系列规则定义了用户在使用a_priori_semantic_relationship不同子类过程展示输人特性的缺省规则。referenced-data-types：其定义是通过a-priori-semantic-relationship实体输入的数据类型。referenced-tables：其定义是通过a-priori-semantic-relationship实体输入的表。referenced-documents：其定义是通过a-priori-semantic-relationship实体输人的文档。11.20ISO13584扩展字典模式实体定义：功能模型类一个abstract-functional-model-class（抽象功能模型类）实体是不同种功能模型类的父类，功能模型类描述一组和项相关的表达。注1：表达所相关的项没必要在功能模型类中规定。例1：价格和仿真模型通常是和一组项相关的表达实例。例2:螺钉的语义表达一种可独立定义于任何螺钉的表达。功能模型类提供的表达范畴是由引用的功能视图来规范的，同时，在实例功能视图类情况下，表达范畴还可以由功能模型类生成。例3：几何视图和语义视图在产品数据中可通过功能模型类来生成的表达范畴，有时通过几何应用程序接口。所提供的表达层由view-control-variable-range来规范。例4：几何视图的表达层可作为视图的详细层，经过简单扩展。注2：可以通过GB/T17645一致性库建立的标准函数视图在GB/T17645的视图交换协议部分中规定。非标准函数视图也可以通过发送者和接受者之间的私有协议来定义。这一非标准函数视图类的定义可以使用本部分第18章定义的库集成信息模型LIIM24-3来交换。对功能模型类来说，在零件特征，文本参数和文本独立特征之间被建立作为通用模型类的差别已不再明显。例如，一个已被穿过的孔的末端的形状表达依据其表达所需要的细节的等级即可被认为是内在特征，也可被认为是文本独立特征。因此，所有在功能模型类中定义的属性，不论它们定为扮演文本参数，表达的特征或方法内部的变量，都应被定义为representation-P_DETs。这些属性由SELF免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002class.described-by(SELF＼类描述）继承属性来规定。有两种方法将抽象功能模型类和项目类联接起来。a）第一种方法，由functional＿model＿class实体获得，用于描述功能模型类而不用引用任何项目类。功能模型类和项目类之间的关系可能在后面由供应商或最终用户完成。这被称为后验的模式。在这个方法中，用于匹配在项目类中定义的属性的属性（由described-by继承属性定义）被定义为representation_P_DETs。根据它们关于其他项目类的任务，它们将与目标项目类中的condition_DET,non_dependent_P_DET,dependent_P_DET相匹配。例5,H-screw的几何可被描述而不用明确地引用任何特殊的元件类。同样的几何适用于一些ISO标准元件类，也适用于一些DIN标准元件类和不同的供应商元件类。在这一功能模型类和一个特殊的元件类之间的关系可以通过供应商（见：a_posteriori_view_of实体）或通过最终用户在功能模型类之外规定。在两种例子中，当在两个类之间的这一关系被规定时，则元件属性到表达属性的匹配被确定。例如，被定义为representation_几DET的这一功能模型类的一个属性应和被穿过的直径相对应。它可能与元件类的non_dependent_P_DET相匹配。b)第二种方法，由fm-class-view-of实体获得，是通过引用在一些项目类中定义的属性直接定义功能模型类。在这一情况下，描述功能模型类的属性由两个属性组成，即described-by被继承属性定义的属性和从项目类中输人（imported_properties_from_item）的属性。例6：考虑供应的功能模型。它描述了价格，定单数量等，及一些定义得很好的元件类。它不适用任何其他的元件类，而没有这个元件类它也是无用的。当描述这个功能模型类时，库数据供应商直接引用功能模型类是其视图的元件类。这允许直接引用在这个元件类中定义的属性（通过它们的property_BSUs).功能模型类总涉及到具备功能视图类的a-priori-semantics-relationship，其中功能视图类规定了由功能模型类提出的用户的观点（例如，采购，设计），以及在实例化的功能视图类中建立的表达。在先验的模式中，功能模型类也包括a-priori_semantics_relationship和它引用的项目类。例7：获取和设计是和功能视图类相关的用户观点。11.20.1抽象功能模型类Abstract一functional一model一class（抽象功能模型类）实体获得功能模型类的字典定义，而不论它与item＿class的关系是其定义的一部分，还是将在后面定义。abstract＿functional＿model＿class可以通过case＿of属性引用其他功能模型类。EXPRESS描述：、）ENTITYabstract＿functional＿model＿classABSTRACTSUPERTYPEOF(ONEOF(functional_model_class，fm-class-view-of)）SUBTYPEOF(class)；created＿view：class＿BSU；v_c_v_range;SET[0：?]OFview-control-variable-range;imported-properties-from＿view：LIST[0：?]OFproperty_BSU；imported-types-from-view：SET[0：?]OFdata_type_BSU；importe走tables-from-view：SET[0：?]OFtable_BSU;importe之documents-from-view：SET[0：?]OFdocument_BSU;case-of:SET[0：?]OFclass_BSU；imported_properties_from_models：LIST[0：?]OFproperty_BSU；importe之types-from-models..SET[0：?]OFdata_type_BSU；imported_tables_from_models：SET[0：?]OFtable_BSU；imported-documents-from-models：SET仁0：?]OFdocument_BSU；WHERE免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GBJT17645.24-2003八SO13584-24:2002WR1：created_view_is_functional_view(SELF.created-view)；WR2：QUERY(v_c_v＜*SELF.v_c_v_range｝NOTapplicable-properties(SELF.created_view,仁v_c_v.parameter_type])）＝〔〕；WR3：QUERY(v_c_v＜‘SELF.v_c_v_range｝NOT(v_c_v.parameter-typeINSELF.imported_properties_from_view)）＝仁〕：WR4：NOTEXISTS(SELFclass.its_superclass)OR（"ISO13584_EXTENDEDLDICTIONARY_SCHEMA"＋‘．ABSTRACT_FUNCTIONAL_MODEI._CLASS"INTYPEOF(SE1.Fclass.its_superclass)）；WR5：QUERY(v_c_v＜＊SELF.v_c_v_range｝SIZEOF(QUERY(v_c_v_2＜‘SELF.v_c_v_range｝v_c_v.parameter-type＝v_c_v_2.parameter_type)）＜＞1）＝「〕；WR6：QUERY(prop＜‘SELFclass.described-by｝definition＿available-implies(prop，CISO13584_EXTENDED_DICTIONARY_SCHEMA"＋’．REPRESENTATION_P_DET")INTYPEOF(prop.definition[l])））＝SELFclass.described-by;WR7：QUERY(cl＜*SELF.case-ofIdefinition_available_implies(cl，("ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋’．ABSTRACT_FUNCTIONAI}MODEL_CI,ASS")INTYPEOF(cl.definition[l])））＝SELF.case-of;ENDeeENTITY；-abstract-functional-model-class（二属性定义：created-view（创建的视图）：对功能模型类提出的用户观点（例如：采购、设计）进行特征化的func-tional＿view＿class，以及在实例化的功能视图类的情况下，视图可由functional＿model＿class产生。V_c_v_range(v_c_v范围）：视图控制变量范围的列表，该列表规定了functional＿model＿class能够建立的不同视图。注1;当由created＿view属性定义的功能视图的视图控制变量没在v_c_v_range属性中表达时，该视图控制变量的范围是它的完整值域。注2：在12.7.2中定义的declared＿created_views_are_created（生成被声明的生成视图）规则确保了可能通过func-tionaLmodel_cIass_extension的不同方法建立的功能视图集，包括宣称其相应的functional＿model＿class能够建立的功能视图集。注3：定义在12章中的all_views_available_for_each_component_rule确保了功能视图集可以由explicit-functional-mode七Class-extension来建立包括功能视图集相应的functiona1-model-class声明也可以建立。imported_properties_from_view(从视图导入的特性）：从被描述的视图中导人的特性列表。imported-types-frorn-view（从视图导入的类型）：从被描述的视图中导人的类型（数据＿类型）列表。imported-tables-from-view（从视图导人的表）：从被描述的视图中导人的表集。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002imported_documents_from_view（从视图导人的文档）：从被描述的视图中导入的文档集。case＿of（示例）：其他abstract_functional_model_classes是当前abstract_functional_model-classes的示例。imported-properties-from-models（从模型导人的特性）：从case-ofabstract-functional_model-classes导人的系列特性。imported_types_from_models（从模型导入的类型）：从case-ofabstract-functional-model-classes导入的系列类型。importe走tables-from-models（从模型导人的表）：从case-ofabstract_function-al-model-classes导人的一组表。imported_documents_from_models（从模型导人的文档）：从case-ofabstract-functional_model-classes导入的一组文档。形式限制：WRl：属性created＿view应对应功能视图类。WR2：每一个视图控制变量应对应由created＿view属性引用的功能视图的一个视图控制变量。WR3：每个视图控制变量应属于在imported-propertes-from-vew中包括的输人属性列表。WR4：该类或无超类，或其超类是abstract-functional-model-class实体数据类型。WR5：在v_c_v_range属性中包括的每一视图控制变量应是唯一的。WR6：在功能模型类中定义的所有属性都应被定义为representation_P_DEToWR7：通过case＿of属性引用的类应该和功能模型类一致。非形式限制：IPl：所有定义在功能模型类中的特性应该作为representation_P_DET定义。11.20.2功能模型类functional＿model＿class（功能模型类）实体获得了不用引用任何item＿class而被描述的功能模型类的字典定义。注：functional＿model＿class和itemclass之间的关联在以后、或者由供应商、或由最终用户完成。EXPRESS描述：关）ENTITYfunctional-model-classSUBTYPEOF(a_priori_semantic_relationship，abstract_functional_model_class)；DERIVESEI-Fa_priori_semantic_relationship.referenced-classes：SET[1：?]OFclass_BSU：＝[SELFabstract_functional_model-class.created-view]＋SELFabstract_functional_model_class.case-of;SEI.Fa_priori_semantic_relationship.referenced-properties：LIST[0：?]OFproperty_BSU：＝SELFabstract_functional_model_class．imported-properties-from-view＋SELFabstract_functional_model_class．imported-properties-from-models；SELFa_priori_semantic_relationship.referenced-data-types:SET[o：?]OFdata_type_BSU：＝SELFabstract_functional_model_class．imported-types_from_view＋SELFabstract_functional_model_class免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002．imported-types-from-models;SELFa_priori_semantic_relationship.reference走tables：SET[0：?]OFtable_BSU：＝SELFabstract_functional_model_class．imported-tables-from-view十SELFabstractfunctional＿modeLclass。importe走tables-from-models;SELFa_priori_semantic_relationship.reference走documents：SET[0：?]OFdocumentBSU：二SELFabstract_functional_model_class。imported-documents-from-view＋SELFabstract_functional_model_class。imported-documents-from-models;END-ENTITY；-functional_model_class（二11.20.3⋯⋯的功能模型类视图fm-class-view-of(...⋯的功能模型类视图）实体获得了一功能模型类的字典定义，该功能模型类是通过引用它应用的item-class而被定义。注：functional_model_class和item-class之间的这类关联是一先验的语义关系。functional-model-class可以输人属性，数据类型，表格和来自itemclass的文档。EXPRESS描述：关）ENTITYfm-class-view-ofSUBTYPEOF(a_priori_semantic_relationship,abstract＿functional＿model＿class)；view-of:class_BSU；imported-properties_from_item：LIST[0：?]OFproperty-BSU；imported-types-from-item：SET[0：?]OFdata_type_BSU；imported-tables-from-item:SET[0：?]OFtable_BSU；imported-documents-from-item：SET[0：?]OFdocument_BSU；DERIVESELFa_priori_semantic-relationship.referenced＿classes：SET[2：2]OFclass_BSU：＝[SELFabstract_functional_model_class.created-view,SELF.view-of]＋SEI.Fabstract_functional_model_class.case-of;SELFa_priori_semantic_relationship.referenced-properties:LIST[0：?]OFproperty_BSU：＝SELFabstract-functional_model_class．imported_properties_from_view＋SELFabstract_functional_modelclass．imported_properties_from_modeIs＋SELF.imported-properties-from-item;SELFa_priori_semantic_relationship.referenced_data_types：免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002SET仁0：?]OFdata_type_BSU：＝SELFabstract_functional_model-class．imported-types-from-vew＋SELFabstractfunctional＿model-class．imported-types-from-models＋SELF.imported-types-from-item；SELFa_priori_semantic_relationship.reference走tables:SET[0：?]OFtable_BSU：＝SEI,Fabstract-functional-model-class．imported-tables-from-view＋SELFabstract_functional_model_class．imported-tables-from-models＋SELF.imported-tables-from-item;SELFa_priori_semantic-relationship.referenced-documents：SET[0：?]OFdocument_BSU：＝SELFabstract-functional_model_class．imported-documents-from-view＋SELFabstract_functional_model_class．imported-documents-from＿models＋SELF.imported-documents-from-item；WHEREWR1：check-view-of-instance-datatype(SELF)；ENDesENTITY；一fm-class-view-of（＊属性定义：view＿of：在其中被描述的functional_model_class能生成视图的item-class.imported-properties-from-item（从项导入的特性）：从item-class输人的属性，对于该item-class当前类能生成视图。imported-types-from-item（从项导人的类型）：从item＿class导人的类型，对于该item＿class当前类能生成视图。imported-tables-from-item（从项导入的表）：从item-class导人的表，对于该item＿class当前类能生成视图。imported-documents-from-item（从项导人的文档）：从item＿class输人的文档，对于该item＿class当前类能生成视图。形式限制：WR1:view-of的属性应该参考item-class.11.21ISO13584扩展字典模式实体定义：功能视图类功能视图类确定了一个表达种类，该种类可以在字典中表达，和／或可由库并通过与项目类相关的功能模型类而生成。例1：这样的表达范畴可以是几何学，运动学或获取方法。假如功能视图类在用户模型系统中实例化，功能视图类应该定义表达范畴的结构，无论它引用什么项它都规定模型系统。例2：几何学，运动学和图表都是表达范畴。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002通过引用GB/T16656.43-1999表达实现。view-control-variables（视图控制变量）对表达种类进行精确化。它们的值将通过用户提供来确定需要哪个精确的表达。view-properties（视图特性）定义了视图的内容。它们的值将通过系统来计算。两种属性都应被表达)k7representotion_P_DETs。functiona仁view-class是GB/T16656.43-1999表达的子类。因此每一个功能视图类实例都明确包含representation-context和一组项继承属性所引用的representation-items。当功能视图类是GB/T16656.43-1999表达子类的子类时，后者子类通过表达功能视图类的functional＿view＿class实例representation-type属性以EXPRESSTYPEOF函数结果的相同格式来规定。例3：一个特殊的几何功能视图类可通过视图控制变量集和一个视图特性来规定，该视图特性被称为insertionplacement（插人定位），它是定位的集合：简单定位，axisl_placement（一轴定位），和／或axis2_placement（二轴定位）将通过功能模型类来计算并在表达中扮演一个特殊的职责。作为表达的子类它也包括了被项目属性引用的representation-context和geometric-representation-items（几何表达项）集（详见GB/T16656.42-1998).不用来实例化的功能视图类不应包括任何视图特性。引用功能视图类的功能模型类仅包括在用户选择过程中将被使用的数据。这一功能视图类允许规定这些数据类将被用于用户观点。例4：目录管理和获取方式可以是无意识实例化的功能视图。11.21.1功能视图类functional＿view＿class（功能视图类）实体是类实体的子类。功能视图类的实例的内容是GB/T16656.43-1999表达的子类。因此，它包括两个被继承的属性：-context-of-items属性，该属性包括了定义了组成视图的表达元素的文本的representation-context.—项目属性，该属性包括了属于视图内容的representation-item”集。当功能视图实例内容是representation特殊子类时，子类是通过representation＿type属性定义的，该属性包括它的完全合格的名字。functional＿view＿class也可以包含在相同种类中允许区分相同项不同表达的view-control_varia-bles，且view-properties定义包含在功能视图类中的任何实例。例：GB/T16656.101定义了捕捉零件形状的几何概念的基础几何（basicgeometry)功能视图类。这功能视图类的实例是STEP表达的实例。5个视图控制变量提供了精确规定可能和库项相关的不同基础几何basic-geometry）表达：‘几何层（geometry-level)I,‘详细层（detail-level)",‘边（side)",‘变量（variant)",隐性变量（unreg_variant)",GB/T16656.101也规定了如何交换包含有FORTRAN参数程序的功能模型类从而能建立basicgeometry表达。注1：标准化的功能视图类通过GB/T17645部分的视图交换协议系列被定义。每个视图交换协议规定了标准化数据，它表达功能视图类，视图的theviewcontrol＿variables，和view-properties和怎样交换功能模型类能够建立功能视图类的实例。EXPRESS描述：＊）ENTITYfunctional-view-classSUPERTYPEOF(non_instantiable＿functional_view_class)SUBTYPEOF(class)；representation-type:OPTIONALSTRING;view-control-variables：LIST仁0：?]OFUNIQUEproperty_BSU；view-properties:LIST[0：?]OFUNIQUEproperty_BSU；DERIVESELFclass.described-by：LIST[0：?]OFUNIQUEproperty_BSU：＝SELF.view-control-variables＋SELF.view-properties；WHEREWR1：QUERY(v_c_v＜＊SELF.view-control-variables免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002INOT((data_type_typeof(v_c_v)＝〔〕）OR（（"ISO13584＿IEC61360-DICTIONARY-SCHEMA"＋‘．NON_QUANTITATIVE_INT_TYPE"INdata_type_typeof(v_c_v)）ANDordered-index-value(data-type_non_quantitative_int-type(v-c_v)[1].domain)）））＝仁〕；WR2：NOTEXISTS(SELF.representation_type)OR（"-SCHEMA.‘LIKESELF.representation-type)；WR3：NOTEXISTS(SELFclass.its_superclass)OR（（"ISO13584-EXTENDED-DICTIONARY-SCHEMA.’＋"FUNCTIONAL-VIEW-CLASS")INTYPEOF(SELFclass.its_superclass)）；WR4：QUERY(prop＜二SELFclass.described-by｝definition-available-implies(prop,（"ISO13584EXTENDED_DICTIONARY_SCHEMA"＋‘．REPRESENTATION＿P＿DET"）INTYPEOF(prop.definition[l])））＝SELFclass.described-by;END_ENTITY；-functional-view-class（，属性定义：representationtype：字符串格式的规定，该规定属于GB/T16656表达子类，且功能视图内容是GB/T16656表达子类的一个子类。view-control-variable：是引人的功能视图类的视图控制变量的属性列表。view-properties：应被包括在视图中的属性列表。described-by：功能视图类的属性全集。它是包括view-control-variable列表以及view-properties的列表。形式限制：WRl：所有视图控制变量的parameter-type（参数类型）属性都应是值为连续整数的non_quantita-tive_int_type（非定量实数型）。WR2:representation_type应包括字符串”-SCHEMA."（完全合格名称）。注2:representation-type包含与EXPRESS完全合格的名字对应的字符串。WR3：类或者没有超类，或者有，假如有的话，超类应是functional_view_classoWR4：假如数据可用，那么IPl就保存。非形式限制：IP1：所有定义在功能视图类中的特性都应该作为representation_P_DET定义。IP2:representation-type应包括完全合格的名称，并应和EXPRESSTYPEOF功能具有同样的格式，且该功能是GB/T16656.43-1999表达的一个子类。11.21.2非实例化功能视图类Non_instantiable_functional_view_class（非实例化功能视图类）规定了在部分选择过程中可被用户采用的透视图。在用户建模系统中，这一视图没有实例可被建立。EXPRESS描述：二）ENTITYnon＿instantiablefunctional＿view＿class免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002SUBTYPEOF(functional_view_class)；DERIVESELFfunctional_view_class.view-properties：LIST[0：?]OFUNIQUEproperty_BSU：二［〕；WHEREWRl：NOTEXISTS(SELFfunctional_view_class.representation-type)；ENDesENTITY；-non_instantiable_functional_view_class（关属性定义：SELFfunctional_view_class.view-properties(SELF＼功能视图类．视图特性）：non_instantiable_functional_view_class没有和视图属性相关。形式限制：WR1：表达类型不应存在。11.21.3视图控制变f范围的规定view-control-variable-range（视图控制变量范围）规定了视图控制变量域的子集作为由其最低界限和最高界限定义的值域。这一值域包括了它的界限。注1:由non_quantitative_int_type实体表达的视图控制变量的域是枚举类型，其中枚举元素被表达为连续的整数集。值域是由所有其相关整数大于或等于值域最低限且小于或等于值域最高限的值组成。注2:non_quantitative-int-type是在由IEC61360-2:1998规定的ISO13584-IEC61360-dictionary-schema中定义的，并且为方便起见在GB/T17645.42--2001的资料性附录D中被重复。在11.20.1中规定的functionalviewclass实体中的WRl规则确定了与视图控制变量值相关的整数组成了连续整数集。EXPRESS描述：关）ENTITYview-control-variable-range;parameter-type:property_BSU；range_lobound:INTEGER;range_hibound：INTEGER;WHEREWR1：(data_type_typeof(SELF.parameter-type）二［〕）OR("ISO13584_IEC61360_DICTIONARY_SCHEMA"十‘．NON_QUANTITATIVE_INT_TYPE"INdata_type_typeof(SELF.parameter-type)）；WR2：SELF.range_lobound＜＝SELF.range_hibound;WR3：view_control_variables_attributes_belong_to_domain(SELF)；END一ENTITY；-View-control-variable-range（关属性定义：parameter-type（参数类型）：描述范围的视图控制变量。range_lobound(范围下限）：描述范围低边界的整数。range_hibound(范围上限）：描述范围高边界的整数。形式限制：WRl:parametertype属性应该是non_quantitative_int_typeoWR2：范围的低边界应小于或等于范围的高边界。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002WR3：属性range_lobound和：ange_hibound应属于视图控制变量的域。11.22ISO13584扩展字典模式实体定义：项目类的先验事例关系11.22.1⋯⋯的项类事例item-class-case-of(...⋯的项类事例）描述的项目类被定义为其他某些项目类的（先验）事例关系。注：itemclass一caseof定义优先关系。EXPRESS描述：＊）ENTITYitem-class-case-ofSUPERTYPEOF(ONEOF(component_class_case_of,material-class-case-of,feature_class_case_of)）SUBTYPEOF(item_class，a_priori_semantic_relationship)；is-case-of:SET仁1：?]OFclass_BSU；imported-properties：LIST[0：?]OFproperty_BSU；imported-types：SET仁0：?]OFdata_type_BSU;imported-tables:SET[0：?]OFtable_BSU；imported-documents:SET[0：?]OFdocument_BSU；DERIVESELFa_priori_semantic_relationship.referenced-classes：SET仁1：?]OFclass_BSU：＝SELF.is-case-of;SELFa_priori_semantic_relationship.referenced-properties：LIST[0：?]OFproperty_BSU：＝SELF.imported-properties；SELFa_priori_semantic_relationship.referenced-data-types.SET[0：?]OFdata_type_BSU：＝SELF.imported-types；SELFa_priori_semantic_relationship.referenced-tables：SET[0：?]OFtable_BSU：＝SELF.imported-tables;SELFa_priori_semantic_relationship.referenced-documents：SET仁。：?]OFdocumentBSU：＝SELF.imported-documents;WHEREWRI：superclass_of_item_is_item(SELF)；WR2：check_is_case_of_referenced_classes_definition(SELF)；ENDesENTITY；一item-class-case-of（二属性定义：is-case-of：表达item-class是事例关系的item_class(es)oimported-properties（导人特性）：从item-class(es）输人的属性列表，其中item_class(es）定义了i-tem-class事例关系。imported-types（导人类型）：从item-class(es）输人的数据类型集，其中item_class(es）定义了item一class事例关系。imported-tables（导入表）：从item-class(es）输入的table＿BSUs集，其中item＿class(es）定义了i-tem-class事例关系。importeddocuments（导入文档）：从item-class(es）输人的document_BSUs集，其中item＿class免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002(es）定义了item＿class事例关系。形式限制：WR1,item-class-case-of的超类应是一个item＿classoWR2:item_class_case_of应是item_class(es）的事例关系。11.22.2⋯⋯的组件类事例component-class-case-of(...⋯的组件类事例）描述的组件类被定义为其他组件类的（先验）事例关系。注：component＿class_case_of定义一个优先关系EXPRESS描述：＊）ENTITYcomponent-class-case-ofSUBTYPEOF(item_class_case_of,component-class)；WHEREWR1：check-is-case-of-referenced_classes_definition(SELF)；EN几ENTITY；一componentclass_case_of（关形式限制：WRl:component-class-case-of应是component-class的事例关系。11.22.3⋯⋯的材料类事例material-class一case-of(...⋯的材料类事例）描述的材料类被定义为其他材料类的（先验）事例关系。material-class-case-of定义了一个优先关系。EXPRESS描述：关）ENTITYmaterial-class-case-ofSUBTYPEOF(item_class_case_of,material-class)；WHEREWR1：check_is_case_o仁referenced-classes-definition(SELF)；END_ENTITY；-material-class-case-of（，形式限制：WR1:material-class-case-of应是material-class的事例关系。11.22.4⋯⋯的特征类事例feature-class-case-of(...⋯的特征类事例）描述的特征类被定义为其他特征类的（先验）事例关系。注：feature-class-case-of定义T一个优先关系。EXPRESS描述：，）ENTITYfeature-class-case-ofSUBTYPEOF(item_class_case_of,feature-class)；WHEREWRl：check_is_case_o仁referenced_classes_definition(SEI.F)；END－ENTITY；-feature_class_case_of（苦免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002形式限制：WR1:feature_class_case_of应是feature-class的事例关系。11.23ISO13584扩展字典模式实体定义：后验语法关系在类之间语法关系的后验定义中，每个类定义了其所有的属性。因此，即使被引用的类是无用的，它本身是有用的。这种机制也允许最终用户定义它们自己的语法关系。11.23.1后验语义关系a_posteriori_semantic_relationship（后验语义关系）是两个类之间的关系。EXPRESS描述：关）ENTITYa_posteriori-semantic＿relationshipABSTRACTSUPERTYPEOF(ONEOF(a_posteriori_case_of,a_posteriori_view_of)）；ENDesENTITY；-a_posterjori_semantic-relationship（，11.23.2⋯⋯的后验事例a_posteriori_case_of(...⋯的后验事例）规定了两个项目类之间的is-case-of关系。EXPRESS描述：二）ENTITYa_posteriori_case_ofSUBTYPEOF(a_posteriori_semantic_relationship)；source:class_BSU；is-case-of:class_BSU；corresponding-properties：SET[0：?]OFLIST[2：2]OFproperty-BSU;WHEREWR1：definition-available-implies(SELF.source,（"ISO13584_IEC61360-DICTIONARY-SCHEMA.ITEM-CLASS"INTYPEOF(SELF.source.definition[l])）OR（（"ISO13584＿EXTENDE几DICTIONARY-SCHEMA"＋‘．ABSTRACT_FUNCTIONAL_MODEI._CLASS")INTYPEOF(SELF.source.definition[l])））；WR2：definition_available_implies(SELF.source,（（"ISO13584_IEC61360DICTIONARY_SCHEMA.ITEM-CLASS"INTYPEOF(SELF.source.definition[l])）AND(definition-available-implies(SELF.is-case-of,（"ISO13584_IEC61360-DICTIONARY-SCHEMA.ITEM-CLASS"INTYPEOF(SELF.source.definition[l])））））OR（（"ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋‘．ABSTRACT_FUNCTIONAL_MODEI-CLASS"INTYPEOF(SELF.source.definition仁1])）AND(definition_available_implies(SELF.is-case-of,（"ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋‘．ABSTRACTFUNCTIONALMODELCLASS"免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002INTYPEOF(SELF.source.definition[l])）））））；WR3：QUERY(couple＜二SELF.corresponding-propertiesINOTcompatible_types(couple[1]，couple[2])）＝［〕；WR4：QUERY(couple＜‘SELF.corresponding-properties｝(NOTapplicable-properties(SELF.source,[couple[1]])ORNOTapplicable-properties(SELF.is-case-of,仁couple仁2]])））＝［］；END-ENTITY；-a-posteriori-case-of（，属性定义：source（资源）:theis-case-of属性的theis-case-of类。is_case_of:general＿model属性是其事例关系的item_class,corresponding-properties（相应特性）：在事例关系中，相互对应的属性对列表。每一对特性的第一个属于资源类，第二个属于is-case-of类。形式限制：WR1:general-model属性应引用item-class,WR2:is-case-of属性应引用item-class,WR3:corresponding-properties#1表的所有相对应的属性在类型上兼容。WR4：对于关系牵涉到的两个item＿class中的任一个来说，每对corresponding＿properties列表包括的每个属性应是可应用的。非形式限制：1131：资源属性可以引用item＿class，也可以引用abstract_functioinal_modelclass.IP2：资源和is-case-of属性是item＿classes和abstract-functional-mode址classes两者，也可以是其中一个。11.23.3⋯⋯的后验视图a_posteriori_view_of(---⋯的后验视图）实体是功能模型类和项目类之间的关系。EXPRESS描述：，）ENTITYa_posteriori-view_ofSUBTYPEOF(a-posteriori-semantic-relationship)；functional＿model：class＿BSU；is-view-of:class_BSU；corresponding-properties：SET[0：?]OFLIST[2：2]OFproperty_BSU；WHEREWRl：definition_available_implies(SEI,F.functional-model，("ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋‘．FUNCTIONAL-MODEL-CLASS"INTYPEOF(SELF.functional＿model.definition[l])））；WR2：definition_available_implies(SELF.is-view-of,("ISO13584_IEC61360_DICTIONARY_SCHEMA.ITEM-CLASS"INTYPEOF(SELF.is-view-of.definition[l])））；WR3：QUERY(couple＜二SELF.corresponding-properties免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002NOTcompatible_types(couple[1]，couple[2])）＝仁〕；WR4：QUERY(couple＜＊SELF.corresponding-properties｝(NOTapplicable-properties(SELF.functional＿model,[couple[1]])ORNOTapplicable-properties(SELF.is-view-of,[couple[2]])））＝「］；ENDENTITY；-a-posteriori-view-of（＊属性定义：functional一model：是is-view-of（是⋯⋯的视图）类的视图关系的功能模型类。is-view-of:functional＿model类是其视图关系的item-class.corresponding-properties：分别属于functional＿model类和is-view-of类的属性对列表。形式限制：WRI:functional＿model属性应引用一个functional_model_class.WR2:is-case-of属性应引用一个item-class.WR3:corresponding-properties列表的所有相对应的属性在类型上兼容。WR4：对与它们相应的类来说，每对corresponding-properties列表包括的每个属性应是可应用的属性。非形式限制：IPI,functional＿model属性应该引用functional-model-class.IP2:is-view-of属性应该引用item-class.11.24ISO13584扩展字典模式实体定义：表内容11.24.1表内容在GB/T17645兼容字典中，table-content（表内容）实体是与类相关联的表的table＿extension。组成table-content的content的。olumns应与定义这些columns的self-property-semantics相兼容。table一content继承了revision一of一content属性和content-revision-date属性，前者规定了表中值集的修订数，后者规定了供应商是什么时候定义该值集的。修订时不能改变表的关键字集，也不能改变columns列表。只能改变非关键columns的值。．注：table＿BSU也有一个版本号，它描述了表中关键值集和组成其content列的一览表。EXPRESS描述：，）ENTITYtablecontentSUBTYPEOF(content_item，tableextension)；SELFcontent-item.dictionarydefinition：table_BSU；DERIVESELFtable-extension.table＿identifier：table_bsu：＝SELFcontent_item.dictionary-definition；WHEREWR1：definition-available-implies(SELFcontent_item.dictionary-definition，"ISO13584-EXTENDE几DICTIONARY-SCHEMA.TABLE-ELEMENT"INTYPEOF(SELFcontent_item.dictionary-definition.definition仁1])）；WR2：compatible＿contentand_specification(SELF)；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002END-ENTITY；一tablecontent（关属性定义：dictionarydefinition(字典定义）：细化继承的属性是为了引用被当前实体描述其内容的表。形式限制：WR1：与identified-by属性相关的dictionary-element是table-element,WR2:columns数恰好反映了表table-element的描述，并且每列的类型和值是兼容的，也符合相应property-semantics的数据类型规范所定义的类型。非形式限制：IP1：具有相同table＿BSUversion的所有修订本有相同的关键值集和相同的contentLIST。从一个修订本到另一个修订本，唯一可以改变的是非关键字的值。注1：这个非形式限制只规定了从一个修订本到另一个修订本的允许改变。然而，当做一种改变，这种改变决定它是否是不影响表的tableBSU标识符的修订本，或它是否是改变其标识版本号的表的新版本时，应该由供应商来决定它。注2：这个非形式限制规定：当更新字典时，旧修订本可能被新修订本替代，在集成库的功能行为上没有任何因果关系11.24.2RDB表内容RDB_table_content(RDB表内容）是一种结构，它限制了与关系数据库兼容的表的table-content.EXPRESS描述，）ENTITYRDBestable＿contentSUBTYPEOF(table_content，RDB_table_extension)；WHEREWR1：definition_available_implies(SELFcontent-item.dictionary-definition,"ISO13584-EXTENDED-DICTIONARY-SCHEMA.RDB_TABLE_ELEMENT"INTYPEOF(SELFcontent_item.dictionary-definition.definition[1])）；END-ENTITY；-RDB＿table＿content（＊形式限制：WR1：与identified-by属性相关联的dictionary-element是RDB_table_element,非形式限制：IP1：与identified-by属性相关的dictionary＿element是RDB_table_element,IP2：具有相同table＿BSUversion的所有修订本有相同的关键值集和相同的extensionLIST。从一个修订本到另一个修订本，唯一可以改变的是非关键字的值。11.25ISO13584扩展字典模式：规则定义该条介绍了本部分使用的不同EXPRESS规则。这些规则涉及：一一字典元素，它描述了模型类中定义的属性；—类中属性的说明；一一类中类型的说明；—已命名类型的使用；—与供应商有关的程序库；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24;2002—与类有关的文档和表；—视图控制变量中使用的级别。11.25.1模型和视图的表达特性的规则representation-property-for-model-and-view（模型和视图的表达特性）规则规定functional-mod-el-class或functional＿view＿class中定义的属性应描述成representation-P_DET。只有在item-class中，属性才可以定义成condition_DET,dependent_P_DET或non_dependent_P_DEToEXPRESS描述：关）RULErepresentation-properties-for-model-and-view-ruleFOR(property_DET)；WHEREWR1：QUERY(prop＜*property_DET｝(SIZEOF(prop.identified-by.name-scope.definition)＝1)AND（("ISO13584-EXTENDED-DICTIONARY-SCHEMA"十‘．FUNCTIONAL-MODEL-CLASS"INTYPEOF(prop.identified-by.name-scope.definition)）OR（"ISO13584-EXTENDED-DICTIONARY-SCHEMA"十‘．FUNCTIONAL-VIEW-CLASS"INTYPEOF(prop.identified-by.name-scope.definition)））ANDNOT("ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋’．REPRESENTATION_P_DET"INTYPEOF(prop)））＝［］；EN几RULE；一representation-properties-for-model-and-view-rule（二形式限制：WR1,functional_model_class或functional＿view-class中定义的属性应描述成representation-PDET.11.25.2允许已命名类型用法的规则allowed-named-type-usage（允许已命名类型用法）规则是关于已命名类型的使用。它规定只有应用于类的类型才可能用于指定用类通过其described-by属性声明的属性的域。EXPRESS描述：二）RULEallowed-named-type-usage-ruleFOR(class)；LOCALnamed-type-usage-alIowed：LOGICAL：＝TRUEis-app：LOGICAL;prop：property_bsu；cl：class；dtnt：SET[0：1]OFdata_type_bsu：＝［〕；END-LOCAL;REPEATi：二1TOSIZEOF(class)；cl：＝class[i]；REPEATJ：＝1TOSIZEOF(class[i].described-by)；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002prop：＝cl.described-by[j]；dtnt：＝data-type-name之type(prop)；IF(SIZEOF(dtnt)＝1）THENis-app：＝applicable_types(cl.identifie走by,dtnt)；IF(NOTis-app)THENnamed-type-usage-allowed：＝FALSE;END_IF;END-IF;END_REPEAT;END-REPEAT;WHEREWRI：named-type-usage-allowed;END-RULE；-allowed-named-type-usage-rule形式限制：WRI：只有应用于类的类型才可能用于指定用类通过其described-by属性声明的属性的域。11.25.3表的排它性规则assert＿oneoffor＿table（表的排它性）规则规定不是RDB-table-element的table-element不能是RDB_table_specificationoEXPRESS描述：＊）RULEassert_oneo仁for-table-ruleFOR(table-element)；WHEREWRI：QUERY(temp＜＊tableelement｛NOT("ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋‘．RDBLTABLE_ELEMENT"INTYPEOF(temp)）AND("ISO13584-TABLE-RESOURCE-SCHEMA.RDB_TABLESPECIFICATIONINTYPEOF(temp)））＝［」；END-RULE；-assertoneof_for_table_rule（，形式限制：WR1：不是RDBtableelement的table不能是RDB_table_specificationo11.25.4类的排它性规则assert＿oneo仁for＿class（类的排它性）规则规定类不应该同时是item＿class和／或functional_view-class和或abstract_functional_model_classoEXPRESS描述：＊）RULEassertoneof_for_class_ruleFOR(class)；WHEREWR1：QUERY(cl＜＊classI（"ISO13584_IEC61360-DICTIONARY-SCHEMA,ITEM-CLASS"INTYPEOF(cl)）AND（（"ISO13584＿EXTENDEDDICTIONARY＿SCHEMA"免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002＋‘．ABSTRACT-FUNCTIONAL-MODE几CLASS")INTYPEOF(cl)））二［〕；WR2：QUERY(cl＜*classI（"ISO13584_IEC61360-DICTIONARY-SCHEMA.ITEM＿CLASS"INTYPEOF(cl)）AND（（"ISO13584-EXTENDE几DICTIONARY-SCHEMA"＋‘．FUNCTIONAL-VIEW-CLASS"）INTYPEOF(cl)））＝〔〕；WR3：QUERY(cl＜二class！（（"ISO13584＿EXTENDE几DICTIONARY＿SCHEMA"＋‘．ABSTRACT-FUNCTIONAL-MODEL-CLASS"）INTYPEOF(cl)）AND（（"ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋‘．FUNCTIONAL-VIEW-CLASS")INTYPEOF(cl)））＝［〕；ENDRULE；一assert_oneo仁for-class-rule（＊形式限制：WR1：类不应该同时是item-class和abstract-functional-model-class.WR2：类不应该同时是item＿class和functional-view-class.WR3：类不应该同时是functional_view_class和abstract_functional_model_classo11.25.5从表规则中不能向前引用的规则no-forward-reference-from-table-rule（从表规则中不能向前引用的规则）规则检查：当符合库交换环境的PLib包含table-elements时，这些table-elements不是通过它们继承的属性column-meaning引用property_BSU,property_BSU按class_BSU序列的顺序向前引用class_BSU，其中class＿BSU序列的）｝匝序是由库交换环境中包括的任何dictionary实体的contained＿classes属性定义的。注：在库交换环境中，本部分定义的库集成信息模型只允许一个dictionary实体。EXPRESS描述：＊）RULEno-forward-reference-from-table-ruleFOR(dictionary，table＿element)；WHEREWR1：QUERY(dic＜‘dictionary｝QUERY(tab＜＊table＿element｛makes-reference-outside(get_property_BSU_from_property_semanticstabtable_specification.column-meaning)，sub_list_until(dic.contained-classes,tabtable-specification.table_identifiertable_BSU.name-scope)））＜＞11）＝CI；END-RULE；一no-forward-reference-from-table-rule（＊形式限制：WR1：没有从任何table-element到property_bsu提前引用，property_bsu和由包含在库交换内容中的任何字典实体contained＿classes属性定义的class＿BSU系列规则有关。11.25.6导入特性是可见的或可应用的规则imported-properties-are-visible-or-applicable-rule（导人特性是可见的或可应用的规则）规则检免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002查：当特性被类用a-priori_semantics-relationship输人时，这个特性对于该类来说是可见的或可应用的。注：可应用的特性包括通过语法关系输人的特性。这条规则使从特性已被输入的类中输人特性成为可能。EXPRESS描述：二）RULEimported-properties-are-visible-or-applicable-ruleFOR(a_priorisemantic＿relationship，property_DET)；WHEREWR1：QUERY(ref＜二a_priori_semantic_relationship｝QUERY(prop＜＊rel.referenced-propertiesIQUERY(cl＜＊rel.referenced-classesINOTvisible_properties(cl，[prop])ANDNOTapplicable-properties(cl，[prop])）＝rel.referenced-classes)＝［］）＝a_priori-semantic-relationship；END-RULE；-imported-properties-are-visible-or-applicable-rule（关形式限制：WRl：任何‘a_priori_semantics_relationship的referenced＿properties特性定义的输人特性对属于该a_priori_semantics_relationship的referencedclasses集的任一类来说应是可见的或可应用的。11.25.7导入数据类型是可见的或可应用的规则imported_data_types_are_visible_or_applicable-rule（导入数据类型是可见的或可应用的规则）规则检查：当数据类型被类用a_priori_semantics_relationship输入时，这个数据类型对于该类来说是可见的或可应用的。注：可应用的数据类型包括通过语法关系输人的数据类型。这条规则使从数据类型已被输人的类中输人数据类型成为可能。EXPRESS描述：＊）RULEimported-data_types_are_visible_or-applicable-ruleFOR(a_priorisemantic＿relationship，data-type-element)；WHEREWR1：QUERY(rel＜二a_priori_semantic_relationship｝QUERY(typ＜＊rel.referenced-data-typesIQUERY(cl＜＊rel.referenced-classesINOTvisible_types(cl，[typ])ANDNOTapplicable_types(cl，[typ]））＝rel.referenced-classes)＝［〕）＝a_priori_semantic_relationship；END-RULE；一imported-data_types_are_visible_or_applicable_rule（关形式限制：WR1：任何a_priori_semantics_relationship的referenced＿properties属性定义的输人类型对属于该a_priori_semantics_relationship的referenced-classes集的任一类来说应是可见的或可应用的。免费标准下载网(www.freebz.net)无需注册即可下载'