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

'免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002required_item_characteristics)；prop：＝fm_class_ext.required_item_characteristics[i].property;IFNOT(propINfm_class_extcontent_item.dictionary-definition.definition[l]fm-class-view-of.imported_properties_from_item)THENres：＝FALSE;END-IF;END-REPEAT;ELSEres：＝FALSE；END_IF;ELSEres：＝UNKNOWN；END-IF;END_IF;RETURN(res)；END-FUNCTION；-required_properties_are_imported_properties（＊12.8.31检查特性同一次序函数same-order-for-properties（检查特性同一次序）函数检查：在property-value的first列表中定义的特性是否同一个，并且检查是否同一次序，这个次序是在property-value的current列表中定义的。如果一些成对的property-value都是。ontext_dependent_property-value,same-order-for-properties函数检查在两个context-dependent-property-value的context属性中定义的特性是否同一个，是否同一次序。如果检查结果是肯定的，same_order_for_properties函数返回TRUE值。否则，它返回FALSE值。EXPRESS描述：关）FUNCTIONsame-order-for-properties(first，current:LIST仁1：？］OFproperty-value)：BOOLEAN；IFSIZEOF(first)＜＞SIZEOF(current)THENRETURN(FALSE)；ENDLIF;REPEATi：＝1TOSIZEOF(first)；IF(first[i].prop_def＜＞current[i].prop-def)THENRETURN(FALSE)；END-IF;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002IF(("ISO13584-INSTANCE-RESOURCE-SCHEMA"＋‘．CONTEXT_DEPENDEN毛PROPERTY-VALUE")INTYPEOF(first[i])）THENIFNOT(（"ISO13584-INSTANCE-RESOURCE-SCHEMA"＋，．CONTEXT-DEPENDENT-PROPERTY-VALUE")INTYPEOF(current[i])）THENRETURN(FALSE)；END_IF;IFNOTsame-order-for-properties(first[i]context-dependent-property-value.the-context，current[i]contextdependent-property-value.the-context)THENRETURN(FALSE)；END－IF；END-IF;IF（（"ISO13584-INSTANCE-RESOURCE-SCHEMA"＋，．CONTEXT_DEPENDEN几PROPERTY-VALUE")INTYPEOF(current仁i])）THENIFNOT(("ISO13584-INSTANCE-RESOURCE-SCHEMA"＋‘．CONTEXT-DEPENDENT-PROPERTY-VALUE"）INTYPEOF(first[i])）THENRETURN(FALSE)；ENDLIF;ENDLIF;END-REPEAT;RETURN(TRUE)END-FUNCTION；一same-order-for-properties（关12.8.32所有的特性是可应用的函数如果所有特性是可应用的，并且这些特性被用作property-value来定义任何的explicit-model-class-extension的dic-class-instance,all-properties-are-applicable（所有的特性是可应用的）函数返回TRUE值。否则，它返回FALSEoEXPRESS描述：＊）FUNCTIONall-properties-are-applicable(expl：explicit＿model_class_extension)：LOGICAL;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002LOCALinst:dic_class_instance;prop_val:property-value;res：LOGICAL：二TRUE;END-LOCAL;REPEATi：＝1TOSIZEOF(expl.population)；inst：＝expl.population[i]；REPEATj：“1TOSIZEOF(inst.properties)；prop_val：＝inst.properties[j]；res：＝resANDapplicable_properties(explcontent-item.dictionary-definition，巨prop_val.prop_def])；END-REPEAT;END一REPEAT；RETURN(res)；END_FUNCTION；一all-properties-are-applicable（二12.8.33需要的值是非依赖p_det的函数require走values-are-non-dependent-p_det（需要的值是非依赖p_det的）函数检查：当explicit-functional-model-class-extension有一些requied-item-values，它的dictionary-definition被定义为fm-class-view-of，并且所有required-item-values应该被定义为non-dependent-几DET.EXPRESS描述：，）FUNCTIONrequired-values-are-non-dependent-p-det(fm_class_ext:explicit-functional-model-class-extension)：LOGICAL;LOCALres：LOGICAL.：＝TRUE；prop：property_bsu;END-LOCAL;IF(SIZEOF(fm_class_ext.requied-item-values)＜＞0)THENIF(SIZEOF(fm_class_extcontent_item.dictionary-definition.definition)＝1）THENIF（"ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋，．FM_CLAS几VIEW＿OF"）INTYPEOF(fm_class_extcontent_item。dictionary-definition.definition[l])THENREPEATi：二1TOSIZEOF(免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002fm_class_ext.requied-item-values)；prop：＝fm_class_ext.required-item-values[i]；IF(SIZEOF(prop.definition）二1)THENIFNOT("ISO13584-IEC61360DICTIONARY-SCHEMA＋‘．NON_DEPENDENT_P_DET"INTYPEOF(prop.definition[l])）THENres：＝FALSE;ENDLIF;ELSEres：＝resANDUNKNOWN；END-IF;END-REPEAT;ELSEres：＝FALSE；END=-IF;ELSEres：＝UNKNOWN；END_IF;END-IF;RETURN(res)；ENDweFUNCTION；-required_values_are_non_dependent_p_det（关12.8.34需要的值是导入的值函数required_values_are_importe走properties（需要的值是导人的特性）函数检查：当explicit_function-al_model_class-extension有一些required-item_values时，它的dictionary-definition被定义为fm-class-view-of，并且所有的required-item-values应该属于fm-class-view-of的imported_properties-from＿item属性。EXPRESS描述：＊）FUNCTIONrequired_values_are_imported_properties(fm_class_ext:explicit-functional-model-class-extension)：LOGICAL;LOCALres：LOGICAL：＝TRUE;prop:property_bsu;END-LOCAL;IF(SIZEOF(fm_class_ext.required-item-values)＜＞0)THENIF(SIZEOF(fm_class_extcontent_item.dictionary-definition.definition)＝1)免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GBIT17645.24-2003八SO13584-24:2002THENIF（"ISO13584-EXTENDED-DICTIONARY-SCHEMA"＋‘。FM-CLASS-VIEW-OF")INTYPEOF(fm_class_extcontent-item，dictionary-definition.definition[1])THENREPEATi：＝1TOSIZEOF(fm_class_ext.requied-item-values)；prop：＝fm_class_ext.requied-item-values仁i]；IFNOT(propINfm_class_extcontent_item.dictionary-definition.definition[1]fm-class-view-of.imported-properties_from_item)THENres：＝FALSE；END-IF;END－REPEAT；ELSEres：＝FALSE;END-IF;ELSEres：＝UNKNOWN；END-IF;END-IF;RETURN(res)；END-FUNCTION；-required-values-are-imported-properties（＊12.8.35BSU的数据类型函数data_type_of_BSU(BSU的数据类型）函数计算data-type,data-type定义了property_BSU或data_type_BSU最终的域。如果data-type与named-type相关联，此函数递归地移动它们的referred-types属性，直到达到simple-type或者complex-type为止。然后，函数返回此simple-type或complex-type.如果BSU定义无效，函数不能断定是simple-type或者complex-type，函数返回data-type的空集。EXPRESS描述：关）FUNCTIONdata_type_of_BSU(type_spec：property_or_data_type_BSU)：SET[0：1]OFdata-type；LOCALres:BOOLEAN：＝FALSE;x:data-type；END-LOCAL;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002IFNOTEXISTS(type-spec)THENRETURN([])；-type-specisindeterminateENDLIF;IF("ISO13584_IEC61360_DICTIONARY_SCHEMA.PROPERTY_BSU"INTYPEOF(type_spec)）THENIFNOT(SIZEOF(type_spec.definition)＝0)THENx：＝typespec.definition[1]property_DET.domain;res：=TRUE;END-IF;ELSEIFNOT(SIZEOF(type_spec.definition)“0)THENx：＝typespec.definition[1]data_type_element.type-definition;res：＝TRUE;END-IF;END-IF;IFNOT(res)THENRETURN([])；END_IF;IF("ISO13584_IEC61360_DICTIONARY_SCHEMA.NAMED-TYPE"INTYPEOF(x)）THENIFNOT(SIZEOF(xnamed-type.referred-type.definition）二0)THENRETURN(data_type_of_BSU(xnamed-type.referred-type)）；ELSERETURN([]）；END-IF;ELSERETURN([x])；END-IF;END-FUNCTION；一data_type_o仁BSU（＊12.8.36检查表达单位正确性函数presentation-unit-is-correct（检查表达单位正确性）函数检查是否字典定义propproperty_BSU的数据类型与to＿unitunit相匹配。如果结果不可以计算出来是因为一些BSU定义无效，函数返回UNKNOWN。如果propproperty＿BSU的数据类型不与单位相关联，函数返回FALSE值。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002EXPRESS描述：二）FUNCTIONpresentation-umt_is-correct(prop:property_BSU；to-unit：unit)：LOGICAL;LOCALprop-domain:data-type；prop_typeof:SETOFSTRING：＝［〕；END_LOCAL;IF(SIZEOF(propbasic_semantic_unit.definition)＝0)THENRETURN(UNKNOWN)；END-IF;prop_typeof：＝data_type_typeof(prop)；IF(prop_typeof＝仁］）一someDETnotpresentTHENRETURN(UNKNOWN)；END-IF;prop-domain：＝data_type_o仁BSU(prop)[1]；一notemptyIF("ISO13584_IEC61360DICTIONARY_SCHEMA.INT_MEASURE_TYPE"INTYPEOF(prop-domain)）THENRETURN(derive_dimensional_exponents(to_unit)“derive-dimensional-exponents(prop-domainint_measure_type.unit.structured-representation)）；END-IF;IF("ISO13584-IEC61360-DICTIONARY-SCHEMA.REAL-MEASURE-TYPE"INTYPEOF(prop_domain)）THENRETURN(derive-dimensional-exponents(to-unit)＝derive-dimensional-exponents(prop-domainreal-measure-type.unit.structured-representation)）；END-IF;IF（"ISO13584_IEC61360DICTIONARY_SCHEMA.LEVEL-TYPE"INTYPEOF(prop_domain)）THENIF（"ISO13584_IEC61360_DICTIONARY_SCHEMA.INT_MEASURE_TYPE"INTYPEOF(prop-domainlevel-type.value-type)）THENRETURN(derive_dimensional_exponents(to_umt)＝derive-dimensional-exponents(prop-domainlevel-type.value-type免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24：2002．unit.structured-representation)）；END-IF;IF（`ISO13584IEC61360_DICTIONARY_SCHEMA.REA瓦MEASURE-TYPEINTYPEOF(prop_domainlevel_type.value-type)）THENRETURN(derive_dimensional_exponents(to_unit)derive-dimensional-exponents(prop＿domainlevel_type.value-type．unit.structured-representation)）；END-IF;END-IF;RETURN(FALSE)；ENDeeFUNCTION；-presentation-unit-is-correct（关12.8.37检查可实例化视图存在表达函数exists＿representationfor_instanciable_view（检查可实例化视图存在表达）函数检查：当被extex-plicit_functional_model_class_extension引用的功能视图类不是non-instanciable-view-class时，那么referenced＿representation存在，并且，如果被extexplicit-functional-model-class-extension引用的功能视图类是non_instanciable_view_class，那么referenced-representation不存在。如果功能视图类或功能模型类字典定义无效，函数返回UNKNOWN,EXPRESS描述：，）FUNCTIONexists_representation_for_instanciable_view(ext：explicitfunctional＿model_class_extension)：LOGICAL;LOCALcpt：INTEGER：＝0；prop_val:property-value;END-LOCAL;IF(SIZEOF(ext.dictionary-definition.definition)＝1)THENIF(SIZEOF(ext.dictionary-definition.definition[l]abstract-functional-model-class.create走view.definition)＝1)THENIF(NOT("ISO13584_EXTENDED_DICTIONARY_SCHEMA.‘＋"NON_INSTANTIABLE_FUNCTIONAL_VIEW_CLASS"INTYPEOF(ext.dictionary-definition.definition[1]abstract-functional-model-class.create走view.definition[l])））THENRETURN(EXISTS(ext.referenced-representation)AND（（"ISO13584＿EXTRNAL-FIL＿SCHEMA.‘＋免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002"PROGRAM-REFERENCE"INdata-type-type-name(ext.referenced-representation)）OR（"ISO13584-EXTERNAL-FILE-SCHEMA.‘＋"REPRESENTATION＿REFERENCE"INdata-type-type-name(ext.referenced-representation)）OR（"REPRESENTATION-SCHEMA.‘＋"REPRESENTATION"INdata-type-type-name(ext.referenced-representation)）））；ELSERETURN(NOTEXISTS(ext.referenced＿representation)）；END_IF;ELSERETURN(UNKNOWN)END-IF;ELSERETURN(UNKNOWN)；END-IF;ENDeeFUNCTION；-exists-representation_for_instanczable_view12.8.38检查提供一次的特性值函数is-provided-once-property-value（检查提供一次的特性值）函数检查：propproperty-or_data_type_BSU是否为在a-modeldic＿class＿instance中恰好与一个值相关联的property_BSU。如果propprop-erty-or-data-type-BSU是data-type-BSU或如果此property-BSU不是恰好与一个关联，它返回FALSE值。EXPRESS描述：二）FUNCTIONis-provided-once_property_value(a-model：dlc_class_instance;prop:property_or_data_type_BSU)：BOOLEAN；LOCALcpt：INTEGER：＝0；END-LOCAL;IFNOT（("ISO13584_IEC61360_DICTIONARY_SCHEMA.‘＋"PROPERTY_BSU")INTYPEOF(prop)）THENRETURN(FALSE)；END_IF;REPEATi：＝1TOSIZEOF(a_model.properties)；IF（(prop＝a-model.properties[i].prop_def)AND免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002EXISTS(a_model.properties[i].its-value)）THENcpt：＝cpt十1；END-IF;END-REPEAT;RETURN(cpt＝1)；EN几FUNCTION；-is-provided-once-property-value（，12.8.39表达实例数fnumber_o仁instance-representations（表达实例数量）函数计算a-modelproperties属性中引用的property_BSUs数量,a-modelproperties属性的数据类型是representation-type,arepresentation_ref-erence_type或program-reference_typeo假如一些property_BSU的dictionary-definition不可用时函数返回不确定值。EXPRESS描述：，）FUNCTIONnumber-of-instance-representations(a-model:dic_class_instance)：INTEGER;LOCALcpt：INTEGER：＝0；prop_val：property-value;END-LOCAL;REPEATi：＝1TOSIZEOF(a_model.properties)；prop_val：＝a-model.properties[i]；IFdata_type_typeof(prop_val.prop_def)＝〔〕THENRETURN(?)；END-IF;IF("ISO13584_IEC61360DICTIONARY_SCHEMA.’＋"ENTITY-INSTANCE-TYPE"INdata_type_typeof(prop_val.prop_def)）THENIF（（"ISO13584_EXTERNAL_FILE_SCHEMA.’＋"PROGRAM-REFERENCE"INdata_type_type_name(prop_val.prop_def)）OR（"ISO13584-EXTERNAL-FILE-SCHEMA.‘＋"REPRESENTATION-REFERENCE"INdata_type_type_name(prop_val.prop_def)）OR("REPRESENTATION-SCHEMA.‘＋"REPRESENTATION"INdata-type_type_name(prop_val.prop_def)））THENcpt：＝cpt＋1；ENI）一IF;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002END-IF;END一REPEAT；RETURN(cpt)；END-FUNCTION；-number-of-instance-representations（＊12.8.40外部程序的正确参数函数correct_parameters_for_explicit_program（外部程序的正确参数函数）检查propproperty_BSU，它的数据类型是program-reference-type，且和它的program-reference相关，它的out-parameters和in-out-parameters列表都为空，并且它的in-parameters属性所有值是和a-model实例中值有关的prop-erty_BSUsaEXPRESS描述：关）FUNCTIONcorrect_parameters_for_explicit_program(a-model：dic_class_instance;prop：property_BSU)：BOOLEAN；IFNOT("ISO13584-EXTENDED-DICTIONARY-SCHEMA.‘＋"PROGRAM-REFERENCE-TYPE"INdata_type_typeof(prop)）THENRETURN(FALSE)；—notaprogramEND-IF;REPEATI：＝1TOSIZEOF(a_model.properties)；IF(prop＝a-model.properties[i].prop_def)THEN—characteristicsoftheprogram-referenceIFEXISTS(a_model.properties[i].its-value)AND（"ISO13584-EXTERNAL-FILE-SCHEMA.’＋"PROGRAM＿REFERENCE"INTYPEOF(a_model.properties[i].its-value)）AND(SIZEOF(a_model.properties[i].itsvalue.out-parameters)＝0)AND(SIZEOF(a_model.properties[i].its-value.inout_parameters)＝0)AND(QUERY(in_p＜，a-model.properties仁i].its-value.in-parameters｝NOT("ISO13584_IEC61360_DICTIONARY_SCHEMA.＋"PROPERTY_BSU"INTYPEOF(in_p)）ORNOTis-provided-once-property-value(a-model，in-p)）＝仁］）THENRETURN(TRUE)；—correctprogram-referenceELSERETURN(FALSE)；-notcorrectprogram-reference免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002ENl〕一IF;ENDLIF;END_REPEAT;RETURN(FALSE)；一program-referencewasnotfoundEND-FUNCTION；一correct-parameters-for-explicit-program（＊12.8.41从需求项特性获取字典项实例函数getdic_item_instances_from_required_itern_properties（从需求项特性取得字典项实例）函数重新取得一组数值组。每一组表达用来规定explicit-item-class-extension一个dic_item-instance的特性值子集，explicititem_class_extension的字典定义引用自cl.definition仁1]fm_class_view_of.view-of属性。数值组的每一个值与cl.referenced-by[1]explicit_functional_model-class-extension实体re-quired_item_values属性的一个特性对应。根据cl.definition[1]fm_class_view_of.imported_proper-ties一fromitem列表属性中的定义的顺序计算该数值组的顺序。假如cl字典定义或内容规定不可用函数返回一组空值，或cl字典定义数据类型不是fm-class-view-of数据类型，或cl内容规范数据类型不是explicit-functional-model-class-extension数据类型，函数也返回一组空值。假如引用项类库规范不可用，或可用，但不是explicit-item-class-extension数据类型，函数也返回空值。EXPRESS描述：＊）FUNCTIONget_dic_item_instances_from_required_item_properties(cl..class_bsu)：SETOFLISTOFprimitive-value;LOCALrequired-props.LISTOFproperty_bsu：＝〔〕；definition:fm-class-view-of;content:explicit-functional-model-class-extension;item＿bsu：class_bsu;item-content：explicit_item_class_extension;result：SETOFLISTOFprimitive-value：＝［］；END_LOCAL;IF(SIZEOF(cl.definition)＝1)THENIF("ISO13584-FXTENI)FD-DICTIONARY-SCHEMA.FM-CLASS-VIEW-OFINTYPEOF(cl.definition[1])）THENdefinition：＝cl.definition[1]；item＿bsu：＝definition.view-of;ELSERETURN([])；ENDLIF;ELSERETURN([])；END-IF;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002IF(SIZEOF(cl.referenced-by)＝1）THENIF（"ISO13584-LIBRARY-CONTENT-SCHEMA.‘＋"EXPLICIT_FUNCTIONAL_MODEL_CLASS-EXTENSION"INTYPEOF(cl.referenced_by[l])）THENcontent：＝cl.referenced-by仁1]；ELSERETURN([])；END-IF;ELSERETURN([])；END-IF;IF(SIZEOF(item_bsu.referenced-by)＝1）THENIF（"ISO13584-LIBRARY-CONTENT-SCHEMA.‘＋"EXPLICIT_MODEL_CLASS_EXTENSION"INTYPEOF(item_bsu.referenced-by仁1])）THENitem-content：＝item_bsu,referenced-by[l]；ELSERETURN([]）；END-IF;ELSERETURN([])；ENDLIF;require走props：＝get_list_of_required-properties(defimtion,content.required-item-values)；result：＝properties-projection-on-population(required-props，item-content.population)；RETURN(result)；ENDLFUNCTION；-get-dic-item-instances-from-imported-item-properties（，12.8.42获取需求特性列表函数get-list-of-required-properties（取得需求特性列表）函数计算从一组property_bsus的property-bsu顺序列表。假如thec1.imported-properties_from_item的property_bsu不属于required-proper-ties组，它就不包含在输出列表中。根据cl.imported-properties-from_item列表属性的潜在顺序计算输出列表输出列表顺序。EXPRESS描述：苦）FUNCTIONget-listof_required_properties(cl：fm-class-view-of;required-properties：SETOFproperty_bsu)免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002：LISTOFproperty_bsu；LOCALresult：LISTOFproperty_bsu：二［〕；END-LOCAL;REPEATi：＝1TOSIZEOF(cl.imported-properties-from-item)；IF(cl.imported_properties_from_item[i]INrequired-properties)THENresult：＝result＋cl.imported_properties-from_item[i]；END-IF;END-REPEAT;RETURN(result)END_FUNCTION；一get-list-of-required-properties（＊12.8.43关于总集特性投影函数properties-projection-on-population（关于总集特性投影）函数从dic_class_instances列表取得一组primitive＿values。它在包含在population中的每一个dic_class_instance.properties上应用proper-ties列表工程。EXPRESS描述：＊）FUNCTIONproperties-projection-on-population(properties：LISTOFproperty_bsu;population:LISTOFdic-class-instance)：SETOFLISTOFprimitive-value;LOCALresult:SETOFLISTOFINTEGER：＝［〕；tuple：LISTOFINTEGER：＝［］；END-LOCAL;REPEATi：＝1TOSIZEOF(population)；REPEATj：＝1TOSIZEOF(properties)；REPEATk：＝1TOSIZEOF(population[i].properties)；IF(population[i].properties[k].prop_def＝properties[j])THENtuple：二tuple＋population[i].properties[k].its-value;ENDLIF;END-REPEAT;END-REPEAT;result：＝result＋tuple;tuple：＝〔〕；END－REPEAT；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002RETURN(result)END-FUNCTION；一properties_projection_on_population（＊12.8.44可用于组件的所有视图函数all_views_available_for-components（可用于组件的所有视图）函数检查一组dic_f_model_in-stance,dic_仁model-instance规范了所给的cl.referenced_by[l]explicit_funetional_model_class_ex-tension，并应该描述函数模型的整组描述视图，每一个dic_item_instance规范一个explicit-model-class-extension，它的字典定义引用自explicit_functional_model_class_extension的fm-class-view-of字典定义view-of属性。假如cl字典定义或内容规范不可用，或cl字典定义数据类型不是fm-class-view-of数据类型，或Cl内容规范数据类型不是explicit_functional_model_class_extension数据类型，函数返回空。EXPRESS描述：＊）FUNCTIONall_views_available_for_components(cl：class_bsu)：LOGICAL;LOCALcomponents-views：SETOFLISTOFINTEGER：一［〕；component-view：LISTOFINTEGER：＝［〕；components：SETOFLISTOFINTEGER：＝「〕；declared一views：SETOFLISTOFINTEGER：＝［〕；definition：fm-class-view-of;content：explicit-functional_model_class-extension;ENDesLOCAL；IF(SIZEOF(cl.definition）二1）THENIF（"ISO13584-EXTENDED-DICTIONARY-SCHEMA.FM_CLASS_VIEW_OF"INTYPEOF(cl.definition[l])）THENdefinition：＝cl.definition[1]；ELSERETURN(UNKNOWN)；END-IF;ELSERETURN(UNKNOWN)；END-IF;IF(SIZEOF(cl.referenced-by)＝1）THENIF（"ISO13584-LIBRARY-CONTENT-SCHEMA.’＋"EXPLICIT_FUNCTIONAL_MODEI._CI.ASS_EXTENSION"INTYPEOF(cl.referenced-by仁1])）THENcontent：二cl.referenced-by[l]；ELSE免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002RETURN(UNKNOWN)；END_IF;ELSERETURN(UNKNOWN)；END-IF;-idxvcvsinmodelcomponents-views：＝available-components-views(cl)；-idinitemcomponents：＝get_dic_item_instances_from＿required_item_properties(cl)；-vcvtuplesindeclarationdeclared＿views：二declared_created_views(cl)；IF(SIZEOF(components)＜＞0)THENREPEATi：＝1TOSIZEOF(components)；REPEATj：一1TOSIZEOF(declared_views)；component-view：二components[i]＋declared＿views[j]；IFNOT(component_viewINcomponents-views)THENRETURN(FALSE)；END_IF;ENDLREPEAT;ENDLREPEAT;RETURN(TRUE)；ELSERETURN(UNKNOWN)；ENDLIF;ENDLFUNCTION；-all_views_available_for_components（，12.8.45可用组件视图函数available-components-views（可用组件视图）函数返回一组和重新规定的cl.reference走by[1]ex-plicitfunctional＿model_class_extension.required-item-values组和由functional＿view＿vc＿v函数返回的可用视图控制变量列表联合相对应的数值组，其中functional＿view＿vc＿v函数关于用来规范。1.ref-erenced-by仁1]explicit_functional＿model_class_extension的dic_f_model_instances列表。假如c1字典定义或内容规范不可用，或cl字典定义数据类型不是fm-class-view-of数据类型，或cl内容规范数据类型不是explicit_functional_model_class_extension数据类型，函数返回空。EXPRESS描述：二）FUNCTIONavailable_components_views(cl：class_bsu)：SETOFLISTOFINTEGER;LOCALrequired-props：LISTOFproperty_bsu：＝仁〕；vcvs：LISTOFproperty_bsu：＝「］；view-properties：LISTOFproperty_bsu：＝［」；definition:fm-class-view-of;免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002content:explicit-functional-modl-clas-xtnsion;result:SETOFLISTOFINTEGER：＝［〕；END-LOCAL；IF(SIZEOF(cl.definition)＝1）THENIF("ISO13584-EXTENDED-DICTIONARY-SCHEMA.FM-CLASS-VIEW-OFINTYPEOF(cl.definition仁1])）THENdefinition：＝cl.definition[1]；ELSERETURN([])；END-IF;ELSERETURN([])；END_IF;IF(SIZEOF(cl.referenced-by)＝1）THENIF（"ISO13584-LIBRARY-CONTENT-SCHEMA.‘＋"EXPLICIT-FUNCTIONAL-MODEL-CLAS-EXTENSIONINTYPEOF(cl.referenced_by[1]））THENcontent：＝cl.referenced-by[l]；ELSERETURN([])；END-IF;ELSERETURN([]）；END-IF;vcvs：＝functional_view_v_c_v(definitionabstract-functional-model-class.created-view)；IF(SIZEOF(vcvs)＜＞0)THENrequired-props：＝get_list_o仁required_properties(definition，content.required-item-values)；view-properties：＝required-props＋vcvs；result：＝properties_projection_on_population(view_properties，content.population)；END-IF;RETURN(result)；END-FUNCTION；-available_components_views（苦免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:200212.8.46属于每个视图所有视图变f函数假如由class＿ext字典定义引用的函数视图类所定义的所有视图控制变量全部用来描述属于SELFmodel-class＿extension.population列表的每一个dic_class_instanceall-view_control_variables_be-long_to_each_view（属于每个视图所有视图变量）函数返回真，否则返回假。假如class＿ext字典定义不可用。或假如引用函数视图类定义不可用，函数返回空。EXPRESS描述：＊）FUNCTIONall-view-control-variables-belong-to-each-view(class＿ext：explicitmodel_class_extension)：LOGICAL;LOCALcreate走view;class_bsu;cl：class_bsu;vcvs：SETOFproperty_bsu；i，max:INTEGER;result:LOGICAL,：＝TRUE;END-LOCAL;cl：一class_extcontent-item.dictionary-definition;IF(SIZEOF(cl.definition)＝1)THENcreated-view：＝cl.definition[l]abstract-functional-model-class.created-view;vcvs：＝list_to_set(functional_view_v_c_v(created_view)）；IF(SIZEOF(created_view.definition)＝1）THENIF(SIZEOF(vcvs)＞0)THENi：＝1；max：＝SIZEOF(class_ext.population)；REPEATWHILE((i＜＝max)AND(result)）；result：＝chec址all-view-control-variables-belong-to-view(vcvs,class-ext.population[i])；i：＝i＋1；ENDLREPEAT;ELSEresult：=TRUE;END-IF;ELSEresult：＝UNKNOWN；END_IF;RETURN(result)；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002ELSERETURN(UNKNOWN)；END_IF;END-FUNCTION；-all-view-control-variables-belong-to-eac比view（，12.8.47检查属于视图的所有视图控制变f函数check-all-view-control-variables-belong-to-view（检查属于视图的所有视图控制变量）函数检查所有也给出并用来定义。＿viewdic＿fmodel＿instance的vcvs,EXPRESS描述：关）FUNCTIONcheck-all-view-control-variables-belong-to-view(vcvs：SETOFproperty_bsu；a_view：dic_f_model_instance)：LOGICAL;LOCALused-properties：SETOFproperty_bsu：＝［〕END-LOCAL;REPEATi：＝1TOSIZEOF(a_view.properties)；used-properties：＝used-properties十a-view.properties[i].prop_def;ENDeeREPEAT；RETURN(vcvs＜＝used-properties)；END-FUNCTION；一check-all-view-control-variables-belong-to-view（＊12.8.48属干实例标识的所有vcvs函数假如所有用来表征class_ext.definition[1]abstract_functional_model_class.created-view函数视图类的视图控制变量在class_extexplicit＿model-class-extension.instance-identification组中得到引用all_vcvs_belong_to_instance_identification（属于实例标识的所有、cvs）返回真，否则返回假。要么假如class＿ext字典定义不可用，要么假如引用函数视图类定义不可用，函数返回空。EXPRESS描述：＊）FUNCTIONall_vcvs_belong_to_instance_identification(class_ext:explicit-model-class-extension)：LOGICAL;LOCALvcvs：SETOFproperty_bsu：＝「〕；created-view:class_bsu；cl：class_bsu；END-LOCAL;cl：＝class_extcontent_item.dictionary-definition；IF(SIZEOF(cl.definition)＝I）THEN免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002created-view：＝cl.definition[l]abstract＿functional＿model＿class.created＿view；vcvs：＝list_to_set(functional_view_v_c_v(created_view)）；IF(SIZEOF(created_view.definition)＝1)THENRETURN(vcvs＜＝list-to-set(class_extexplicit-model-class-extension.instance＿identification)）；ELSERETURN(UNKNOWN)；ENDLIF;ELSERETURN(UNKNOWN)；END-IF;END-FUNCTION；一vcvs_and_required-properties-belong_to_identification（二12.8.49类扩展的相同字符值转换函数假如对于定义explicit-model-class-extension总集的每一个实例，其值是translated-string-value（假如存在）的任何最初property-value以相同语言定义，same-string_values_trans]ations_for_class_extension（类扩展的相同字符值转换）函数返回真，否则返回假。假如没有translated-string-value用来定义所有population实例，函数返回空。注：函数不负责检查用来定义以相同语言给出每个实例property-value，的所有translated＿string-values，该检查是在die-class-instance实体数据类型规范中完成。EXPRESS描述：＊）FUNCTIONsame-string-values-translations-for-class-extension(class_ext:explicitmodel_class_extension)：LOGICAL;LOCALcomp:SETOFtranslated-string-value：＝［〕；translated-property-values:LISTOFproperty-value：二［］；END_LOCAL;REPEATi：＝1TOSIZEOF(class_ext.population)；translated-property-values：＝QUERY(prop_val＜＊class_ext.population[i].properties｝"ISO13584INSTANCE_RESOURCE_SCHEMA.‘＋"TRANSLATED-STRING-VALUE"INTYPEOF(prop_val.its-value)）；IF(SIZEOF(translated-property-values)＜＞o)THENcomp：＝comp＋translated-property-values[I].its-value;END-IF;ENDeeREPEAT；免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002RETURN(same_translations(comp)）；END-FUNCTION；一same_string-values_translations_for_class_extension（二＊）END-SCHEMA；一ISO13584-library-content-schema（，13ISO13584外部文件模式本章对ISO13584_external_file_schema(ISO13584外部文件模式）的要求进行定义。下面的EXPRESS描述介绍了ISO13584-external-file-schema块，并确定了必要的外部引用。EXPRESS描述：＊）SCHEMAISO13584external_file_schema;REFERENCEFROMISO13584_IEC61360_dictionary_schema(basic-semantic-unit，class一BSU，class一relate走BSU,content＿item，definition_available_impliesgraphics，item＿names，listto_set,revision-type9supplier_BSU,supplier-element，supplier_related_BSU，version_len)；REFERENCEFROMISO13584_IEC61360_language_resource_schema(global-language-assignment,language-code,present-translations)；REFERENCEFROMISO13584-instance-resource-schema(property_or_data_type_BSU)；REFERENCEFROMISO13584-extended-dictionary-schema(absolute_url_type,document＿BSU，program_library_BSU)；REFERENCEFROMISO13584-library-content-schema(model-class-extension)；REFERENCEFROMsupport-resource-schema免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002(identifier,label)；REFERENCEFROMperson-organization-schema(organization)；REFERENCEFROMmeasure-schema(length-measure,length-measure-with-unit)；（，注：以上所引用的模式可在以下文件中查找到：ISO13584IEC61360-dictionary-schemaIEC61360-2，（为方便起见，将其复印于GB/T17645.42--2001提示的附录D中）ISO13584-IEC61360-language-resource-schemaIEC61360-2；（为方便起见，将其复印于GB/T17645.42--2001提示的附录D中）ISO13584-instance-resourceschema本部分；ISO13584-extended-dictionary-schema本部分；ISO13584-library-content-schema本部分；supportresource-schemaGB/T16656.41；personorganization-schemaGB/T16656.41；measure-schemaGB/T16656.41。13.1对ISO13584外部文件模式的介绍库交换的环境包括一个一致于一种集成信息模型库的一致性类别的库传递文件和几个库外部文件。库传递文件规定供应商库的结构和内容。GB/T17645对提供交换相关信息的库外部文件的EX-PRESS模型不做描述。它们可以由其他标准进行描述，采用EXPRESS信息模型或其他规范性语言。在供应商库中，它们既可以通过库传递文件所引用的库集成信息模型的一致性类别来使用，也可以在库传递文件所引用的一种视图交换协议一致性类别中使用。库外部文件中所包含的信息在库传递文件内部使用external＿item实体表达。这种实体的引用用于交换此信息的外部文件和用于处理它们的协议。存在两种external-item:-dictionary-external-item（字典外部项）与BSU关联，并为BSU提供信息。可以仅通过它们的BSU对它们进行引用，而且它们的生命周期独立于任何类别的扩展。特别是它们可与仅通过字典描述的类别相关联。—class＿extensionexternal＿item给出类别扩展的描述方式，并由描述model-class-extension的实体中直接引用。无论新版本的model＿class＿extension是否被提供，对它们均应规定，而且其生命周期与所属的model-class-extension相同。如下规划模型表示GB/T17645本部分所定义的不同种类的库外部文件。注：本规划模型使用了EXPRESS语言的EXPRESS-G图示符号，但图所说明的某些EXPRESS语言模型所定义的关系被省略，而且没有表达某些内部模式的引用。program-library-content是一个程序的集合，可作为库交换环境的零件提供，与program-protocol（程序协议）定义的API相连接，由linked-interface-program-protoco实体建模定义新的高层API。而新的API可以通过linked-interface-program-protocol实体实例的方式从与库类别相关的程序中被引用。例：GB/T17645.31--1998定义了API，它可以与文件交换格式一同用于定义program-protocol。为便于定义一个新的program-protocol，也就是linked_interface-program-protocoI，在API的顶端允许定义一个上层。这样的programprotocol可以用于保证与一些此前存在的API的兼容性，例如由德国标准DINV66304定义的API,免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003八SO13584-24:2002图8外部项规划模型program_library_content：—对应于标识它和能够引用它的program_library_BSU;—引用由预期被连接的API所定义的program-protocol;—与组成其内容的库外部文件相关。document一content由document一BSU标识，由document实体来描述。它包括在供应商判断和用户通过名称集合可进行访问方面定义的资料。特别是，在类环境中用户应被通知关于文档可适合的类，并应可以请求显示它们。document＿content：—与标识它和能够引用它的document＿BSU相关；—引用规定了它将如何被处理的external_file_protocol;—可以用一种以上语言进行规定；—引用组成其内容的库外部文件。class-extension-external-item通过外部文件方式提供关于类扩展的某些信息。它与BSU无关，而且它应仅从描述类扩展的实体中被查阅。每个class_extension_external_item.—与定义其范围和生命周期的model-class-extension相关；—与规定其应如何被处理的external_file_protocol相关；—由规定其性质的实体（消息或图示）进行描述，所以即便要转换，也一定是在汇编阶段进行的；—引用组成其内容的库外部文件。ISO13584-external-file-schema建立：—提供对库外部文件引用的机制；—处理库外部文件的方法的规范；—规定每个库外部文件角色的资源构造；—使库最终用户能够航行于文档之间的机制。ISO13584-external-file-schema不建立：—库外部文件的信息模型。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:200213.2ISO13584外部文件模式的基本概念和假设13.2.1项的表达本部分的目的是对任何库项表达的交换进行规定。考虑到若干国际、国家和即成标准已经使各种项表达的各种类的描述可行，所以库传递文件应可以引用与其他标准一致的外部文件，以便针对属于本库的项描述不同的表达种类。注：VHDL和GB/T16656.203是国际标准的例子，它们规定了两种不同种类的零件表达的描述。13.2.2项表达的显式和隐式描述对于一个表达种类来说，一个项类所有实例表达的集合可以显式或隐式地建模。如果将其显式地建模，则每个项的表达被描述为一个数据集合；如果将其隐式地建模，则有一个应被启动并具有参数值的算法，从而生成每一项的表达。在ISO13584_external_file_schema中，显式表达由representation-reference实体引用，隐式表达由program-reference（程序引用）实体引用。program-reference与program-protocol及参数相关。当对供应商库在库最终用户的站点上进行处理时，program-reference的处理应由检查program-protocol的有效性，及随后的编译库外部文件的内容所组成，其编译是根据程序的program-status（程序状态）进行的，其库外部文件的内容是通过pro-gram-reference和／或对此内容的连接被引用的。在下一个阶段，运行将请求参数的赋值和调用的运行。此调用应由LMS按照用户的请求提供。注：在13.4.10条定义了program-status，在13.5.6条中它被用来指定程序是在源代码状态还是在编译后的状态。representation-reference与data-protocol（数据协议）相关。当对供应商库在库最终用户的站点上进行处理时，representationreference的处理应由检查data-protocol的有效性，及随后适当地将其内容转换为另一种格式，例如库最终用户系统的本地格式。13.2.3支持用户会话LMS可以显示各种提示项，提示项可以是图形，也可以是文本。为使供应商库在用户库中能自动集成，应能提示相应取自库数据供应商。这些提示项被建模为dialogue-resource.dialogue-resource是class-extension-external-item（类扩展外部项）的子类。它所表达的信息应当可以通过LMS在特殊的环境下自动显示。它可以是图形，即illustration，也可以是文本，即message,dialogue-resource可以以多种语言规定，并可以由若干个库外部文件组成。13.2.4Http文件的存储库集成信息模型所支持的一种特殊的data-protocol或者视图交换协议是http协议。这种exter-nal-file-protocol通过http_protocol(http协议）实体建模。与http_protocol相关联的库外部文件被建模为http_file。在特殊情况下，http_file与http_file_name_type(http文件名类型）相关联，在用户本地Internet服务器上，http_file_name_type规定了应与此文件相关联的名称（见6.6.2条）；而且与http_class-directory（超文本传输协议类目录）相关联，Itttp_class_directory规定了目录的名称，存储在用户本地Internet服务器中。每个http-class-directory均引用一个class，每个与http_file相关联的类别由一个http_class_directory正确地引用。声称一致于GB/T17645的任何I.MS实现应该满足以下各条中的规则。13.2.4.1Http_file存储规则通过一个特定库数据供应商传递的所有Http_file均应存储在仅包括两个级别的目录层：—这个层面的根是目录，目录的名称是其库数据供应商的supplier-code(供应商代码）。如果软件不支持GB/T17645.42-2001所规定的命名目录的supplier-code的长度，则允许实现缩写目录名称。注1:GB/T17645.42-2001规定supplier-code的长度是70个字符；注2：与不同库数据供应商相关联的根目录的缩写方法在本国际标准中未作规定，可以依实现而定。免费标准下载网(www.freebz.net)无需注册即可下载 免费标准下载网(www.freebz.net)GB/T17645.24-2003/ISO13584-24:2002—该层面的每个树叶是一个目录，目录的名称由http_class_directory实体的名称属性定义，http-class-directory实体表达了在库传递文件中用户系统上所创建的目录；与目录相关联的类别被定义为表达它的http-class-directory的class属性。此规则保证了当若干http_file与由库数据供应商所传递的同一供应商库相关联时，库数据供应商知道在用户本地Internet服务器上的文件名称和目录结构。因此，库数据供应商可以定义这些http_file之间的超级链接。13.2.5超文本链接的应用库数据供应商在若干库交换环境中作为库外部文件的http_file之间定义超文本链接时，应执行如下要求：应通过相对统一的资源地址对所有在库交换环境中作为库外部文件的http_file之间的超文本链接进行标识。相对统一的资源地址应基于这样的前提，http_file是按照前面条款所定义的http文件存储规则而存储在用户本地Internet服务器上的。注：用户本地Internet服务器的概念在4.6.2进行了论述。13.2.6从文档导航至数据检索和选择的退出机制针对零件族的选定和零件族中零件的选择，支持库集成信息模型或视图交换协议的库管理系统使得http_protocol对库外部文件的应用可以提供两种不同咨询库内容的方法。—面向文档的导航。用户跟随超文本链接从类别关联文档到类别关联文档航行，并且选择目标类别或选择某一类别中是一个实例的零件。—面向数据库的导航。用户查询数据仓库，检索类别，选择满足某些特殊要求的零件。退出机制为库最终用户检验一种有用的手段，用来表示它们需要从面向文档的导航转换为面向数据库的导航。下一条所规定的通用网关接口访问规则使库数据供应商能够为库最终用户提供一种能力，用来规定它们需要从面向文档的导航转换为面向数据库的导航。下一条所定义的通用网关接口实现规则规定了顺从GB/T17645的实现应如何支持这些能力。13.2.7通用网关接口访问当库数据供应商需要使库最终用户能够从被访问的文档通过文档导航达到数据检索，并通过文档中的超文本链接进行选择时，应满足以下条款。13.2.7.1通用网关接口访问规则1为了表明库最终用户置于面向数据库的导航之中，而且表明此面向数据库的导航环境是用户开始面向文档导航之前的面向数据库导航的当前环境，库数据供应商应以这样的方式定义http_file，它包括两个字符串：由库最终用户的本地Internet客户发布的HTTP-Version和Ims-URI。这两个字符串以EBNF形式化表示为：HTTI〕一Version二”HTTP/l.1”Ims一URI＝"/cgi一bin/Ims”Thesetwostringsshallbeseparatedbyalinearwhitespace1ws：lws＝仁]1‘(｝