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

GB/T17645.24-2003/ISO 13584-24:2002 11.25.8 导入表是可见的或可应用的规则 imported-tables-are-visible-or-applicable-rule导（人表是可见的或可应用的规则）规则检查：当表 被类用a_priori_semantics_relationship输人时，这个表对于该类来说是可见的或可应用的。 注：可应用的表包括通过语法关系输入的表。这条规则使从表已被输人的类中输入表成为可能。 EXPRESS描述： ＊） RULEimported-tables-are_visible_or_applicable_ruleFOR( a_priori_semantic_relationship，table-element)； WHERE WR1：QUERY(rel＜二a_priori_semantic_relationship IQUERY(tab＜，rel.referenced-tables IQUERY(cl＜*rel.referenced_classes ｝NOTvisible_tables(cl，[tab]) ANDNOTapplicable-tables(c1，[tab]）） ＝rel.referenced-classes)＝ ［］） ＝a_priorisemantic-relationship; END-RULE；一imported-tables_are_visibIe_or_appIicable-ruIe （关 形式限制： WR1：任何a_priori_semantics_relationship的referenced＿properties属性定义的输人表对属于该a -priori-semantics-relationship的referenced一classes集的任一类来说应是可见的或可应用的。 11.25.9 导入文档是可见的或可应用的规则 imported_documents_are_visible_or_applicable-rule导（人文档是可见的或可应用的规则）规则检 查：当文档被类用a-priori-semanticsrelationship输入时，这个文档对于该类来说是可见的或可应 用的。 注：可应用的文档包括通过语法关系输入的文档。这条规则使从文档已被输入的类中输人文档成为可能。 EXPRESS描述 ： 二） RULEimported-documents-are-visible-or-applicable-ruleFOR( a_priori_semantic-relationship，document＿element)； W HERE WR1：QUERY(rel＜ ‘a_priori_semantic-relationship ｝QUERY(doc＜ ＊rel.referenced-documents ｝QUERY(c1＜，rel.referenced-classes ｝NOTvisible_documents(cl，[doc]) ANDNOTapplicable_documents(cl，[doc])） ＝rel.referenced＿classes)＝仁」） ＝a_priori_semantic-relationship; END-RULE；一imported_documents-are_visible_or_applicable＿rule （＊ 形式限制： WRl：任何a_priori_semantics_relationship的：eferenced_properties属性定义的输人文档对属于 该a_priori_sem