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

'免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002content＿files（内容文件）:external_file_units定义了特定语言中的external-item的内容。main＿file(主文件）：在库的使用过程中，被引用并处理的external-item的地方（如显示）处理的ex-ternal-file-unitacbaracter_encoding（字符编码）：包括字符的language-specific＿content的所有external-file_units中使用的特殊字符编码。content-of:language-specific-content用一种特殊语言定义的external-content,形式限制：WRI:main_file是一个content-file,WR2：如果external＿item是一个program_library_content，那么存在一个main-file,WR3：在使用http_protocol时，character-encoding（字符编码）存在。非形式限制：当language_specific_content包括字符并且使用data-protocol进行几种character-encoding时，character_encodings存在。13.9.6外部文件单元external＿fileunit（外部文件单元）是库外部文件。EXPRESS描述：＊）ENTITYexternal＿fileunitSUPERTYPEOF(http_file)；file:external-file-address；content-encoding.OPTIONALcontent-encoding-type；INVERSEunit-of:language-specific-contentFORcontent-files；WHEREWR1：（（"ISO13584_EXTERNAL_FII_E_SCHEMA.HTTP_PROTOCOL"INTYPEOF(SELF.unit-of.content-of.content-of.used-protocol)）AND("ISO13584-EXTERNAL-FILE-SCHEMA.HTTP_FILE"INTYPEOF(SELF)））XORNOT（（"ISO13584-EXTERNAL-FILE-SCHEMA.HTTP＿PROTOCOL"INTYPEOF(SELF.unit-of.contentof.contentof.used-protocol)）OR（"ISO13584-EXTERNAL-FILE-SCHEMA.HTTP_FILE"INTYPEOF(SELF)））；END-ENTITY；一external＿file＿unit（二属性定义：File（文件）：库外部文件由external-file-unit表达。content-encoding（内容编码）：如果出现，对库外部文件的内容进行的编码转化由external-file-u-nit表达。注：允许的编码转化是由IABRFC2045定义的。unit-of(...⋯的单元）：external_file_unit属于的language-specific-contento形式限制：WRl;external_file_unit不与与http_protocol关联的external-item一致，否则它是一个http_file免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002子类。13.9.7超文本传输协议文件http_file（超文本传输协议文件）是一个库外部文件，这个库外部文件是一个MIME-LIKE（多用途互连网邮件扩展类型）文件，它包括引用其他互连网资源的超文本传输协议的唯一资源的位置语义。它特别引用http_file_name_type规定与这个文件或用户本地互连网服务器关联的名字，并且当这个文件与类关联时，http_class_directory规定文件存储在用户本地互连网服务器上的目录名。注1：当http_file与supplier_BSU_related_content关联时，用户本地互连网服务器上的目录名并没有被指定。因此它不能由库数据提供者定义的超文本链接进行访问。EXPRESS描述：＊）ENTITYhttp_fileSUBTYPEOF(external_file_unit)；mime：MIME-type;exchange-format：MIME-subtype;format-RFC.-OPTIONALIAB_RFC;http_file_name：http_file_name-type;http_directory;OPTIONALhttp_class_dlrectory;remote-access:OPTIONALabsolute_URL_type；UNIQUEUR1：http_file_name,http_directory;WHEREWRI：EXISTS(http_directory)XOR("ISO13584_EXTERNAI.FILE-SCHEMA.SUPPLIER_BSU_RELATEDCONTENT"INTYPEOF(SELF.unit-of.contentof.content-of)）；ENDLENTITY；-http_file（＊属性定义：Mime:http文件的MIME类型。exchange-format（交换格式）:http文件的MIME子类。format-RFC（格式化的RFC)：定义MIME的可能IABRFC.例1;IABRFC1866定义htmlMIME文本子类。例2:IABRFC2376[6〕是定义XMLMIME文本子类和XMLMIME应用子类的一个信息协议。http_file_name（超文本传输协议文件名）：赋给本地因特网服务器上http文件的文件名。http_directory（超文本传输协议目录）：赋给本地互连网服务器上http文件的选择性目录。remoteaccess（远程访问）：可能是绝对的唯一资源地址，它使http文件可以在因特网网址上找到。形式限制：URI:http_file_name在http_class_directory内是唯一的。WRI：如果http_file与supplier_BSU_related_content关联，http-class-directory存在。非形式限制：IP1：只有mimeMIME和exchange-formatMIME子类值是由本标准允许使用的IANA注册的。注2：除了发送者与接收者之间的私有协议，本标准强烈推荐限制少量的格式是：—成熟的；—稳定的；-MIME内容类型规定的不含混字符，如类型和子类；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002—公共可用的或者是与公共域因特网读者关联。注3:MIME-like格式的文件的内容类型与不是公共变量的规范一致，并且不与禁止任何本部分定义的任何三个库集成信息模型的非扩展一致性类的公共域互连网读者关联。这些约束在附录E、附录I和附录M中进行了陈述。13.9.8超文本传输协议类目录http_class_directory（超文本传输协议类目录）实体规定了用户本地互连网服务器上存储http_file的目录名。每个http-class-directory引用一个class，每个类与http-class-directory引用的http_file关联。EXPRESS描述：，）"ENTITYhttp_class_directory;name：http_directory_name_type;class：class_BSU；UNIQUEURl：class；END-ENTITY；一http-class-directory（二属性定义：Name（名称）：用户本地Internet服务器上存储http_file的目录名。Class（类）:http_class_directory引用的类。形式限制：URI：每个类将至少有一个http_class_directoryo13.10ISO13584外部文件模式函数定义13.10.1供应商关联的超文本传输协议文件supplier_associated_http_files（供应商关联的超文本传输协议文件）函数计算与不同supplier_re-lated_BSU关联的所有http_file,supplier_related_BSU与同一supplier_BSU一致。如果supplier-ele-ment（供应商元素）不可用，函数返回空集合。注：与不同supplier_related_BSU关联的所有http_file都对应于同一个supplier_BSU，这个supplier_BSU存储在用户本地互连网服务器上与http_file的同一个目录内。EXPRESS描述：二‘）FUNCTIONsupplier-associated_http_files(sup_BSU：supplier_BSU)：SETOFhttp_fjle；LOCALsup：supplierelement；files：SETOFhttp_file：＝［〕；ENDLLOCAL;IFSIZEOF(sup_BSU.definition)＞0THENsup：＝sup_BSU.definition仁1]；ELSERETURN(files)；END-IF;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002REPEATi：＝1TOSIZEOF(sup.associated-items)；—supplier-BSU_relationshipREPEATj：＝1TOSIZEOF(sup.associated＿items[i].related-tokens)；—supplier_related_BSUREPEATk：＝1TOSIZEOF(sup.asocited-items[i]．related-tokens[j].referenced-by);-content-itemIF（"ISO13584_EXTERNAL_FILE_SCHEMA.EXTERNAL_ITEM"INTYPEOF(sup.associated-items[i]．related-tokens[j].referenced_by[k])）THENREPEATI：＝1TOSIZEOF(sup.associated-items[i]．related一tokens[j].referenced-by[k]external_item.content.consists-of)；一language-specific-contentREPEATm：＝1TOSIZEOF(sup.associate走items[i]．related一tokens[j].referenced-by[k]external_item.content，consists_of[1].contentfiles)；-external-file-unitIF（"ISO13584-EXTERNAL-FILE-SCHEMA.HTTP_FILEINTYPEOF(sup.associated-items[i]．related_tokens[j].referenced-by[k]external_item.content．consists-of仁1].contentfiles[m])）THENfiles：＝files＋sup.associated-items仁i]．related-tokens[j].referenced_by[k]external_item.content．consists_of[1].content-files仁m]；END-IF；-http_fileEND－REPEAT；-mEND_REPEAT；一1END-IF；-external-itemENDeeREPEAT；一kENDeeREPEAT；一jENDesREPEAT；-iRETURN(files)；END-FUNCTION；-supplier_associated_http_files（二免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:200213.10.2控制编译器版本格式如果the-compiler＿version字符串只包含数字、点或者下划线，control-compiler-version＿format（控制编译器版本格式）返回真，否则返回假。EXPRESS描述：二）FUNCTIONcontrol_compiler_version_format(the_compiler_version:STRING)：BOOLEAN；LOCALresult：BOOLEAN：＝TRUE；ENDesLOCAL;REPEATi：＝ITOLENGTH(the-compiler-version)；IF(NOT((the_compiler_version[i]LIKE‘＃’）OR(the-compiler-version[i]LIKE’．‘）OR(the-compiler-version[i]LIKE‘＿‘）））THENresult：＝FALSE；END-IF;END一REPEAT；RETURN(result)；END-FUNCTION；一control-compiler-version-format（二关）EN几SCHEMA；一ISO13584-external-file-schema（＊14ISO13584方法模式本章定义了ISO13584-method-schema(ISO13584方法模式）的必要条件。以下的EXPRESS描述引人了ISO13584＿metho之schema，并标识了必要的外部引用。EXPRESS描述：关）SCHEMAISO13584-method-schema；REFERENCEFROMISO13584_IEC61360_dictionary_schema(all-class-descriptions-reachable，class一BSU，content_item,definition-available-implies,list-to-set,property_BSU)；REFERENCEFROMISO13584-library-expressions-schema(class-instance-constructor,class-instance-expression,collects＿assigned-properties，免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002collects-referenced-library-expressions，compatible-variable-and-library-expression,library-expression,library-variable,property-assignment)；REFERENCEFROMISO13584-variable-semantics-schema(property-semantics,property-semantics-or-path,self-property-value-semantics)；REFERENCEFROMISO13584-domain-resource-schema(collects-variables，functional-domain-restriction,used-variables-in-domain)；REFERENCEFROMISO13584-extended-dictionary-schema(abstract＿functionalmodel＿class，applicable-properties，applicable-tables，data-type-class-of,data_type_typeof,data-type-type-name,functional-model-class，functional-view-class,functional_view_v_c_v,view-control-variable-range)；REFERENCEFROMISO13584_generic_expressions_schema(genericvariable,used-variables)；REFERENCEFROMISO13584-expressions-schema(boolean_expression,numeric-expression,string-expression)；REFERENCEFROMISO13584-library-content-schema(exists-super,functional_model_class_extension，method-variables,model-class-extension,provided-properties-list,provided-properties-or-method-variablessuper)；REFERENCEFROMISO13584-external-file-schema(external_file_protocol)；（＊免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002注：以上引用的模式可在下述文档中找到：ISO13584_IEC61360_dictionary_schemaIEC61360-2；（该模式在GB/T17645.42-2001的提示性附录D中重复）ISO13584-expressions-schemaGB/T17645.20-2002；ISO13584-generic_expressions.schemaGB/T17645.20-2002；ISO13584-library-expressions-schema本部分；ISO13584＿variablesemantics＿schema本部分；ISO13584-domain-resource-schema本部分；ISO13584-extended-dictionary-schema本部分；ISO13584-library-content-schema本部分；ISO13584-external-file-schema本部分。14.1ISO13584方法模式介绍在GB/T17645系列标准中，零件视图由功能模型类产生。由explicit_functional_model_class_ex-tension描述的功能模型类显式地描述各种项视图。由functional＿model＿class＿extension描述的功能模型类通过方法隐式地描述项视图。为创建视图该方法由LMS触发。ISO13584-method-schema的范围允许描述为原子项和组合项生成项视图的库方法。在下面例子中，方法可以从组合项构成要素的表达中生成组合项的表达。“螺钉＋螺母十可选垫片”集合便是这种组合项的例子。该模式提供的这些资源可以形成此方法的详细说明，使用此方法就可通过触发相关的螺钉、螺母和可选垫片的方法产生“螺钉十螺母十可选垫片”的表示。ISO13584-method-schema在建模时建立：—能产生原子项视图的方法，—能产生组合项视图的方法，该方法采用对组成零件的触发方法。ISO13584-method-schema在建模时不建立：—能产生包含结构化列表特性的零件视图的方法；—包含重复或递归控制结构的方法。14.2ISO13584方法模式的基本概念和假设以下假设适用于本模式中处理方法的部分：—由方法定义的供应商仅能生成功能视图。—功能视图是在它们自身表达相关环境中定义的representation，表达相关环境叫作对象视图坐标（OVC)。注1:OvC不必是geometric-representation-contexto—方法的功能是产生用于构成其功能视图的representation，既可采用库存的遵从GB/T16656的representation，也可采用参数化程序。通过例行的步骤，如声明的有序列表，可模拟视图生成的过程，以确保视图的生成具备完全确定性。—当用户通过LMS触发一个方法时，系统将运行一个未指明的定位程序，使得用户可确定位于模型系统的表达相关环境之上的，来自OVC的表达相关环境的变换。用户触发方法的最后阶段，在用户模型系统中就可生成功能视图，同时，LMS返回一个空声明。注2：定位程序不必是几何的，例如，它可以由与针对存在于用户模型系统中整体结构相关的已生成视图组成。—一个方法由两个实体组成：第一个是method_specif实体，它指定了方法能生成的不同功能视图和方法需要的信息。第二个是method-body（方法体）实体，作为有序语句列表，它指定了方法的算法。该列表的每个语句都是保护或非保护的。受保护的语句允许ifthenelse结构的引人。—包含方法的语句是：a)空语句；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002b)规定了OVC转换的模型语句，在指明这种转换后，该转换就适用于在视图中生成的全部rep-resentation-items.注3：当OVC是geometric-representation-context时，这种模型系统才是有意义的。c）语句指定了对已存在内部或外部表达的调用，已定义的表达则可调用这些语句。d)赋值语句可向变量赋值。e）子对象视图语句允许一个方法触发子对象的其他方法来形成组合项。该子对象方法生成的视图可映射到嵌人视图的表达相关环境中，采用的方法便是将OVC的当前变换应用于由子对象方法产生的representation-items.—一个方法只能生成由class＿BSU指定的属于相同表达类的功能视图。—一个方法可生成多个属于相同表达类的功能视图。—一个功能视图可包括functional_view_classdictionary＿element中定义的特性集，同时，作为representation的子类，它也继承了items的属性。（可定义的）特性可以被赋值。通过外部定义表达，与external-file-protocol相关的外部定义程序，或内部定义表达，可满足继承的item属性。一一当通过外部定义或内部定义representation满足功能视图的item属性时：f）视图的OVC是表达的representation_contextob）视图项是表达项属性的内容。—通过消息传递触发方法时，每个消息包含以下信息：h）由。lass＿BSU表示的，必须的功能视图。i)用于明确指定所需功能视图的视图控制变量值表。—在触发时，方法和一个功能视图相关。这个功能视图由触发消息指定。该视图叫做运行方法的open-view（开视图）。—方法在执行时，总是和功能模型类的一个实例相关。在功能模型类的特性中可包含itemclass实例特性的多个副本。功能模型类的实例则是它的一个视图。如果用item-class的实例模拟组装件，方法将向该组装件的子对象发出消息，或者将这些子对象的功能模型实例化。注4:itemclass实例的值被复制到功能模型类实例中，item_clas。实例的特性由functional-model-class-extension实体的required-item_charactenstics属性模拟。—当一个方法从另一个方法中触发时，一个新的open-view就会与此方法建立关联。与嵌人方法相关的open-view的OVC的当前转换指定了作用于与被嵌入方法相关的open-view的表达相关环境的转换，这样就可以确保对嵌人视图表达相关环境中的已生成视图进行足够的映射。当方法返回时该视图就会关闭。—消息可送至通用模型，item-class的实例中，也可送至功能模型，functional-model-class的实例中。—itemclass可以构成组装件，当从生成嵌人零件视图的方法中可送出一条消息item＿class的一个实例时，LMS就会在功能模型类中进行搜索，功能模型类是item＿class的is-view-of，功能模型类的实例支持此消息。该类用具体例证说明和已生成的实例发出消息。至此一个新的功能视图就生成了。—当把一条消息送至功能模型类的一个实例时，此实例将支持这条消息指定的方法。class-in-stance-constructor可完整地表征实例，通过它便可指定functional_model_class。求出。lass-instance-constructor的值并且可将消息送给已生成实例。接着，该方法就可触发，同时一个新的功能视图就会生成。14.3ISO13584方法模式的类型定义以下介绍ISO13584＿metho走schema用到的类型定义。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:200214.3.1方法的可存取变faccessible-variable-for-method（方法的可存取变量）是从方法中引用的library-variable。它可以是用于说明支持方法的实例的self-variable-semantics的library-variable，也可以是用于说明方法生成的pen_view的open-view_variable_semantics的library＿variable，还可以是用于说明表查询中所用迭代器的library-variable，最后一种library-variable是和column-traversal-variable-semantics相关的。注1：在GB/T17645中，每个library-variable都通过环境和variable-semantics相关，反过来，每个variable-seman-tics最少由一个变量表示。这一点在ISO13584-library-expressions-schema的two-fold-representation-rule（双重表达规则）规则中得到证明。注2：所有在functional_model_class_extension中给出了特性值（由provided_propertjes_or_method_variables函数返回）的特性，可与库变量相关以便于方法对它们进行存取。但是，只有在方法的declaration属性中首次声明的那些变量才能在方法语句中引用。注3：所有在functional-model-class-extension中给出了值（由provided_properties_or_method-variables函数返回）的特性，包含特性可以是imported-properties-from＿view（例如，把视图控制变量存贮在表里时），或者是im-ported-properties-from-item（如果存在fm-class-view-of)。尽管如此，这些变量仍然属于SELF实例，如支持方法的功能模型实例，并且还是引用的self-property-value-semantics.注4：方法生成视图的全部特性可与该方法存取的变量相关。但是，只有在方法的declaration属性中首次声明的那些变量才能在方法语句中引用。注5：视图控制变量值是方法的触发消息的组成部分，它们全部都将被赋值到相应的。penview中去。因此，在触发方法时，这些变量就已经和对应的。pen_view_property_value_semantics的相关变量结合在一起了。注6：在方法的运行期间，当functional＿model＿class＿extension的特性是imported-properties-from-view时，两个variablesemantics就由同一个property_BSU指定。第一个是sel仁variablesemantics，它代表SELF实例的相应特性，第二个是open-view-propertysemantics，它代表当前开放视图的相应特性。它们将同两个不同的变量相关。它们的值也是不同的。EXPRESS描述：，）TYPEaccessible-variable-for-method＝library-variable;WHEREWRI：（（"ISO13584_VARIABI,E_SEMANTICS_SCHEMA.’＋"SEL凡VARIABLE-SEMANTICS"）INTYPEOF(SELFgeneric_variable.interpretation·semantics)）OR（（"ISO13584-VARIABLE-SEMANTICS-SCHEMA.’＋"OPEN_VIEW_VARIABLE_SEMAN"I"ICS")INTYPEOF(SELFgeneric_variable.interpretation·semantics)）OR（（"ISO13584-TABLE-RESOURCE-SCHEMA.‘＋"COLUMN-TRAVERSAL-VARIABLE-SEMANTICS")INTYPEOF(SELFgeneric-variable.interpretation．semantics)）；END一TYPE；一accessible＿variable-for-method（关形式限制：WRI:accessible_variable_for_method可以同self-variable-semantics相关，也可以和open-view-variable-semantics相关，还可以和用于查询表迭代器的column＿traversal＿variable＿semantics相关。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:200214.3.2允许赋值的变fassignment-allowed-variable（允许赋值的变量）是既能表示SELF实例特性值，也能表示当Mopenview特性的变量。可在方法体中对这样的变量赋值。EXPRESS描述：，）TYPEassignment-allowed-variable＝libraryvariable;WHEREWRI：（("ISO13584-VARIABLE-SEMANTICS-SCHEMA.‘＋"SELF-PROPERTY-VALUE-SEMANTICS")INTYPEOF(SELFgeneric-variable.interpretation．semantics)）OR（（"ISO13584-VARIABLE-SEMANTICS-SCHEMA.‘＋"OPEN-VIEW-PROPERTY-VALUE-SEMANTICS")INTYPEOF(SELFgeneric_variable.interpretation．semantics)）；END-TYPE；-assignment-allowed-variable（＊形式限制：WR1-assignment-allowed-variable应和self-property-value-semantics或open-view-property-value-semantics相关。14.3.3允许控制的变fcontrol-allowed-variable（允许控制的变量）是在方法中用于控制目的的变量。为达到此目的，不允许translatable值。例：如果变量是与sel仁property-short-name-semantics关联的，那么该变量的值取决于返回该名的解释函数（见10.7.4.2)选定的语言。EXPRESS描述：＊）TYPEcontrol＿allowedvariable＝library-variable；WHEREWRI：（（"ISO13584-VARIABLE-SEMANTICS-SCHEMA.‘＋"SELF-PROPERTY-VALUE-SEMANTICS"）INTYPEOF(SELFgenerjc_variable.interpretation．semantics)）OR（（"ISO13584_VARIABI.E_SEMANTICS_SCHEMA.‘＋"OPEN＿VIEW_PROPERTY_VALUE_SEMANTICS")INTYPEOF(SELFgeneric_variable.interpretation．semantics)）OR（（"ISO13584_VARIABI.E_SEMANTICS_SCHEMA.‘＋"SELF-PROPERTY-CODE-SEMANTICS")INTYPEOF(SELFgeneric_variable.interpretation．semantics)）OR（（"ISO13584_VARIABLE_SEMANTICS_SCHEMA.’＋"SELFPROPERTY_VERSION_SEMANTICS")免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002INTYPEOF(SELFgeneric-variable.interpretation．semantics)）OR（("ISO13584-VARIABLE-SEMANTICS-SCHEMA.’＋"SELFPROPERTY_CLASS_CODE_SEMANTICS")INTYPEOF(SELFgeneric-variable.interpretation．semantics)）OR（("ISO13584-VARIABLE-SEMANTICS-SCHEMA.‘＋"SELF-PROPERTY-CLASS-VERSION-SEMANTICS")INTYPEOF(SELFgeneric-variable.interpretation．semantics)）OR（（"ISO13584-VARIABLE-SEMANTIC定SCHEMA.’＋"SELF-PROPERTY-CLASS-SUPPLIER-CODE-SEMANTICSINTYPEOF(SELFgeneric-variable.interpretation．semantics)）OR（（"ISO13584-VARIABLE-SEMANTICS-SCHEMA.‘＋"SELF-CLASS-CODE-SEMANTICS")INTYPEOF(SELFgeneric_variable.interpretation．semantics)）OR（（"ISO13584_VARIABI-E_SEMANTICS_SCHEMA.’＋"SELF_CLASS_VERSION_SEMANTICS")INTYPEOF(SELFgeneric-variable.interpretation．semantics)）OR（("ISO13584-VARIABLE-SEMANTICS-SCHEMA.‘＋"SELF_CI.ASS_SUPPLIER_CODE_SEMANTICS"）INTYPEOF(SELFgeneric_variable.interpretation，semantics)）；END-TYPE；-control＿allowe走variable（＊形式限制：WR1:control_allowed_variable和用于表达解释字符串的variable-semantics不相关。14.4ISO13584方法模式的实体定义以下内容描述了ISO13584-method-schema的实体。14.4.1方法Method（方法）是在functional-model-class-extension中定义的，用于关联该类实例的作业。它是用来生成视图的。EXPRESS描述：二）ENTITYmethod；specification：method_specif;body:method-body;representation＿interface:OPTIONALexternal-file-protocol；INVERSEits＿class：functional＿model＿class＿extension免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002FORprovided-methods;WHEREWRl：(EXISTS(SELF.representation_interface))AND(SELF.representation-interfaceINSELF.its-classmodel_class_extension.usedprotocols)OR(NOT(EXISTS(SELF.representation-interface)））；ENDENTITY；-method（＊属性定义：specification（规范）：方法的详细说明。Body（体）：方法的主体。representation-interface（表达接口）：运行方法时所需的协议例：如果方法仅向用户模型系统发送库存储的ISO10303-203-compliantrepresentations（符合ISO10303-203的rep-resentations)，那么representation-interface应包含引用了某个GB/T16656.203一致性类的standard-data-protocol.注：standard-data_protocol使对GB/T16656应用协议中一致性类的引用成为可能，它的具体内容在GB/T17645.102规定。its＿class（它的类）：方法所隶属的类。形式限制：WR1：如果method使用了external＿file-protocol，那么此external-fiIe_protocol应隶属于包含方法的model-class-extension的used_protocolused_protocols集。14.4.2方法规范method_specif（方法规范）实体封装了方法的内容。它描述了方法生成的视图，也描述方法运行时具备值的功能模型的特性，还描述了（考虑到组装件）方法所引用的子对象类。Express描述：，）ENTITYmethod_specif;created＿view：class＿BSU；v_c_v_range：SET[0：？〕OFview-control-variable-range;model-needed-properties：SET[0：？〕OFproperty_BSU；referred-subobjectmodels：SET[0：?]OFclass_BSU；INVERSEspecifies:methodFORspecification;WHEREWR1：NOTall-class-descriptions-reachable(SELF.specifies.its-class.dictionary-definition)OR(SELF.model-needed-properties＜＝list_to_set(provided_properties_list(SELF.specifies.its-class.dictionary-definition)））；WR2：same_view_model_method(SEI.F)；WR3：SIZEOF(QUERY(models＜‘SELF.referred_subobjectmodelsdefinition_available_implies(models，（"ISO13584-IEC61360-DICTIONARY-SCHEMA.ITEM-CLASSINTYPEOF(models.definition[1])）OR（免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002（"ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋‘．FUNCTIONA几MODE址CLASS"INTYPEOF(models.definition[l])）））））＝SIZEOF(SELF.referred_subobjectmodels)；END－ENTITY；-method_specif（＊属性定义：created＿view：方法生成的视图。v-c-v-range:view-control-variable的一组取值，模型可为view-control-variable生成一个视图。model-needed-properties（模型所需特性）：支持方法的实例的特性，方法应具备值以便方法的运行。注1：如果特性在functional-mode七Class-extension中被定义为可选的，EXPRESS可能无法确定“？”值，model-nee-ded-properties可以有值。注2:model_neede走properties的作用是用于确定：—哪些selectableproperties应由用户提供，以便方法的运行，以及—一旦存在部分定义项，哪些（来自通用视图的）required-properties应具备值，以便方法的运行。注3:model-needed-properties和open-view视图控制变量仅仅是LMS在触发方法时初始化的值。referred_subobjectmodels（引用的子对象模型）:method-body中可能引用的类。Specifies（规定）：定义了具体内容的方法。形式限制：WRl：为了将方法隶属于functional_model-class-extension,model-needed-properties特性应隶属于provided-properties-list.注4：正如where规则中所提，model-needed-properties属性不能表示方法变量。WR2:created-view应该是functional_model_class生成的视图。WR3：如果数据可用，那么1131有效。形式限制：IP1:referred_subobject_models应定义为item-class或functional_model_class.14.4.3方法体method-body（方法体）是变量集，它规定了从method可访问的accessible-variable-for-method和语句列表，并规定了method应执行的确定性过程。执行方法的过程有两个阶段：a)在准备阶段：—当前视图按照method触发消息指定的方式生成，和—当前视图的视图控制变量所需值以值的方式赋给相应的视图特性中去，而不管是否通过open-view-property-value-semantics对它们进行了引用，和—method由accessible-variable-for-methods的declaration集组成，LMS可生成它的相关环境，和—一可能通过触发某些功能函数为对应model-needed-properties的declaration集中的变量准备值。b）在运行阶段，方法语句得到执行。只有隶属于method相关环境的accessible＿variable＿formethod才能作为变量从method语句中引用。EXPRESS描述：关）ENTITYmethod-body;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002declaration:SET仁1：？〕OFaccessible-variable-for-method;view-generation:LIST[1：?]OFmethod-statement;INVERSEdescribes：methodFORbody;WHEREWR1：QUERY(prop＜‘SELF.describes.specification.model-needed-properties｝SIZEOF(QUERY(v＜，SELF.declaration｝（’ISO13584＿VARIABLE-SEMANTICS-SCHEMA.PROPERTY-SEMAN-TICS"INTYPEOF(vgeneric-variable.interpretation.semantics)）AND(vgeneric_variable.interpretation.semanticsproperty_semantics.theproperty：＝：prop)））＜＞1)＝[1；WR2：QUERY(v＜，SELF.declaration｝("ISO13584-VARIABLE-SEMANTICS-SCHEMA.‘＋"SELF-PROPERTY-SEMANTICS"INTYPEOF（vgeneric-variable.interpretation.semantics)）ANDNOT(vgeneric_variable.interpretation．semanticsproperty-semantics.the-propertyINprovided-properties-or-method-variables（SELF.describes.its-class.dictionary-definition)））＝〔］；WR3：QUERY(v＜，SELF.declaration｛（"ISO13584-VARIABLE-SEMANTICS-SCHEMA.’＋"OPEN-VIEW-PROPERTY-SEMANTICS"INTYPEOF(vgeneric-variable.interpretation.semantics)）ANDNOTapplicable＿properties(SELF.describes.specification.created-view,[vgeneric_variable.interpretation.semanticsproperty-semantics.the-property]））＝口；WR4：QUERY(v＜二SELF.declaration｝("ISO13584＿VARIABLE_SEMANTICS_SCHEMA.‘＋"SELF-PROPERTY-SEMANTICS"INTYPEOF(vgeneric_variable.interpretation.semantics)）ANDNOTchecks_applicable_properties_in_path(vgeneric_variable.interpretation.semantics)）＝［〕；WR5：QUERY(v＜，SELF.declaration｝（"ISO13584＿VARIABLE_SEMANTICS_SCHEMA.‘＋"SELF-PROPERTY-SEMANTICS"INTYPEOF(vgeneric_variable.interpretation.semantics)）ANDNOTchecks_classes_in_path(vgeneric_variable．interpretation.semantics,SELF.describes.specification.referred_subobject_models)）免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002＝仁〕；END-ENTITY；-method-body（二属性定义：Declaration（声明）：一组accessible＿variable-for-method，在执行method的语句之前，这些acces-sible_variable_for_method在method相关环境中生成。view-generation（视图产生）：method应执行的语句序列。Describes（描述）：在method-body中定义了内容的方法。形式限制：WR1:method_specif指定的全部model-needed-properties都应由method-body的声明集合中的accessible-variable-for-method引用。WR2：在declaration属性中由一个variable引用的SELF实例特性属于functional_rnodel_class-extension实例中由provided-properties_or_method_variables函数返回的表达特性。WR3:accessible-variable-for-method引用的当前开视图的特性应该是隶属于当前openview功能视图类的applicable-properties.WR4：在self-property-semantics的sub-property-path中引用的全部特性应该是隶属于类的ap-plicable-properties.WR5：在self-property-semantics的sub-property-path中引用的、是class_instance_type的全部特性应该隶属于method_specif的referred_subobject_modelso14.4.4方法语句methodstatement（方法语句）对应将执行method的每个操作，它包含一个guarded-statement（保护的语句）列表。method一statement的执行包括计算每个保护simple-statement（简单语句）的guard。如果某些计算结果为真，那么至少会执行一个其guard值为真的simple-statement。如果所有的guard值都是假，那么任何simple-statement都不会执行。注：如果总是执行一个simple-statement，那么也只有一个guarded-statement被指定。正如GB/T17645.20-2002定义的，它的guard是boolean_literal真。EXPRESS描述＊）ENTITYmethod-statement;statements：LIST[1：？〕OFguarded-statement；INVERSEdefines：method-bodyFORview-generation;END_ENTITY；-method-statement（，属性定义：Statements（语句）：语句列表，如果相应的guard值为真，那么列表中的一个语句就会被执行。Defines:metho之statement所属的method-body,14.4.5保护的语句guarded-statement（保护的语句）是一个与定义guard的boolean_expression相关的语句。注：guard可以是thevalue属性为真的boolean_literal。这种guard的计算结果为真。EXPRESS描述：，）免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002ENTITYguarde之statement;guard;boolean_expression;statement：simple-statement；INVERSEitem-of:method-statementFORstatements;WHEREWR1：QUERY(elt＜＊used_variables(SELF.guard)INOT("ISO13584_METHOLLSCHEMA..CONTROL_ALLOWEI)_VARIABLE‘INTYPEOF(elt)））＝［］；WR2：QUERY(elt＜，used-variables(SELF.guard)｝NOT(eltINSELF.item-of.defines.declaration)）＝〔〕；ENE_ENTITY；-guarded-statement（＊属性定义：Guard：用于指明语句是否是可执行的boolean_expression,Statement(语句）：当guard计算结果为真时所执行的语句。一旦多个guard的计算结果为真，系统就会选定statement,item-of(...⋯的项）：包含guarded-statement的method-statement.形式限制：WRl：构成guard的boolean_expression所涉及的全部变量都应该是。ontrol_allowed_variables.WR2：构成guard的boolean_expression所涉及的全部control-allowed-variable应该属于方法的相关环境（即，method-body的declaration集）。14.4.6简单语句simple-statement(简单语句）是组成methodbody的基本语句。它可以是空语句、建模语句、表达调用语句、赋值语句、子对象视图语句。EXPRESS描述：关）ENTITYsimple_statementABSTRACTSUPERTYPEOF(ONEOF(null-statement,modelling-statement,predefined_representation_call-statement，assignment-statement，sub_object_view_statement)）；INVERSEreferenced-by：guarded-statementFORstatement;END_ENTITY；-simple_statement（，属性定义：referenced-by（由。··⋯引用）：引用simple-statement的guarde走statement,14.4.7空语句null一statement（空语句）表明没有动作执行。EXPRESS描述：免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002关）ENTITYnull＿statementSUBTYPEOF(simple_statement)；END_ENTITY；一null一statement（关14.4.8建模语旬modelling-statement（建模语句）允许修改当前开视图的OVC.modelling-statement可定义构成视图项的representation-item的一组结构，同时，为了得到表达相关环境是geometric-representation-context（几何表达相关环境）的视图，它还定义了geometric_representation_items的几何定位。EXPRESS描述：＊）ENTITYmodelling-statementABSTRACTSUPERTYPEOF(ONEOF(set_reference_Ics,begin-set,close＿set，set-2d-relative-view-level)）SUBTYPEOF(simple_statement)；END-ENTITY；一modelling-statement（，14.4.9设置参考局部坐标系为T得到geometric-representation-context中的OVC,set-reference-Ics（设置参考lcs）实体规定了参考局部坐标系（LCS)，该坐标系定义了随后生成实体的位置应该相对于OVC的当前参考坐标系移动，参考坐标系的新位置定义了随后生成实体在空间坐标上的映射目标。为了定义新参考坐标系，应该进行某些变换，set＿reference＿lcs属性的次序定义了这些变换的次序。首先绕着x轴旋转，最后沿着z轴平移。length-unit（长度单位）和planar-angle-unit（平面角单位）在global-unit-assigned-context中定义，global-unit-assigned-context定义了由方法所属的functional_model_class_extension生成的全部功能视图的测量单位。如果方法所属的functional-model_class-extension没有给出global-unit-as-signed-context，那么，length-measure的默认值是毫米，planar-angle-measure（平面角测量）的默认值是度。例：当提供螺母功能视图的方法从与功能模型（功能模型是“螺栓＋螺母”装配件的is-view-of）相关方法中触发时，OVC参考坐标系就会改变，以便螺母表达在“螺栓＋螺母”OVC中的正确定位；接着，触发方法将移动“螺栓＋螺母”视图的参考坐标系；然后，螺母的OVC就会隐式地映射到嵌人视图的当前参考坐标系中。注：参考坐标系的改变对于方法来说是局部的。当方法返回时，系统就会将嵌人方法视图的参考坐标系重新恢复到它在可能的嵌人视图中具备的值。EXPRESS描述：二）ENTITYset＿reference＿lcsSUBTYPEOF(modelling_statement)；x-rotation：numericexpression;y_rotation;numeric-expression；z_rotation;numeric＿expression;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002x_translation;numeric-expression;y_translation:numeric-expression;z_translation:numeric-expression；WHEREWRI：QUERY(elt＜二used-variables(SELF.y_rotation)｝NOT("ISO13584-METHOD-SCHEMA.CONTROL_ALLOWED_VARIABLEINTYPEOF(elt)））＋QUERY(elt＜，used-variables(SELF.z_rotation)INOT("ISO13584METHOD_SCHEMA.CONTROL-ALLOWED-VARIABLEINTYPEOF(elt)））＋QUERY(elt＜二used-variables(SELF.x_translation)｝NOT("ISO13584-METHO几SCHEMA.CONTROL-ALLOWED-VARIABLEINTYPEOF(elt)））＋QUERY(elt＜‘used-variables(SELF.y_translation)｝NOTCISO13584-METHOD-SCHEMA.CONTROL-ALLOWED-VARIABLEINTYPEOF(elt)））＋QUERY(elt＜＊used-variables(SELF.z_translation)｛NOT("ISO13584METHOD_SCHEMA.CONTROL-ALLOWED-VARIABLEINTYPEOF(elt)））＋QUERY(elt＜＊used-variables(SELF.x_rotation)｛NOVISO13584-METHOD-SCHEMA.CONTROL-ALLOWED-VARIABLEINTYPEOF(elt)））二〔〕；WR2：QUERY(elt＜二used-variables(SELF.x-rotation)｝NOT(eltINSELFsimple-statement.reference走by．item-of.defines.declaration)）＋QUERY(elt＜＊used-variables(SELF.y_rotation)！NOT(eltINSELFsimple-statement.referenced-by．item-of.defines.declaration)）＋QUERY(elt＜＊used-variables(SELF.z_rotation)INOT(eltINSELFsimple-statement.referenced-by．item-of.defines.declaration)）＋QUERY(elt＜＊used-variables(SELF.x_translation)INOT(eltINSELFsimple-statement.reference走by．item-of.defines.declaration)）＋QUERY(elt＜二used-variables(SELF.y_translation)｝NOT(eltINSELFsimple_statement.referenced-by．item＿of.defines.declaration)）＋QUERY(elt＜二used-variables(SELF.z_translation)｝NOT(eltINSELFsimple-statement.referenced-by．item＿of.defines.declaration)）二〔〕；END-ENTITY；-setreference_lcs免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002（关属性定义：x_rotation(x旋转）：在planar-angle-measure中，新LCS相对于当前LCS的x轴方向的旋转。Y_rotation(y旋转）：在planar-angle-measure中，新LCS相对于当前LCS的y轴方向的旋转。Z_rotation(z旋转）：在planar-angle-measure中，新LCS相对于当前LCS的二轴方向的旋转。x_translation(x平移）：在length-measure中，新LCS相对于当前LCS的x轴方向的平移。Y_translation(y平移）：在length-measure中，新LCS相对于当前LCS的y轴方向的平移。Z_translation(z平移）：在length-measure中，新LCS相对于当前LCS的z轴方向的平移。形式限制：WR1：所有与numeric-expression有关的变量都应该是control-allowed-variables.WR2：所有与numeric-expression有关的control＿allowed＿variable都应该属于方法的相关环境（即，method-body的declaration集）14.4.10开始集合beginset(开始集合）实体声明：新的集合应该在模型系统内部，或者在模型系统内部的当前开着的集合中打开。此实体执行之后，所有在open-view中生成的表达元素都属于该集合。例：通过两个不同的分别引用螺栓和螺母的程序，方法可生成“螺栓＋螺母”的立体几何功能视图。在这个方法中，begin_set实体建立了组装件的几何实体集合，它由两个集合组成，一个是螺母几何结构，另一个是螺栓几何结构。模型系统（如CAD）允许用户访问这个集合结构。注1：方法打开的全部集合对于该方法生成的视图来说都是局部的。方法执行完后返回时，该方法打开的全部集合都会关闭，同时，系统还会将集合结构重新恢复到它在可能的嵌人视图中具有的状态。注2：视图交换协议规定了必需的，由其定义的视图集合结构。EXPRESS描述：＊）ENTITYbegin-setSUBTYPEOF(modelling_statement)；set-name:string-expression;WHEREWR1：QUERY(elt＜＊used_variabIes(SELF,set-name)｝NOT(eitINSELFsimple_statement.referenced-by.item-of．defines.declaration)）＝〔］；ENDLENTITY；一begin-set（，属性定义：set＿name(集合名）：在当前打开的集合中打开的，新打开的集合的标签。形式限制：WR1：所有与string-expression有关的variable都应属于方法的相关环境（即，method-body的de-claration集）非形式限制：1131：带有set-name名的其他集合不能出现在当前打开的集合中。14.4.11结束集合close＿set(结束集合）实体声明了应该关闭一个当前打开的集合。它声明了应关闭集合的名字，而且这个名字应和当前方法打开的集合一致。如果该集合包括其他打开的集合，那么它们就会以递归的形式关闭。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002EXPRESS描述：二）ENTITYclosesetSUBTYPEOF(modelling_statement)；setname:string-expression;WHEREWR1：QUERY(elt＜二used_variables(SELF.set-name)｝NOT(eltINSELFsimple-statement.referenced-by．item-of.defines.declaration)）＝〔〕；ENDeeENTITY；-close-set（补属性定义：set＿name（集合名）：最后一个应该关闭的开着的集合名字。形式限制：WR1：与string-expression有关的全部变量都应该是属于方法相关环境的accessible-variable-for-method（即，method-body的declaration集）。非形式限制：IPl:set-name应该是当前方法打开的，仍没关闭的集合之一。14.4.12设里2D相对视图层下一实体在OVC的内部生成，set-2d-relative-view-level（设置2D相对视图层）实体声明了此处的虚拟高度应相对当前虚拟高度有所变化。只有当前打开的视图出现在几何表达相关环境中，并且为二维时，该实体才有效。如果表达传输接口支持这个函数，就可以删除虚拟隐藏线。例：通过触发螺栓和螺母的方法，方法可产生“螺栓＋螺母”的二维几何视图。在这个方法中，如果每个子对象视图都由非透明fill＿area(填充区域）构成，并且螺母视图的虚拟高度大于螺栓视图的虚拟高度，那么，螺栓的隐藏线就会自动删除。注1：相对视图级中的变化对于方法生成的视图来说是局部的。当方法完成返回时，系统就会恢复该相对视图级的初值。注2：视图交换协议应指定是否允许隐藏线的删除过程。EXPRESS描述：关）ENTITYset-2d-relative-view-levelSUBTYPEOF(modelling_statement)；offset：numericexpression;WHEREWRI：QUERY(elt＜，used-variables(SELF.offset)｝NOT("ISO13584-METHOD-SCHEMA.CONTROL_ALLOWEDLVARIABLE"INTYPEOF(elt)））＝［〕；WR2：QUERY(elt＜二used_variables(SELF.offset)INOT(eltINSELFsimple-statement.referenced-by．item-of.defines.declaration)）＝［〕；END-ENTITY；-set-2d-relative-view-level（关属性定义：免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002Offset(偏移量）：加到当前虚拟高度上的实数值。形式限制：WR1：所有和real-numeric＿expression（实数表达式）有关的变量都应该是。ontrol_allowed_varia-tiles,WR2：所有和real-numeric-expression有关的control-allowed-variable都属于方法相关环境（即，method-body的declaration集）14.4.13预定义的表达调用语句功能视图是GB/T16656.43-1999representation的子类型(SUBTYPE)。因此，它继承了作为representation-items一个集合的items属性。功能视图的Items属性没得到明确引用（它不具备property_BSU)。一些预定义的描述说明了构成表达元素集合的representation-item，通过引用这些预定义描述，就可以从方法中满足该items属性。可以以外部文件的方式给出预定义描述，这种情况下，该描述应和method的representation-interface的规格一致；还能以包括在GB/T17645库文件交换相关环境中的GB/T16656.43-1999representation的方式给出预定义描述。后一种情况，被引用的视图交换协议应指明所用到的GB/T16656应用协议。注：model-class-extension的referenced-view-exchange-protocol属性规定了同功能模型类相关的视图交换协议。由另一方法触发的方法生成一个视图时，此视图会映射到嵌人协议的representation_contex中，此时嵌人的方法也会返回。predefine走representation-call-statement（预定义的表达调用语句）实体能规定用于满足当前打开视图的待处理预定义描述。外部描述可能是具备某些形式参数（例如，参数化数据模型，或者是GB/T17645.31-1998的FORTRAN联编程序），也可能是不具备形式参数的representation-reference,例1:螺栓的几何结构可通过GB/T16656.203显式数据模型描述。它是representation-reference的预定义描述。它应该由GB/T16656.203后置处理器处理。在提供螺栓族几何表达的功能模型类中，每个被引用的representation-reference都描述了螺栓族的几何representation,例2:螺栓。omponent_class中所有螺栓的几何结构都可用依据GB/T17645.31-1998几何编程接口规范参数化程序描述。它是program-reference预定义描述。它包含了一些可能是螺栓长度或直径的形式参数。它应该由GB/T17645.31-1998几何编程接口处理。EXPRESS描述：＊）ENTITYpredefined-representation-call-statementABSTRACTSUPERTYPEOF(ONEOF(send-representation-statement，send-representation-reference-statement，Call_program_statement)）SUBTYPEOF(simple_statement)；END_ENTITY；一predefined_representation_call_statement（＊14.4.14发送表达语句send-representation-statement（发送表达语句）实体规定了GB/T16656.43-1999的representa-tion，该representation的item属性描述了映射在当前打开视图representation-context中的represen-tation_item。正如先前modelling-statement定义的那样，在使用当前转换的当前OVC上，这些repre-sentation＿item被映射到当前打开集合中，如果合适的话，还会映射在当前虚拟高度上。注1:GB/T17645.24没有规定这一映射的结果是否为GB/T16656.43-1999的mapped-item（被映射项），或者规定它是否为一组representation-item，该representation-item是通过把转换应用于每一个项定义的。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002注2：对被映射的representation的引用被定义为functional＿domain＿restriction，该functional-domain-restriction根据属于方法相关环境的library-variable值可对不同的representation进行评价。注3：在显式representation生成视图时，不同representation一般都同require走properties的不同值相关。EXPRESS描述：关）ENTITYsend-representation-statementSUBTYPEOF(predefined-representation-cal]-statement)；corresponding-method-variable：assignment-allowed-variable;representation-to-be-processed:functional_domain_restriction;WHEREWR1：SELF.representation-to-be-processed.defines＝[SELF.corresponding_method-variablegeneric_variable.interpretation.semantics]；WR2：SELF.corresponding-method-variableINSELF.referenced-by.item-of.defines.declaration;WR3：collects_variables(SELF.representation_to_be_processed．assumes)＜＝SELF.reference走by.item-of.defines.declaration;WR4：definition-available-implies(SELF.corresponding-method-variablegeneric_variable．interpretation.semanticsproperty-semantics.the-property,(("ISO13584_IECfi1360_DICTIONARY_SCHEMA.ENTITY_INSTANCETYPE"INdata-type_typeof(SELF.corresponding_metho走variablegeneric_variable.interpretation.semanticsproperty_semantics.the-property)）AND（"REPRESENTATION-SCHEMA.REPRESENTATION"INdata-type-type-name(SELF.corresponding_method-variablegeneric_variable．interpretation.semanticsproperty-semantics.the-property)））OR(data-type-typeof(SELF.corresponding-method-variablegeneric_variable.interpretation.semanticsproperty-semantics．theproperty）二［」））；WR5：NOTall_class_descriptions_reachable(SELF.referenced-by.item-of.defines.describes.its-class．dictionary-definition)OR（(SELF.corresponding-method-variablegeneric-variable．interpretation.semanticsproperty-semantics.the-property)INmethod_variables(SELF.referenced-by.item-of.defines．describes.itsclass.dictionary-definition)）；WR6：applicable-tables(SELF.referenced-by.item-of．defines.describes.its-class.dictionary-definition,SELF.representation_to_be_processed.base-tables)；WRY：used-variables-in-domain(SELF.representation_to_be_processed)＜“免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002SELF.referenced-by.item-of.defines.declaration；ENDENTITY；一send_representation_statement（关属性定义：corresponding-method-variable（相关方法变量）：在method相关环境中声明的特性变量。待处理representation的实体名分配给此方法。representation-to-be-processed（待处理的表达）：说明待处理representation实体名的functional-domain_restrictiona注4：当simple-domain是null-defined-value时，将不赋值给corresponding＿method-variable，并且不处理represen-tation,形式限制：WR1:functional_domajn_restriction应该定义corresponding-method-variable,WR2:corresponding-method-variable应该是method相关环境的组成部分。WR3：同functional＿domain＿restriction的assumes属性相关的变量应该是method相关环境的组成部分。WR4：如果数据有效，那么IP1保存。WR5：作为method-variable,corresponding-method-variable应该在model＿class-extension中定义。WR6：所有与functional＿domain＿restriction可能有关的表都应该是方法隶属类的可应用表。WR7:functional-domain-restriction中所用变量应该是method相关环境的组成部分。非形式限制：IPl：和。orresponding-method-variable关联的property-semantic数据类型是一个包含represen-tation的entity_instance_typeo14.4.15发送表达引用语句send_representation_reference_statement（发送表达引用语句）实体规定了包含GB/T16656.43-1999representation的class-extension-external-files（类扩展外部文件）。GB/T16656.43-1999rep-resentation的item属性描述了应通过method的representation-interface处理的，并且应该映射在打开视图representation-context（表达相关环境）中的representation-items。使用当前转换把这些repre-sentation_items映射到当前OVC上，正如当前打开集合中以前的modelling-statements所定义的OVC一样，如果合适，还会映射到当前虚拟高度上。将被处理的representation-reference会像send-representation_statement中的representation一样被指定。注l:representation和：epresentation_reference唯一的不同之处在于，前者是在库传递文件中表示的，而后者是在所谓库外部文件的独立文件中表示的。视图交换协议使用GB/T16656应允的representation以便在库功能模型类中定义item表达。这些视图交换协议还应该说明这些representation是内部还是外部库传递文件。EXPRESS描述：＊）ENTITYsend-representation-reference-statementSUBTYPEOF(predefined_representation_call_statement)；corresponding_method_variable：assignment-allowed-variable;representation-reference-to-be-processed：functional＿domain＿restriction；WHEREWR1：SELF.representat1on_reference_to_be-processed.defines免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002＝[SELF.corresponding-method-variablegeneric-variable．interpretation.semantics]；WR2：SELF.corresponding-method-variableINSELF.referenced-by.item-of.defines.declaration;WR3：collectsvariables(SELF.representation-reference-to_be_processed.assumes)＜＝SELF.referenced-by.item-of.defines.declaration;WR4：definition-available-implies(SELF.corresponding-method-variablegeneric-variable．interpretation.semanticsproperty_semantics.the-property,（CISO13584＿IEC61360_DICTIONARY_SCHEMA.ENTITY-INSTANCE-TYPE"INdata-type-typeof(SELF.corresponding-method-variablegeneric-variable.interpretation.semanticsproperty_semantics.the-property)）AND("ISO13584_EXTERNAL_FILE_SCHEMA.REPRESENTATIONREFERENCE"INdata_type_type-name(SELF.corresponding-method-variablegeneric_variable.interpretation.semanticsproperty-semantics.the-property)））OR(data-type-typeof(SELF.corresponding-method-variablegeneric_variable.interpretation.semanticsproperty_semantics.the-property)＝［〕））；WR5：NOTall-class-descriptions-reachable(SELF.referenced-by.item-of.defines.describes.its-class．dictionary-definition)OR（(SELF.corresponding_method-variablegeneric_variable，interpretation.semanticsproperty-semantics.the-property)INmethod_variables(SELF.referenced-by.item-of.defines．describes.its-class.dictionary-definition)）；WR6：applicable-tables(SELF.referenced-by.item-of．defines.describes.its-class.dictionary-definition,SELF.representation-reference-to-be-processed.base-tables)；WR"7：used-variables-in-domain(SELF.representation-reference_to_be-processed)＜＝SELF.referenced-by.item-of.defines.declaration;END--ENTITY；一send-representation-reference-statement（＊属性定义：corresponding-method-variable：在method相关环境中声明的特性，待处理representation-refer-ence的实体名可分配给此method.representation-reference_to_be-processed（待处理表达引用）：规定待处理representation-refer-ence的实体名的functional_domain_restrictiono注2:simple-domain为null-defined-value时，将不给corresponding-method-variable赋值，同时，representationref-erence也不会执行。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002形式限制：WRl:functional-domain-restriction将定义corresponding-method-variable.WR2:corresponding-method-variable应该是method相关环境的组成部分。WR3：同functional-domain-restriction的assumes属性相关的变量应该是method相关环境的组成部分。WR4：如果数据有效，那么1131保存。WR5：作为method-variable,corresponding-method-variable应该在model-class-extension中定义。WR6：所有与functional_domain_restriction可能有关的表都应该是方法隶属类的可应用表。WR7:functional-domain-restriction中所有变量应该是method相关环境的组成部分。非形式限制：IPl：和corresponding-method-variable关联的property-semantics数据类型是包含representation＿reference的entity-instance-type.IP2:functional_domain_restriction计算出的representation-reference应该在其used-protocol属性中引用语句所属method的representation_interfaceo14.4.16调用程序语句call-program-statement（调用程序语句）规定了包含外部程序的class-extension-external-fileso通过method的representation＿interface可执行外部程序，以便生成映射在当前打开视图的representa-tion-context中的representation-items.注1：在此相关环境中，程序意味着任何和输人参数相关的，并且由某些方式触发的实体。例1：该程序可能是参数数据模型，VHDL规范，或者是引用GB/T17645.31-1998接口的FORTRAN程序。这些representation-items可映射到使用当前转换的当前open_view上，像先前modelling-state-ment定义的那样，它也可映射到当前打开集合中，如果适当的话，它还可映射到当前虚拟高度上。注2：本国际标准并不规定该映射结果是否为GB,/T16656.43-1999mapped-item，或者规定它是否为通过将转换应用于每一实体的representation＿item集合。像规定send_representation_reference_statement中的representation-reference一样，可规定对待处理文件的引用。被引用程序的输人参数的实际值可通过library-expressions确定。该程序相应的输出和（／或）输人参数的实际参数可规定为assignment-allowed-variable。通过外界环境，输出或输人参数应该和作为方法变量的self-property-semantics，或者和open-view-property-semantic相关。注3,GB/T16656.42-1998中定义了position,当视图交换协议能使用program-references时，它就可以确定允许的输人、输出以及输人输出参数的类型，同时它还可以确定在程序主语言中的参数表达和由ISO13584-instance-resource-schema确定的库变量表达之间的映射。例2：如果视图交换协议在功能模型中能够应用JAVA程序，并且该视图交换协议能将position确定为输出参数，那么，就可确定position实体实例和JAVA结构化数据类型间的映射。注3,GB/T16656.42-1998定义了position,EXPRESS描述：＊）ENTITYcall-program-statementSUBTYPEOF(predefined_representation_call_statement)；corresponding-method-variable：assignment-allowed-variable;program-reference-to-be-processed：functional_domain_restriction；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002input-parameters：LIST[0：？］OFlibrary-expression;output-parameters:LIST[0：？〕OFassignment-allowed-variable;inout_parameters：LIST[0：？〕OFassignment-allowed-variable;WHEREWRl：SELF.program-reference-to-be-processed.defines＝[SELF.corresponding-method-variablegeneric-variable．interpretation.semantics]；WR2：SELF.corresponding_method_variableINSELF.referenced-by.item-of.defines.declaration;WR3：collectsvariables(SELF.program-reference-to-be-processed.assumes)＜＝SELF.referenced-by.item-of.defines.declaration;WR4：definition-available-implies(SELF.corresponding_metho走variablegeneric-variable．interpretation.semanticsproperty-semantics.the-property,(("ISO13584IEC61360_DICTIONARY_SCHEMA.ENTITY_INSTANCETYPE"INdata-type-typeof(SELF.corresponding-method-variablegeneric-variable.interpretation.semanticsproperty_semantics.the-property)）AND("ISO13584_EXTERNAL_FILE_SCHEMA.PROGRAMREFERENCE"INdata-type-type-name(SELF.corresponding-method-variablegeneric-variable.interpretation.semanticsproperty_semantics.the-property)））OR(data-type-typeof(SELF.corresponding-method-variablegeneric-variable.interpretation.semanticsproperty_semantics.the-property）二〔〕））；WR5：NOTall-class-descriptions-reachable(SELF.referenced-by.item-of.defines.describes.its-class。dictionary-definition)OR（(SELF.corresponding_metho走variablegeneric-variable．interpretation.semanticsproperty-semantics.the-property)INmethod-variables(SELF.referenced-by.item_of.defines．describes.its-class.dictionary-definition)）；WR6：applicable_tables(SELF.referenced-by.item-of．defines.describes.its_plass.dictionary-definition,SELF.program-reference-to-be-processed.base-tables)；WR7：QUERY(expr＜‘SELF.input-parametersIQUERY(v＜＊used_variables(expr)｝NOT(vINSELFsimple-statement.referenced-by·item-of.defines.declaration)）＜＞〔〕）＝［〕；WR8：QUERY(v＜*SELF.output-parameters｝NOT(vINSELFsimple_statement.referenced-by．item-of.defines.declaration)）＝［〕；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002WR9：QUERY(v＜‘SELF.inout_parameters｝NOT(vINSELFsimple_statement.reference走by。item-of.defines.declaration)）＝［］；WR10：used-variables-in-domain(SELF.program-reference-to-be-processed)＜＝SELF.referenced-by.item-of.defines.declaration；END-ENTITY；一call-program-statement（＊属性定义：corresponding-method-variable：在method相关环境中声明的特性，待处理representation-refer-ence的实体名可分配给此methodoprogram_reference_to_be_processed（待处理的程序引用）：规定待处理program-reference的实体名的functional_domain_restrictiono注：simple-domain为null-defined-value时，将不给corresponding_method_variable赋值，同时，representation-refer-ence也不会执行。input-parameters（输人参数列表）：能给program提供输入参数的expressions列表。output-parameters（输出参数列表）：被标识为program输出参数的assignment-allowed-variable列表。inout_parameters（输人输出参数列表）：被标识为program输人参数的assignment-allowed-varia-ble列表。形式限制：WRl:functional-domain-restriction应该定义。orresponding_method_variable.WR2:corresponding-method-variable应该是method相关环境的组成部分。WR3：与functional-domain-restriction的assumes属性相关的变量应该是method相关环境的组成部分。WR4：如果数据有效，那么1131保存。WR5:corresponding-method-variable应该在functional-model-class-extension被定义为method＿variables。WR6：所有可能和functional＿domainrestriction有关的表都应是方法所属类的可应用表。WR7：表示的input-parameters的LIST中所用的变量应该属于方法的相关环境。WR8:output-parameters变量应该属于方法的相关环境。WR9:inout_parameters变量应该属于方法的相关环境。WRIO:functional-domain-restriction所用的变量应该是method相关环境的组成部分。非形式限制：IPI：和corresponding-method-variable关联的property-semantics的数据类型是包含program-reference的entity-instance-type.IP2:functional_domain_restriction计算出的representation-reference应该在它的used-protocol属性中，引用语句所属method的：epresentation_interface.IP3:input-parameters,output-parameters和inout_parameters的数目和类型应该和functionaldomain_restriction计算出的program-reference的in-parameters,out-parameters和inout_parame-ters定义的数目和类型兼容。14.4.17赋值语句assignment＿statement(赋值语句）实体能说明将什么值赋给assignmentallowed_variableo免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002注1：该实体允许说明将什么值赋给、elf_property_value_semantics或open_view_property_value_semantics.注2：只有由property_BSU标识的视图特性才可以表示为open-view＿property-value-semantics，因此，它可被赋以使用assignmentstatemen的值。注3:items属性是从GB/T16656representation继承来的一个视图特性，该视图是一个子类型。该视图特性不能由property_BSU来标识，只能给该视图特性赋以隐式使用predefined-representation-call-statement的值。注4：方法运行时，LMS会将当前开放视图的视图控制变量设置为它们在触发方法的信息中所具备的值。方法体并没有给这些变量赋以不同的值。EXPRESS描述：关）ENTITYassignment-statementSUBTYPEOF(simple_statement)；assigned-variable:assignment-allowed-variable;assigned-value：library＿expression;WHEREWR1：SELF.assigned-variableINSELFsimple_statement.referenced-by.item-of.defines。declaration;WR2：compatible-variable_and_hbrary_expressionSELF.assigned-variable,SELF.assigned-value)；WR3：QUERY(v＜＊used＿variables(SELFassignment_statement.assigne走value)｝NOT(vINSELFsimple_statement.referenced-by．item-of.defines.declaration)）＝〔］；WR4：NOT(SELF.assigned-vanablegenerie_variable．interpretation.semanticsproperty-semantics.the-propertyINprovided-properties-list(SELFsimple_statement.referenced-by.item-of.defines．describes.its-class.dictionary-definition)）；ENDesENTITY；-assignment-statement（＊属性定义：assigned-variable（已赋值变量）：被赋值的assignment-allowed-variable,assignedvalue（已赋的值）：其值被赋给library-variable的library-expression.形式限制：WR1:assigned-variable应该属于method的相关环境。WR2:assigned-valuelibrary＿expressions的数据类型应该同把值赋给它们的library-variables一致。WR3：和assigned-value表示相关的全部variable应该属于method的相关环境。WR4;assigned-variable不是可选的，必须的，导出的功能模型类特性。14.4.18子对象视图语句sub-object-view-statement(子对象视图语句）允许触发这种（直接或间接地）引用另一个类实例（子对象）的method。这个实例可以是一个已经存在的item＿class实例（当前功能模型类实例能生成一个视图，item＿class实例是此视图组合项的基本元素），这个实例还可以是一个已生成的由class-in-免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002stance-constructor确定的functional＿model＿class实例。在第一种情况下，可从功能模型的is-view-of的组合项中导人功能模型类实例，已存在实例被该功能模型类实例的self-property-value-semantics引用。它应该是item-class的（具备或者不具备item-class-extension的）实例。这种情况下，LMS将会沿着用户库提供的is-view-of格状结构进行搜索，功能模型类可给出由子对象实例的createdview确定的视图在第二种情况下，已生成的实例应该是functional＿model＿class＿extension的一个实例。该func-tional-model-class-extension能产生由它的触发实例所生成视图的某一部分。由于complete-identifi-cation-for-instance规则，class＿instance＿constructor可正确地，彻底地标识功能模型类实例。这种情况下，functional-model-class＿extension的实例应该能给出由created＿view指定的视图，该createdview应具备vc＿vvalues属性指定的视图控制变量。注：class＿instanceconstructor在ISO13584_library_expression_schema中定义，complete-identificationjorinstance在ISO13584-library-content-schema中定义。从ISO13584_library_content_schema中可引用这二者，来保证complete_identification_for_instance为方法生成的全部实例保持不变。EXPRESS描述：关）ENTITYsub-object-view-statementABSTRACTSUPERTYPEOF(ONEOF(referenced_sub_item_view_statement,constructed-sub-model-view-statement)）SUBTYPEOF(simple_statement)；created＿view：class_BSU；v＿c＿vvalues：SET仁。：？］OFproperty-assignment;WHEREWR1：definition-available-implies(SELF.created-view,"ISO13584＿EXTENDED_DICTIONARY_SCHEMA.FUNCTIONAL_VIEW_CLASS"INTYPEOF(SELF.created-view.definition[1])）；WR2：QUERY(e＜二collects-referenced-library-expressions(SELF.v_c_v_values)｛QUERY(v＜，used-variables(e)｝NOT(vINSELFsimple-statement.referenced-by．item-of.defines.declaration)）＜＞［〕）＝仁〕；END-ENTITY；一sub-object-view-statement（，属性定义：created-view：定义被触发method生成视图的class_BSUov_c_v_values(v_c_v值）：定义视图控制变量值的property-assignment，该视图控制变量可指定视图。形式限制：WR1：如果数据有效，那么IP1保存。WR2：使用vc＿vvalues的全部变量都应属于方法的相关环境。非形式限制：IP1:created-view和功能视图相一致。IP2:v_c_v_values中的全部library-expressions计算出的值应该在视图控制变量的变化范围内。14.4.19已引用子项视图语句referenced-sub-item-view-statement（已引用子项视图语句）允许触发method，该method可生成免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002一个被指定的部件功能视图，还可生成被引用的组合项子项。取决于用户库内容的功能视图类首先被实例化，接着，该实例的method被触发，这便生成了被指定的功能视图。被实例化的功能模型类由以下定义—sub-objectvariable-semantics属性，它的值为class-instance-value，该class-instance-value标识了功能视图所需item＿class的预存在实例。以及，—必需的功能视图，它可被继承了属性的create走view和vc＿vvalues指定。注：功能模型类实例包含触发方法，它的required_itern_characteristics属性可从组合项中导人组合项元素标识。LMS应该沿着用户库提供的的is-view-of格状结构进行搜索，functional_model_class_exten-sion能给出sub-object（子对象）实例所需的视图。借着该类会被实例化，它的可能required_item_char-acteristics会从sub-object特性中初始化，并且，方法也会得到触发。所选择的functional＿model＿class-extension并不包括任何free_model_properties.EXPRESS描述：＊）ENTITYreferenced＿sub＿item＿view＿statementSUBTYPEOF(sub_object_view_statement)；sub＿object：self-property-value-semantics；WHEREWRl：definition_available_implies(SELF.sub-objectpropertysemantics.the-property,(data_type_typeof(SELF.sub-objectproperty一semantics.the-property)＝「］）OR("IS()13584＿IEC61360_DICTIONARY_SCHEMA.CLASS_INSTANCETYPE"INdata-type-typeof(SELF.sub-objectpropertysemantics.the-property)））；WR2：self_property_value_semantics_is_item_class(SELF)；WR3：definition-available-implies(SELF.sub-objectpropertysemantics,the-property,(data-type-class-of(SELF.sub-objectproperty一semantics.the-property）二[]））ORdefinition_availab]e_implies(data_type_class_of(SELF.sub-objectproperty_semantics.the-property)[]]，data-type-class-of(SELF.sub＿objectproperty-semantics.the-property)[1]INSELFsimple-statement.referenced-by.item-of.defines．describes.specification.referre走subobject_models)；END-ENTITY；一referenced-sub-item-view-statement（二属性定义：sub-object（子对象）：引用子项的SELF实例的特性。形式限制：WRl：如果数据有效，那么IPI保存。WR2:self-property-value-semantics值的类应该是item-class.WR3：如果数据有效，那么IP2保存。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002非形式限制：IPI:self_property_value_semantics值应当和类实例相一致。IP2:SELF.sub-item.the-propertydic_class_instance.class_def(SELF．子项．特性＼字典类实例．类定义）类应该属于方法的referred_subobject_modelsoIP3：在接收系统上应该存在能生成sub-object实例所需视图的functional＿model＿class＿exten-sion,14.4.20结构化的子模型视图语句constructed-sub-model-view＿statement（结构化的子模型视图语句）允许触发属于functionalmodel_class_extension已生成实例的method，该functional＿model＿class＿extension是由class＿instance-constructor指定的。由于complete-identification-for-instance规则，class-instance-constructor就可正确地、彻底地标识这个实例。functional＿model＿class＿extension应该能给出由已经继承的created＿view和v＿c＿v＿values属性指定的视图。EXPRESS描述：＊）ENTITYconstructed-sub-model-view-statementSUBTYPEOF(sub_object_view_statement)；sub＿model：class-instance-constructor;WHEREWR1：SELF.sub_modelclass_instance_expression.expr_typeINSELFsimpIe_statement.referenced-by.item-of.defines．describes.specification.referred_subobject_models；WR2：definition_avaiIable-implies(SELF.sub_modelclass-nstance_expression.expr-type,"ISO13584_EXTENDED-DICTIONARY-SCHEMA"＋’．FUNCTIONA址MODEL＿CLASS"INTYPEOF(SELF.sub_modelclass_instance_expression.expr_type．definition[l])）；WR3：definition-available-implies(SELF.sub_modelclass-nstance_expression.expr_type,SIZEOF(SELF.sub_modelclass_instance_expression.expr_type．referenced-by)＝1）；WR4：definition-available-implies(SELF.sub_modelclass-nstance_expression.expr_type,SELF.sub_modelclass-instance-expression.expr_type＝SELFsub_object_view_statement.created_view)；WRS：QUERY(v＜＊used-variables(SELF.sub-model)｝NOT(vINSELFsimple-statement.referenced-by．item＿of.defines.declaration)）＝［］；END＿ENTITY；一constructed＿sub-model-view＿statement（二属性定义：sub＿model（子模型）：对功能模型实例子对象可进行计算的class-instance-constructor,免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GBJT17645.24-2003八SO13584-24：2002形式限制：WRI:SELF.sub＿modelclass_expression.expressiontype类应该属于方法的referred-subobject-models,WR2：如果数据有效，那么IP1保存。WR3：如果数据有效，那么IP2保存。WR4：如果数据有效，那么IP3保存。WR5:SELF.sub-modelclass_instance_constructor中所用的全部变量都应属于方法的相关环境。非形式限制：IP1:SELF.sub-modelclass_expression.expression-type类应该为functional-model-class.IP2:SELF.sub＿modelclass_expression.expression-typefunctional-model-class应该和内容（例如functional-model-class-extension）相关。IP3:SELF.sub-model(SELF．子模型）应该能生成SELF.create走view,IP4.SELF.sub-model应该能够生成与视图控制变量的计算值一致的功能视图。14.5ISO13584方法模式的规则定义14.5.1创建的视图v_c_v规则created_view_v_c_v_rule（创建的视图v_c_v规则）规则检查：每个method_specif以及所有被其v_c_v_range属性引用的特性，是否都是被其created＿view属性引用的功能视图类的视图控制变量。注：只有当功能视图类在同一个交换相关环境中定义时，才检查此约束条件。EXPRESS描述：＊）RULEcreated_view_v_c_v_ruleFOR(method_specif,functional_view_class)；WHEREWR1：QUERY(meth＜，method_specif｝all＿class＿descriptions_reachable(meth.created-view)AND(QUERY(temp＜二meth.v_c_v_range｝NOT(temp.parameter-typeINfunctional_view_v_c_v(meth.created-view)））＜＞「］））＝［］；END-RULE；-createdview＿v＿c＿vrule（，形式限制：WR1:method_specif的v_c_v_range属性引用的全部特性都应该是该method_specif的created-view属性引用的功能视图类的视图交换变量。14.5.2v_c_v值集合和创建视图v_cv集合的等同性规则v_c_v_values_set_and_created_view_v_c_v_set_equality_rule(v_c_v值集合和创建视图v_c_v集合的等同性规则）检查：对于每个sub-object-view-statement，所有被v_c_v_values属性引用的特性，是否都是被created＿view属性引用的功能视图类的视图控制变量。注1：只有在同一个交换相关环境中定义功能视图类时，才检查此约束条件。注2：如果created-view功能视图的某些视图控制变量不需要指定视图，那么它们就会和不定library-expression相关。EXPRESS描述：二）RULEv_c_v_values_set_and_created_view_v_c_v_setequalityruleFOR(免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002sub-object-view-statement，functional_view_class)；WHEREWRl：QUERY(sub＜二sub-object-view-statement｝all_class_descriptions_reachable(sub.createdview)AND(collects-assigned-properties(sub.v_c_v_values)＜＞functional_view_v_c_v(sub.created-view)））＝［］；END-RULE；一v_c_v_vaIues_setand_created_view_v_c_v_set_equality_rule（二形式限制：WRl：对每个sub-object-view-statement，所有被v＿c＿v＿values属性引用的特性将都是被createdview属性引用的功能视图类的视图控制变量。14.5.3在被减值变，的集合中不具备v_c_v规则no_v_c_v_in_assigned_variables_set_rule（在被赋值变量的集合中不具备v_c_v规则）规则检查：对于每个assignment-statement,assignedvariable不是当前开放视图的视图控制变量。注：只有当功能视图类在同一个交换相关环境中定义时，才检查此约束条件。EXPRESS描述：，）RULEno_v_c_v_in_assigne走variables-set-ruleFOR(assignment-statement，functional_view_class)；WHEREWRI：QUERY(ass＜＊assignment-statement｝all_class_descriptions_reachable(asssimple_statement.referenced-by.item_of.defines.describes．specification.created-view)AND(ass.assigned-variablegeneric-variable．interpretation.semanticsproperty-semantics.the-propertyINfunctional_view_v-c_v(asssimple_statement.referenced-by．item-of.defines.describes.specification.created-view)））＝仁〕；END-RULE；-no_v_c_v_in-assigned_variables_set_rule（，形式限制：WRl：对每个assignment-statement,assigned-variable将不是当前开放视图的视图控制变量。14.6ISO13584方法模式的函数定义本条描述ISO13584-method-schema中的函数。14.6.1检查路径中的类函数checks_classes_in_path（检查路径中的类）函数将检查所有class＿BSU，看它们是否属于cl参数所定义class_BSU的AGGREGATE。这些class_BSU定义了在property-semantics路径中所引用特性的最终域。路径的域是一个类，class＿BSU则属于。1，当全部路径特性具备了由这些class＿BSU定义的域时，此函数返回的LOGICAL值为真，否则为假。当至少有一个dictionary-element无效时，该函数的返回免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002值不定。EXPRESS描述：关）FUNCTIONchecks_classes_in_path(v：property-semantics-or-path;Cl：SETOFclass_BSU)：LOGICAL;LOCAL.prop:property_BSU；temp：SET[0：I]OFclass_BSU;END-LOCAL;prop：＝v.the-property;IFdata_type_typeof(prop)＝［〕THEN一domainisunknownRETURN(UNKNOWN)；ELSE-domainisknownIF("ISO13584_IEC61360_DICTIONARY_SCHEMA.CLASS_INSTANCE_TYPE"INdata_type_typeof(prop)）THENtemp：＝data-type-class-of(prop)；IFNOT(temp[1]INcl)THENRETURN(FALSE)；ELSE-domainincl，checkforwardIFEXISTS(v.its-own-property)THENRETURN(checks_classes_in_pathv.its-own-property,cl)）；ELSERETURN(TRUE)；-allpathcheckedEND_IF;END-IF;ELSERETURN(TRUE)；一domainisnotaclassEND_IF;END_IF;END-FUNCTION；-checks-classes-in-pathFUNCTION；-checks-classes-in-path（，14.6.2检查路径中的可应用特性函数checks＿applicable_properties_in_path（检查路径中的可应用特性）函数检查所有在property-se-mantics-or-path中使用的its-own-property特性，看它们是否为它们所属类的applicable-propertieso当路径的全部特性都为applicableproperties时，此函数返回的LOGICAL值为真，否则为假。当至少有一个dictionary-element无效时，该函数的返回值不定。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002EXPRESS表达：关）FUNCTIONchecks＿applicable_properties_in_path(v:property-semantics-or-path)：LOGICAL;LOCALprop：property_BSU；temp：SET[0：1]OFclass-BSU;END-LOCAL;prop：＝v.the-property;IFdata_type_typeof(prop)＝［］THEN-domainisunknownRETURN(UNKNOWN)；ELSE-domainisknownIF（"ISO13584IEC61360DICTIONARY_SCHEMA.CLASS-INSTANCE-TYPE"INdata_type_typeof(prop)）THENIFEXISTS(v.its-own-property)THENtemp：＝data-type-class-of(prop)；RETURN(applicable-properties(temp[1]，仁v.its-own-property．the＿property])ANDchecks-applicable-properties-in-path(v.its-own-property)）；ELSERETURN(TRUE)；-allpathscheckedEND-IF;ELSERETURN(TRUE)；-nosub-propertyEND-IF;END-IF;END_FUNCTION；-checks-applicable-properties-in-path（＊14.6.3相同视图模型方法函数same-view-model-method（相同视图模型方法）函数检查其。lass-extension定义的。1类是否不按class的超类来引用与class-extension相关的class.如果不能计算出与cl相关的class，该函数返回UNKNOWN.EXPRESS描述：二）FUNCTIONsame_view_model_method(meth：method_specif)：LOGICAL;IFSIZEOF(meth.specifies.its-class免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002contentitem.dictionary-definition.definition)＝0THENRETURN(UNKNOWN)；END-IF;RETURN(meth.specifies.its-classcontentitem.dictionary-definition.definition仁1]abstract_functional_model_class.created-view：＝：meth.create走view)；END-FUNCTION；一same-view-model_method（＊14.6.4自身特性值语义是项类函数self-property-value-semantics-is-item-class（自身特性值语义是项类）函数检查itreferenced-sub_itern_view_statement的sub-objectself-property-value-semantics的值的类是否为item-class.如果不能计算出与it-referenced-sub-item-view-statement的sub-objectself-property-value-se-mantics相关的类，此函数返回UNKNOWN.EXPRESS表达：关）FUNCTIONself-property-value-semantics-is-item-class(it：referenced-sub-item-view-statement)：LOGICAL;IFSIZEOF(it.sub-objectproperty_semantics.the-property.definition)＝0THENRETURN(UNKNOWN)；END-IF;IF(data_type_class_of(it.sub-objectproperty_semantics.the-property)＝［］）THENRETURN(UNKNOWN)；END-IF;IFSIZEOF(data_type_class_of(it.sub-objectproperty-semantics.the-property)[I].definition)＝0THENRETURN(UNKNOWN)；END_IF;RETURN(（"ISO13584-IEC61360-DICTIONARY-SCHEMA.ITEM-CLASS"INTYPEOF(data_type_class_of(it.sub-objectproperty_semantics.the-property)[1].definition[l])））；ENE_FUNCTION；-self-property-value-semantics-is-item-class（＊关）免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002EN几SCHEMA；一ISO13584-method-schema（＊15一致性要求集成库可由通用模型类，功能模型类以及功能视图类组成。GB/T17645的本部分不提供这三种类的同时交换。注I:GB/T17645.25规定的库集成信息模型25允许这种交换。这三种库集成信息模型由本部分定义。它们分别提供了：—通用模型类交换，定义了第一库集成信息模型(LIIM24-1)，它的EXPRESS模式是ISO13584_g_m_iim_schemao—功能模型类交换，定义了第二库集成信息模型（LIIM24-2)，它的EXPRESS模式是ISO13584_f_m_iim_schemao—功能视图类交换，定义了第三库集成信息模型(LIIM24-3)，它的EXPRESS模式是ISO13584_f_v_iim_schemao每个模式都提供了一组由实现支持的选项。这些选项可被分为一致性类组。具体一致性类的一致性要求是：支持所有定义为该类组成部分的实体，类型和相关的约束条件。对具体一致性类的支持要求涉及该类规定的全部选项。一致性类还可以定义标准数据，该标准数据是GB/T17645的本部分某一模式定义的实体数据类型的实例。该类的一致性声明还要求在交换相关环境中识别出这些实例。注2：指定为库集成信息模型以及ISO13584定义的视图交换协议组成部分的标准数据有两种：external-file-proto-cols和data-exchange-specification-ids,一致性类最终可定义某些字典条目，以及可用来引用这些条目的标准basic＿semantic＿unit。该类的一致性声明要求这些字典条目存储在系统字典中，同时可被标准basic-semantic-unit引用。例1:GB/T17645.101定义了basic-geometry（基本几何）功能视图类，以及用来引用它的。lass_BSU的内容。为和GB/T17645一致，系统还应该说明以下内容：—支持库集成信息模型LIIm24-1的一致性类；—可能存在的支持库集成信息模型LIIm24-2的一致性类；—可能存在的支持库集成信息模型LIIm24-3的一致性类；—可能存在的源自GB/T17645视图交换协议部分的视图交换协议，以及它们所支持的一致性类；—可能存在的external＿file-protocol，它所支持的数据没有被指定为标准数据。该标准数据包括在支持库集成信息模型和视图交换协议的任何一种支持一致性类中。前三种库集成信息模型一致性类的一致性要求包括：满足相应集成模式所述的要求，支持所有被定义成一致性类组成部分的实体和相关结构，以及识别所有可能与这些一致性类相关的标准数据和字典条目。视图交换协议一致性类的一致性要求包括：满足相应约束模式所述的要求，识别所有可能与这些一致性类相关的标准数据和字典条目，以及，当这种标准数据为external-file-protocol实体实例时，具备处理这些其结构由这种external-file-protocol实体实例定义的库外部文件的能力。注3：视图交换协议规定它如何通过仅由约束组成的EXPRESS模式从库交付文件中被引用。这些约束由库交付文件来实现，库交付文件引用在任何一致性类中的视图交换协议。例2：附录C规定如何构造引用ISO13584_g_m_iim_schema和视图交换协议“vi”的库交付文件的完整的信息模型。不同视图交换协议的一致性是互不相关的。实现应能编译库交换相关环境，该库交换相关环境引用了库集成信息模型的被支持一致性类，还引用了若干在被支持一致性类中的视图交换协议。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002例3:GB/T17645.101定义了那些符合basic_geometry（基本几何）功能视图类的字典条目，还定义了GB/T17645.31-1998的program-protocol。库交换相关环境可引用库集成信息模型LIIM24-2和由GB/T17645.101定义的视图交换协议。第一引用定义了库交付文件的结构以及包含文档和对话资源的库外部文件的结构。第二引用定义了包含FORTRAN程序的库外部交换文件的结构以便生成库零件的basic-geometry表达。最后，某个（些）external_file_protocol没有被规定为被支持视图交换协议一致性类中的标准数据，这个（些）external_file_protocol的要求支持：如果这些库外部文件从被支持的实体中被引用，能够处理结构由这些external-file-protocol定义的库外部文件。例4：服从于GB/T17645的实现要求：支持符合CATIA.FORTRAN程序的program_protocol，支持GB/T17645.101视图交换协议一致性类的一致性。即使一些program-references引用了表征EUCLID.FORTRAN程序的external_file_protocol，这个实现应能支持服从于该一致性类的功能模型类。注4：当在库交换相关环境中使用没被定义为视图交换协议中标准数据的external＿file-protocol时，可以设想的是：在库数据供应商和库用户之间存在一个通过external_file_protocol实体，并且和该协议有关的协定。16通用模型类交换：库集成信息模型24-1库集成信息模型24-1的一致性包括满足附录C中ISO13584_g_m_iim_schema模式规定的要求，支持实现方法的要求，规范性引用的相关要求以及对附录E定义的标准数据的支持。一个实现至少应该支持以下的实现方法：GB/T16656.21-1997，附录F规定的关于实现方法的要求。ISO13584_g_m_iim_schema提供了许多可被实现支持的选项。这些选项被分成一致性类组。一共定义了13个一致性类，详见表1。库集成信息模型24-1的一致性要求最小也应和类0一致。这些选项由每个类定义并且可被实现选定。特定一致性类的一致性要求是：支持ISO13584_g_m_iim_schema的所有实体，类型，定义为类组成部分的相关约束，以及类相关标准数据。一致性类的编号模式如下：—数字可指定dictionarydata(字典数据）以及可能被支持的库数据。相应于仅支持dictionary-element的实现，这些一致性类可用数字0,1和2进行标识。—一致性类的标识符可包括字母E。相应的一致性类可称做扩展一致性类。这些一致性类支持那些使用供应商定义协议的描述。服从于扩展一致性类的实现可处理属于支持实体集的任何实体，引用的协议甚至不是标准数据的组成部分，而是声称支持external-file-protocol的等值协议。注1:external_file_protocol实体的属性值遵从发送者和接受者间的优先协定。这些external-file-protocol实体不属于本部分（附录E、附录I和附录M）定义的标准数据，也不属于GB/T17645系列标准中视图交换协议定义的标准数据。它们属于本国际标准的范围以外。注2：库集成信息模型24-1的“1"f1J"6”一致性类中，可作为http_file加以引用的文件只能是具备MIME类型和子类型的文件：—相应的描述是公共有效的，或者一一是与公共域internet有效读出器相关的。只有在扩展一致性类中才能引用相应于其他MIME类型和子类型的http_file。这一点在附录E的非形式限制中还有说明。一致性类可由以下级别表征：—class0（类0)：原子项具有的最小dictionary-element,—classl（类1)：原子项具有的dictionary-element,—class1E（类IE)：具备供应商定义外部文件协议的原子项具有的dictionary-element,—class2（类2)：组合项具有的dictionary-element,一一。lass2E（类2E)：具备供应商定义外部文件协议的组合项具有的dictionary-element,免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002—class3（类3)：原子项具有的dictionary-element和简单库规范。—class3E（类3E)：具备供应商定义外部文件协议的原子项具有的dictionary-element和简单库规范。-class4（类4)：原子项具有的dictionary-element和基于关系代数的库规范。—class4(类4)：具备供应商定义外部文件协议的原子项具有的dictionary-element和基于关系代数的库规范。—class5（类5)：组合项具有的dictionary-element和简单库规范。—class5E（类5E)：具备供应商定义外部文件协议的组合项具有的dictionary-element和简单库规范。-class6（类6)：组合项具有的dictionary-element和基于关系代数的库规范。—class6E（类6E)：具备供应商定义外部文件协议的组合项具有的dictionary-element和基于关系代数的库规范。库集成信息模型24-1中不同的一致性类具备的支持能力如表1所示。表1库集成信息模型24-1的一致性选项供应商定性能字典元素库规范（类扩展）义的协议原子项：通带图形和带表的原带表的组关系代数用字典引用文档子项（没有合项（没有一致性级别组合项模式的原子项关系代数）关系代数）0x1XX1一eXXX2xXX2一eXXXX3XXX3一eXXXX4XXXX4一eXXXXX5XXXXX5一eXXXXXX6XXXXXX6一eXXXXXXX16.1ISO13584_g-m_iim_schema短列表本条规定了EXPRESS模式，该模式使用的元素来自GB/T16656的集成资源部分或GB/T17645逻辑资源或描述方法部分，来定义库集成信息模型LIIM24-1的需要。注1;GB/T16656的集成资源是GB/T16656.4X和GB/T16656.1XX,GB/T17645的逻辑资源是GB/T17645.2X,GB/T17645的描述方法是GB/T17645.4X,被引用模式规定的要求单独适用于使用这些模式的项。附录C给出了扩展EXPRESS列表。注2：该模式使用的某些实体和相关结构并不属于本标准定义的任何一致性类。它们可由视图交换协议使用。注3：该实体是供应商库的信息模型。集成库的信息模型不在此国际标准的范围之内。EXPRESS描述：免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002二）SCHEMAISO13584_g_m_iim_schema;USEFROMISO13584_generic-expressions-schema(environment)；USEFROMISO13584-expressions-schema(abs_function，acos_function,and-expression,asin_function,atan_function,boolean_literal,Boolean＿variable，comparison-equal，comparison-greater,comparison-greater-equal，comparison-less,comparison-less-equal,comparison_not_equal，concat_expression,cos-function,div_expression,equals-expression,exp_function,format-function,index-expression,interval-expression,int＿literal，int＿numeric＿variable，int_value_function,length＿function,like-expression,log-function,log2_function,log10-function,maximum＿function,minimum＿function,minus一expression，minus-function,modexpression,mult_expression,notexpression,odd＿function，免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002or-expression,plus-expression,power-expression,real＿literal，real_numeric_variable,sin-function,slash-expression,square_root_function,string-literal，string-variable,substring_expression,tanfunction,value-function,xor_expression)；USEFROMISO13584_IEC61360_dictionary_schema(axisl_placement_type，axis2_placement_2d_type,axis2_placement_3走type,basic-semantic-unit，boolean_type,class_BSU，class-instance-type,class-value-assignment，component-class,condition_DET,data_type_BSU，data-type-element,dates,dependent_P_DET,dic_unit,dic_value,entity-instance-type,identified-document,integer-type，int_currency_type,int_measure_type,int_type,item＿class，item＿names，label-with-language,level-type，material-class,mathematical-string，免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002named-type，non_dependent_P_DET,nonquantitative-code-type,non_quantitative_mt_type,non_si_unit,number-type,placement-type，property_BSU,real-currency-type,real-measure-type,real-type,string-type,supplier_BSU,supplier-element，value-code-type,value-domain)；USEFROMISO13584_IEC61360_language_resource_scbema(global-language-assignment,present-translations，translated-label，translated-text)；USEFROMISO13584-instance-resource-schema(context-dependent-property-value，dic_componentinstance,dic_feature_instance,dic_material_instance,int_level_spec_value,lib-component-instance,lib-feature-instance,lib-material-instance,null-value,property-value，real-level-spec-value)；USEFROMISO13584-library-expresions-schema(binaryclass_instance_constructor,class-instance-literal，class-instance-variable，entity-instance-literal,entity-instance-variable,exists-value,instance_comparison_equal，int_level-spec-literal，免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002int_level_spec_variable，multiple_arity_class-instance-constructor,property＿assignment,real-level-spec＿literal，real_level_spec_variable,unary_class_instance_constructor)；USEFROMISO13584-table-resource-schema(boolean_column,class-instance-column,column-traversal-variable-semantics,difference-table-expression,entity-instance-column，integer-column,intersect-table-expression,int_level_spec-column,in_RDB_tabIe_boolean_expression，multiple_arity_cartesian-product，naturaljoin_expression,projection_expression,RD几table-extension,RDB_table_specification,RD几table＿variable，real-column,real-level-spec-column，select-expression,string-column,table＿extension，table＿literal，table-specification,table＿variable，union-table-expression)；USEFROMISO13584_variable-semantics-schema(property-semantics-or-path,self-class-code-semantics，self-class-preferred-name-semantics，sel仁class-short-name-semantics，sel仁class-supplier-code-semantics，self-class-version-semantics,self-property-class-code-semantics，sel仁property-class-version-semantics，sel仁property-code-semantics，sel仁property-preferred-name-semantics，免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002self_property_short_name_semantics，self_property_value-semantics,self_property_version_semantics,sub-property-path)；USEFROMISO13584-domain-resource-schema(constant-range-defined-domain，domain_restriction,functional-domain-restriction,guarded_functional_domain，guarded-simple-domain,library-expression-defined-value,null-defined-value,others，predicate-defined-domain，subclass_defined_domain,table_defined_domain,table＿define走value，type-defined-domain，variable-range-defined-domain)；USEFROMISO13584_extended_dictionary_schema(a-posteriori-ease-of,class-document-relationship,class-table-relationship，component-class-case-of,dictionary-identification,dictionary,dictionary-in-standard-format，document＿BSU，document-element,feature-class,feature_class_case_of,geometric-representation_context_type,item＿_class＿_case＿_off,library_iim_identification，material-class-case-of,RDBtablecontent，RDBtable＿element，representation-type,table_BSU,tablecontent，table-element，view-exchange-protocol＿identification)；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002USEFROMISO13584-library-content-schema(explicit-item-class-extension,item-class-extension，library,library-in-standard-format，optor_mand_property_BSU)；USEFROMISO13584-external-file-schema(A6-illustration,A9-illustration,document-content,external-file-unit，http_class_directory，http-directory-name-type，http_file，http_protocol，illustration,language-specific-content，message,non-standard-data-protocol，nottranslatable_external_content,not-translated-external-content，standard-data-protocol，translated_external_content)；USEFROMmeasure-schema(amount-of-substance-measure,amount-of-substance-measure-with-unit，amount-of-substance-unit，area＿measure,area-measure-with-unit，area＿unit，context-dependent-measure,context-dependent-unit，conversion-based-unit，count-measure,derivedunit，derived-unit-element，descriptivemeasure,dimensional-exponents，electric-current-measure,electric-current-measure-with-unit，electric-current-unit，global-unit-assigned-context,免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002length-measure,length-measure-wit比unit，length-unit,luminous-intensity-measure,luminous-intensity-measure-with-unit,luminous-intensity-unit,mass-measure,mass-measure-with-unit,mass-unit,measure-value,measure-with-unit,named-unit,numeric_measure,parameter-value,plane-angle-measure,plane-angle-measure-with-unit,plane-angle-unit，positive-length-measure9positive-plane-angle-measure,positive_ratio_measure,ratio-measure,ratio-measure-with-unit，ratio-unit,si＿unit，solid-angle-measure,solid-angle-measure-with-unit,solid-angle-unit，thermodynamic-temperature-measure,thermodynamic-temperature_measure_with_unithermodynamic_temperature_unit，time-measure,time-measure-with-unit,time＿unit，volumemeasure，volume-measure-with-unit，volume-unit)；USEFROMperson-organization-schema(address，organizationperson)；USEFROMgeometry-schema(axisl-placement，免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002axis2_placement_2D,axis2_placement_3D,geometric-representation-context,placement)；USEFROMrepresentation-schema(representation，representation-context，representation-item)；USEFROMapplication-context-schema(application-context，application-context-element，application-protocol_definitian)；（关16.2ISO13584_g_m_iim_schema的全局规则定义以下规则定义了ISO13584_g_m_iim_schema模式的要求。16.2.1至多一个字典规则at"most-one-dictionary-rule（至多一个字典规则）规定一个库交换环境至多和一个字典关联。EXPRESS描述：，）RULEat-most-one_dicticnary-ruleFOR(dictionary)；WHEREWRl：SIZEOF(dictionary)＜＝1；END-RULE；-at-most-one-library-rule（＊形式限制：WR1：最多有一个字典在一个库交换相关环境中定义。16.2.2类关联项规则class-associated-items-rule（类关联项规则）规定每个类只能有不超过两个是class-table-relation-ship和／或class-document-relationship的associated-items,EXPRESS描述：二）RULEclass-associated-items-ruleFOR(class)；WHEREWR1：QUERY(temp＜＊classI(SIZEOF(temp.associateditems)＞2)OR（(SIZEOF(temp.associateditems)＝1）ANDNOT(（"ISO13584_G_M_IIM_SCHEMA"＋‘．CLAS凡TABLE＿RELATIONSHIP"INTYPEOF(temp.associated-items[1]））OR（"ISO13584_G_M_IIM_SCHEMA"＋’．CLASS-DOCUMENT-RELATIONSHIP"INTYPEOF(temp.associated-items[I])）））OR（(SIZEOF(temp.associated＿items)＝2)免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002ANDNOT(（（"ISO13584＿G＿M＿IIM＿SCHEMA"＋‘．CLASS.-TABLE-RELATIONSHIP"INTYPEOF(temp.associated-items仁1])）AND（"ISO13584＿G＿M＿IIM＿SCHEMA"＋’．CLASS-DOCUMENT-RELATIONSHIP"INTYPEOF(temp.associated＿items[2])））OR（（"ISO13584＿G＿M一IIM＿SCHEMA"＋‘．CLAS昆TABLE-RELATIONSHIP"INTYPEOF(temp.associated-items仁2])）AND（"ISO13584_G_M_IIM_SCHEMA"＋’．CLASS-DOCUMENT-RELATIONSHIP"INTYPEOF(temp.associated-items仁1])）））））＝［〕；ENDesRULE；-class-associated-items-rule（关形式限制：WRl：每个类只能有不超过两个是class-table-relationship和／或。lass-document-relationship的associated-items.ENDeeSCHEMA；一ISO13584-g-m-iim-schema（＊16.3一致性类要求16.3.1一致性类0一致性类。说明那些实现用于支持ISO/IEC字典模式中的通用要求。库集成信息模型24-1的一致性类0的实现应能支持以下的实体和相关结构。FROMISO13584_IEC61360_dictionary_schema(boolean_type,class＿BSU，class-value-assignment,component-class，condition_DET,data-type-element,dependent＿P_DET,dic＿unit，dic_value,identified＿document，int_currency_type,intmeasure＿type,int_type,item＿class，item＿names，label-with-language,level-type,免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002material-class,mathematical-string,named-type，non-dependentP_DET,non_quantitative_code_type,non_quantitative_mt_type，non＿si＿unit，number-type,property_BSU，real-currency-type,real-measure-type，real-type,string-type，supplier_BSU，supplier-element，syn_name_type，value-domain)；FROMISO13584_IEC61360_language-resource＿schema(global-language-assignment，present-translations,translated＿label，translated-text)；FROMmeasure＿schema(amount＿ofsubstance＿measure＿with＿unitamount-of-substance-unit,area_measure_with_unit,area-unit,context-dependent-unit，conversion-based-unit，derived-unit,derived-unit-element，dimensional-exponents，electric-current-measure-with-unit,electric_current_umt,global-unit-assigned-context，length-measure＿with-unit，length-unit，luminous-intensity-measure-with-unit，luminous-intensity-unit，mass-measure-with-unit，mass＿unit，measure＿value,免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002measure-with-unit，named＿unit，plane-angle-measure-with-unit,plane-angle-unit，ratio-measure-with-unit，ratio＿unit，s1＿unit，solid_angle_measure_with_unit，so]id-angle-unit,thermodynamic-temperature_measure_with-unitthermodynamic_temperature_unit，time＿measure＿with＿unit，time＿unit，volume-measure-with-unit,volume-unit)；FROMperson-organization-schema(organization,address)；16.3.2一致性类1一致性类1说明了那些用于支持原子项的dictionary-element的实现。这些原子项包含is-case-of关系的使用，同时还与文档和图形相关。库集成信息模型24-1的一致性类1的实现应支持附录E定义的标准数据。它还应支持以下的实体和相关结构。FROMISO13584_IEC61360_dictionary_schema(boolean_type,class＿BSU，class-value-assignment,component-class,condition＿DET，data_type_BSU，dates，dieunit，dic_value,identified＿document，int_currency_type,int_measure_type，int_type,item＿class，item＿names,label-with-language,level，level-type,material＿class，mathematical-string,免费标准下载网(www.freebz.net)无需注册即可下载'