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

GB/T17645.24-2003/ISO 13584-24:2002 required_item_characteristics)； prop：＝fm_class_ext. required_item_characteristics[i].property; IFNOT(propINfm_class_ext\content_item. dictionary-definition.definition[l]\ fm-class-view-of. imported_properties_from_item) THEN res：＝FALSE; END-IF; END-REPEAT; ELSE res：＝FALSE； END_IF; ELSE res：＝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函 数检查在两个upppn-nn-rr-xvyaoocddteteeetetel 的context属性中定义的特性是否同一个，是否同一 次序。如果检查结果是肯定的，same_order_for_properties函数返 回TRUE值。否则，它返回 FALSE值。 EXPRESS描述： 关） FUNCTIONsame-order-for-properties( first，current:LIST仁1：？］OFproperty-value)：BOOLEAN； IFSIZEOF(first)＜＞ SIZEOF(current) THEN RETURN(FALSE)； ENDLIF; REPEATi：＝ 1TOSIZEOF(first)； IF(first[i].prop_def＜＞current[i].prop-def) THEN RETURN(FALSE)； END-IF; 免费标准下载网() 无需注册 即可下载 GB/T17645.24-2003/ISO13584-24:2002 IF((ISO13584-INSTANCE-RESOURCE-SCHEMA＋ ．‘CONTEXT_DEPENDEN毛PROPERTY-VALUE) INTYPEOF(first[i])） THEN IFNOT(（ISO13584-INSTANCE-RESOURCE-SCHEMA＋ ，．CO