1、 Reference number ISO 13584-24:2003(E) ISO 2003INTERNATIONAL STANDARD ISO 13584-24 First edition 2003-11-01 Industrial automation systems and integration Parts library Part 24: Logical resource: Logical model of supplier library Systmes dautomatisation industrielle et intgration Bibliothque de compo
2、sants Partie 24: Ressource logique: Modle logique de fournisseur ISO 13584-24:2003(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobes licensing policy, this file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licens
3、ed to and installed on the computer performing the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobes licensing policy. The ISO Central Secretariat accepts no liability in this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the
4、 software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by ISO member bodies. In the unlikely event that a problem relating to
5、 it is found, please inform the Central Secretariat at the address given below. ISO 2003 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without per
6、mission in writing from either ISO at the address below or ISOs member body in the country of the requester. ISO copyright office Case postale 56 CH-1211 Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail copyrightiso.org Web www.iso.org Published in Switzerland ii ISO 2003 All rights res
7、ervedISO 13584-24:2003(E) ISO 2003 All rights reserved iii Contents Page 1 Scope .1 2 Normative references.2 3 Terms, definitions and abbreviations .3 4 Structure of ISO 13584-24 .19 4.1 Generic resources19 4.1.1 ISO13584_instance_resource_schema.19 4.1.2 ISO13584_library_expressions_schema .19 4.1.
8、3 ISO13584_table_resource_schema 19 4.1.4 ISO13584_variable_semantics_schema .20 4.1.5 ISO13584_domain_resource_schema 20 4.2 Parts library specific resources 20 4.2.1 ISO13584_extended_dictionary_schema20 4.2.2 ISO13584_library_content_schema.20 4.2.3 ISO13584_external_file_schema.21 4.2.4 ISO13584
9、_method_schema21 4.3 Library integrated information models21 4.3.1 ISO13584_g_m_iim_schema and LIIM 24-1 .21 4.3.2 ISO13584_f_m_iim_schema and LIIM 24-2 21 4.3.3 ISO13584_f_v_iim_schema and LIIM 24-3 .22 5 Fundamental concepts and assumptions 22 5.1 Conceptual model of a supplier library.22 5.2 Impl
10、icit versus explicit description of a parts library .22 5.2.1 Explicit modelling of simple families of parts: by set extension .22 5.2.2 Implicit modeling of simple families by entity data type .23 5.2.3 Explicit and implicit description of classes in this part of ISO 13584 .24 5.3 Direct use of EXP
11、RESS versus meta-modelling for implicit description25 5.3.1 Direct use of the EXPRESS language for modelling classes 25 5.3.2 Meta-modelling of classes using EXPRESS26 5.4 Two level description of a supplier library and the ISO/IEC common dictionary schema.27 5.4.1 Common dictionary description for
12、ISO 13584 and IEC 61360 .28 5.4.2 Dictionary descriptions for ISO 13584 .28 5.4.3 Interoperability of ISO 13584 and IEC 61360 28 5.5 Independence between dictionary_elements and content_items: the BSU mechanism .28 5.5.1 Reference between several EXPRESS schema populations via the BSU mechanism 29 5
13、.5.2 Expressing constraints between dictionary entries 29 5.6 ISO 13584 and the Internet29 5.6.1 Documents represented within a library exchange context .29 5.6.2 Support of the HTTP protocol and local Internet server 29 5.6.3 Particular HTTP formats to be supported by an implementation.30 5.6.4 Rem
14、ote access to a document through the Internet31 6 ISO13584_instance_resource_schema.31 6.1 Introduction to the ISO13584_instance_resource_schema .33 6.2 Fundamental concepts and assumptions for the ISO13584_instance_resource_schema.34 6.2.1 Two-fold description of classes and instance representation
15、 34 6.2.2 Representation of a context-dependent characteristic value.37 6.2.3 Optional properties.37 6.3 ISO13584_instance_resource_schema type definitions 37 6.3.1 Null_value 37ISO 13584-24:2003(E) iv ISO 2003 All rights reserved 6.3.2 Primitive_value.38 6.3.3 Null_or_primitive_value38 6.3.4 Simple
16、_value .38 6.3.5 Null_or_simple_value.39 6.3.6 Number_value39 6.3.7 Null_or_number_value.39 6.3.8 Integer_value .39 6.3.9 Null_or_integer_value 40 6.3.10 Real_value .40 6.3.11 Null_or_real_value .40 6.3.12 Boolean_value .40 6.3.13 Null_or_boolean_value 41 6.3.14 Translatable_string_value41 6.3.15 Tr
17、anslated_string_value.41 6.3.16 String_value .42 6.3.17 Null_or_translatable_string_value42 6.3.18 Complex_value 42 6.3.19 Null_or_complex_value43 6.3.20 Entity_instance_value 43 6.3.21 Null_or_entity_instance_value .44 6.3.22 Defined_entity_instance_value 44 6.3.23 Controlled_entity_instance_value
18、44 6.3.24 STEP_entity_instance_value .45 6.3.25 PLIB_entity_instance_value.45 6.3.26 Uncontrolled_entity_instance_value 46 6.3.27 Property_or_data_type_BSU .46 6.4 ISO13584_instance_resource_schema entity definitions 46 6.4.1 Level_spec_value 46 6.4.2 Null_or_level_spec_value 47 6.4.3 Int_level_spec
19、_value .47 6.4.4 Null_or_int_level_spec_value 48 6.4.5 Real_level_spec_value 48 6.4.6 Null_or_real_level_spec_value 48 6.4.7 Class instances48 Property_value .56 Context_dependent_property_value 57 6.5 ISO13584_instance_resource_schema rule definition.58 6.5.1 Valued_properties_are_allowed_for_impli
20、cit_spec_rule rule.58 6.5.2 Valued_properties_are_allowed_for_explicit_spec_rule rule.59 6.5.3 Identification_properties_are_valued_for_implicit_spec_rule rule .59 6.5.4 Identification_properties_are_valued_for_explicit_spec_rule rule .60 6.5.5 Fm_valued_properties_are_allowed_for_implicit_spec_rule
21、 rule61 6.5.6 Fm_valued_properties_are_allowed_for_explicit_spec_rule rule62 6.5.7 Fm_free_properties_are_valued_for_implicit_spec_rule rule63 6.5.8 Fm_free_properties_are_valued_for_explicit_spec_rule rule64 6.6 ISO13584_instance_resource_schema function definitions 64 6.6.1 Compatible_class_and_cl
22、ass function.64 6.6.2 Right_values_for_level_spec function .66 6.6.3 Compatible_level_type_and_instance function67 6.6.4 Compatible_type_and_value function68 6.6.5 Collects_assigned_instance_properties function.71 6.6.6 Correct_view_from_model function .72 6.6.7 Is_condition_det function .72 6.6.8 I
23、s_dependent_p_det function.73 6.6.9 All_context_parameters_referenced function 73 6.6.10 Collects_property_context function74 6.6.11 Check_class_type_for_dic_item_instance function.75 6.6.12 Check_class_type_for_dic_f_model_instance function.76ISO 13584-24:2003(E) ISO 2003 All rights reserved v 6.6.
24、13 Check_class_type_for_dic_f_view_instance function76 6.6.14 Check_property_values_translations function .77 6.6.15 Same_translations function .77 6.6.16 Compatible_item_caseof_with_class_definition function.78 6.6.17 Compatible_model_caseof_with_class_definition function79 6.6.18 superclass_closur
25、e function 79 6.6.19 compute_superclass_closure procedure.80 6.6.20 item_caseof_closure function 81 6.6.21 next_item_caseof function.81 6.6.22 compute_item_caseof_closure procedure.82 6.6.23 model_caseof_closure function .83 6.6.24 next_model_caseof function83 6.6.25 compute_model_caseof_closure pro
26、cedure84 7 ISO13584_library_expressions_schema .85 7.1 Introduction to the ISO13584_library_expressions_schema86 7.2 Fundamental concepts and assumptions for the ISO13584_library_expressions_schema .87 7.2.1 Information model of a variable .87 7.2.2 Strong typing of variables and expressions .87 7.3
27、 ISO13584_library_expressions_schema type definitions.88 7.3.1 Library_expression.88 7.3.2 Library_variable88 7.4 ISO13584_library_expressions_schema entity definitions.89 7.4.1 Level_spec_expression .89 7.4.2 Entity_instance_expression .93 7.4.3 Class_instance_expression .95 7.4.4 Exists_value.102
28、7.4.5 Instance_comparison_equal102 7.5 ISO13584_library_expressions_schema rule definition .103 7.5.1 Two_fold_variable_representation_rule rule103 1. ISO13584_library_expressions_schema function definitions.104 7.5.2 Syntax_of function .104 7.5.3 Semantics_of function .104 7.5.4 Collects_assigned_p
29、roperties function 105 7.5.5 Collects_referenced_library_expressions function 105 7.5.6 Compatible_simple_type_and_expression function 106 7.5.7 Compatible_type_and_library_expression function .107 7.5.8 Compatible_variable_and_expression function .109 7.5.9 Compatible_variable_and_library_expressio
30、n function .110 8 ISO13584_table_resource_schema.111 8.1 Introduction to the ISO13584_table_resource_schema.113 8.2 Fundamental concepts and assumptions for the ISO13584_table_resource_schema .114 8.2.1 Description of tables 114 8.2.2 Description of table expressions115 8.3 ISO13584_table_resource_s
31、chema entity definitions115 8.3.1 Table_identification115 8.3.2 Table_specification 116 8.3.3 Table_extension.117 8.3.4 Column.119 8.3.5 Simple_column 120 8.3.6 Complex_column .123 8.3.7 Table expressions126 8.4 ISO13584_table_resource_schema functions definition136 8.4.1 Compatible_column_and_varia
32、ble function.136 8.4.2 Compatible_column_and_variable_semantics function.139 8.4.3 Compatible_list_variable_semantics_and_columns function 139 8.4.4 Compatible_variable_semantics_and_expression function.140 8.4.5 Compatible_list_variable_semantics_and_expressions function.141ISO 13584-24:2003(E) vi
33、ISO 2003 All rights reserved 8.4.6 Collects_columns function .141 8.4.7 Diff_columns function 143 8.4.8 Return_key function.143 8.4.9 Is_SQL_mappable_table_expression function 145 8.4.10 Used_table_literals function.147 8.4.11 Check_iterator_context function 148 8.4.12 Check_iterator_domain_uniquene
34、ss function148 8.4.13 No_null_values_in_key_columns function.149 8.4.14 Same_translations_for_string_values function150 8.4.15 Same_translations_for_table_extension function151 8.4.16 Get_translated_string_values_of_tuple function151 9 ISO13584_variable_semantics_schema152 9.1 Introduction to the IS
35、O13584_variable_semantics_schema153 9.2 Fundamental concepts and assumptions for the ISO13584_variable_semantics_schema153 9.2.1 Instance related operation .153 9.2.2 Instance structure 153 9.2.3 Context of a method 154 9.3 ISO13584_variable_semantics_schema type definition 154 9.3.1 Property_semant
36、ics_or_path.154 9.4 ISO13584_variable_semantics_schema entity definitions.154 9.5 Property_semantics154 9.6 Sub_property_path.155 9.7 Variable_semantics referring to the SELF entity156 9.7.1 Self_variable_semantics156 9.7.2 Self_property_semantics .156 9.7.3 Self_property_value_semantics.157 9.7.4 S
37、elf_property_name_semantics 157 9.7.5 Self_class_variable_semantics161 9.7.6 Self_class_name_semantics .161 9.8 Variables referring to the open view characteristics.164 9.8.1 Open_view_variable_semantics 164 9.8.2 Open_view_property_semantics164 9.8.3 Open_view_property_value_semantics .165 9.9 ISO1
38、3584_variable_semantics_schema function definitions.165 9.9.1 BSU_of_property_semantics function .165 9.9.2 Check_property_semantics function166 10 ISO13584_domain_resource_schema 166 10.1 Introduction to the ISO13584_domain_resource_schema.167 10.2 Fundamental concepts and assumption for the ISO135
39、84_domain_resource_schema 168 10.3 ISO13584_domain_resource_schema type definition .169 10.3.1 Boolean_expression_or_others .169 10.4 ISO13584_domain_resource_schema entity definitions170 10.4.1 Others 170 10.4.2 Domain_restriction.170 10.4.3 Guarded_simple_domain.171 10.4.4 Simple_domain 172 10.4.5
40、 Table_defined_domain 172 10.4.6 Type_defined_domain .173 10.4.7 Subclass_defined_domain.173 10.4.8 Constant_range_defined_domain174 10.4.9 Variable_range_defined_domain.175 10.4.10 Predicate_defined_domain.177 10.4.11 Functional_domain_restriction .177 10.4.12 Guarded_functional_domain 178ISO 13584
41、-24:2003(E) ISO 2003 All rights reserved vii 10.4.13 Simple_functional_domain .178 10.4.14 Library_expression_defined_value.178 10.4.15 Table_defined_value179 10.4.16 Null_defined_value.180 10.5 ISO13584_domain_resource_schema function definitions181 10.5.1 Collects_variables function 181 10.5.2 Col
42、lects_var_sem function.181 10.5.3 Used_tables_in_domain function.182 10.5.4 Used_variables_in_domain function183 10.5.5 Variables_belong_to_assumes function 184 11 ISO13584_extended_dictionary_schema 185 11.1 Introduction to the ISO13584_extended_dictionary_schema 187 11.2 Fundamental concepts and a
43、ssumptions for the ISO13584_extended_dictionary_schema 188 11.2.1 Dictionary structure 188 11.2.2 Class related elements 188 11.2.3 Supplier related elements 188 11.2.4 Three-fold description of dictionary elements 189 11.2.5 Unique identification of dictionary elements.189 11.2.6 Applicable element
44、s.189 11.2.7 Visibility rule .189 11.2.8 Semantic relationships between classes .190 11.2.9 A priori semantic relationships and importation rule 190 11.2.10 Type checking for the tables referenced in the dictionary191 11.3 ISO13584_extended_dictionary_schema constant definitions 191 11.3.1 Element_c
45、ode_len .191 11.3.2 Dictionary_code_len.192 11.4 ISO13584_extended_dictionary_schema type definitions .192 11.4.1 Document_code_type192 11.4.2 Program_library_code_type.192 11.4.3 Table_code_type .193 11.4.4 Absolute_URL_type .193 11.4.5 Dictionary_code_type.193 11.5 ISO13584_extended_dictionary_sch
46、ema identification of a dictionary194 11.6 ISO13584_extended_dictionary_schema overall architecture of a dictionary195 11.7 Dictionary_in_standard_format 200 11.8 Data_exchange_specification_identification 201 11.9 Library_iim_identification202 11.10 View_exchange_protocol_identification .202 11.11
47、ISO13584_extended_dictionary_schema entity definitions: additional entity instance types.203 11.11.1 Representation_type 203 11.11.2 Geometric_representation_context_type .203 11.11.3 Representation_reference_type.204 11.11.4 Program_reference_type204 11.12 ISO13584_extended_dictionary_schema entity
48、 definitions: additional basic semantic units205 11.12.1 Program_library_BSU 205 11.12.2 Table_BSU.206 11.12.3 Document_BSU207 11.13 ISO13584_extended_dictionary_schema entity definitions: supplier BSU relationship .208 11.13.1 Supplier_program_library_relationship.208 11.14 ISO13584_extended_dictio
49、nary_schema entity definitions: class BSU relationships209 11.14.1 Class_table_relationship 209 11.14.2 Class_document_relationship 209 11.15 ISO13584_extended_dictionary_schema entity definitions: properties of functional models and functional views 210 11.15.1 Representation_P_DET .210ISO 13584-24:2003(E) viii ISO 2003 All rights reserved 11.16 ISO13584_extended_dictionary_schema entity definitions: specific dictionary elements.211 11.16.1 Supplier_related_dictionary_element .211 11.16.2 Class_related_dictionary_element .211 11.16.3 Program_
