ISO/TS 10303-1739:2019 Production rule


Application module: Production rule	ISO/TS 10303-1739:2019(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
3.2 Abbreviated terms

4 Information requirements
4.1 Required AM ARMs
4.2 ARM type definitions
4.3 ARM entity definitions
4.4 ARM function definitions
4.5 ARM rule definitions
5 Module interpreted model
5.1 Mapping specification
5.2 MIM EXPRESS short listing
5.2.1 MIM type definitions
5.2.2 MIM entity definitions

A MIM short names
B Information object registration
C ARM EXPRESS-G
D MIM EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index

1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
3.2 Abbreviated terms
4 Information requirements
4.1 Required AM ARMs
4.2 ARM type definitions
          4.2.1 built_in_functions
          4.2.2 clause_select
          4.2.3 constants
          4.2.4 expression_syntax
          4.2.5 function_symbol
          4.2.6 pr_activity_item
          4.2.7 pr_documented_element_select
          4.2.8 pr_identification_item
          4.2.9 pr_organization_or_person_in_organization_item
          4.2.10 predicate_symbol
          4.2.11 scope_select
          4.2.12 term_select
4.3 ARM entity definitions
          4.3.1 Abstract_variable
          4.3.2 Atomic_formula
          4.3.3 Attribute_assertion
          4.3.4 Back_chaining_rule
          4.3.5 Complex_clause
          4.3.6 Complex_conjunctive_clause
          4.3.7 Complex_disjunctive_clause
          4.3.8 Entity_assertion
          4.3.9 Enum_reference_prefix
          4.3.10 Extent
          4.3.11 Fact_type
          4.3.12 Forward_chaining_rule
          4.3.13 Func
          4.3.14 Global_assignment
          4.3.15 Ground_fact
          4.3.16 Literal_conjunction
          4.3.17 Literal_disjunction
          4.3.18 Row_value
          4.3.19 Row_variable
          4.3.20 Rule_action
          4.3.21 Rule_adoption
          4.3.22 Rule_change_request
          4.3.23 Rule_condition
          4.3.24 Rule_creation
          4.3.25 Rule_definition
          4.3.26 Rule_expiration
          4.3.27 Rule_justification
          4.3.28 Rule_modification
          4.3.29 Rule_priority
          4.3.30 Rule_product
          4.3.31 Rule_rejection
          4.3.32 Rule_request
          4.3.33 Rule_set
          4.3.34 Rule_set_group
          4.3.35 Rule_software_definition
          4.3.36 Rule_submission
          4.3.37 Rule_supersedence
          4.3.38 Rule_version
          4.3.39 Scalar_variable
          4.3.40 Simple_clause
          4.3.41 Symbol
4.4 ARM function definitions
          4.4.1 contains_variable
          4.4.2 local_vars_aux
          4.4.3 local_vars_of
4.5ARM rule definitions
          4.5.1 max_one_entity_prefix
          4.5.2 rule_software_definition_constraint
          4.5.3 rule_version_constraint
5 Module interpreted model
5.1 Mapping specification
          5.1.1 Applied_activity_assignment
          5.1.2 Abstract_variable
          5.1.3 Atomic_formula
          5.1.4 Attribute_assertion
          5.1.5 Back_chaining_rule
          5.1.6 Complex_clause
          5.1.7 Complex_conjunctive_clause
          5.1.8 Complex_disjunctive_clause
          5.1.9 Document_assignment
          5.1.10 Entity_assertion
          5.1.11 Enum_reference_prefix
          5.1.12 Extent
          5.1.13 Fact_type
          5.1.14 Forward_chaining_rule
          5.1.15 Func
          5.1.16 Global_assignment
          5.1.17 Ground_fact
          5.1.18 Identification_assignment
          5.1.19 Literal_conjunction
          5.1.20 Literal_disjunction
          5.1.21 Organization_or_person_in_organization_assignment
          5.1.22 Row_value
          5.1.23 Row_variable
          5.1.24 Rule_action
          5.1.25 Rule_adoption
          5.1.26 Rule_change_request
          5.1.27 Rule_condition
          5.1.28 Rule_creation
          5.1.29 Rule_definition
          5.1.30 Rule_expiration
          5.1.31 Rule_justification
          5.1.32 Rule_modification
          5.1.33 Rule_priority
          5.1.34 Rule_product
          5.1.35 Rule_rejection
          5.1.36 Rule_request
          5.1.37 Rule_set
          5.1.38 Rule_set_group
          5.1.39 Rule_software_definition
          5.1.40 Rule_submission
          5.1.41 Rule_supersedence
          5.1.42 Rule_version
          5.1.43 Scalar_variable
          5.1.44 Simple_clause
          5.1.45 Symbol
5.2 MIM EXPRESS short listing
5.2.1 MIM type definitions
          5.2.1.1 pr_action_items
          5.2.1.2 pr_date_and_time_item
          5.2.1.3 pr_document_reference_item
          5.2.1.4 pr_identification_item
          5.2.1.5 pr_organization_item
          5.2.1.6 pr_person_and_organization_item
          5.2.1.7 rule_superseded_item
5.2.2 MIM entity definitions
          5.2.2.1 abstract_variable
          5.2.2.2 atomic_formula
          5.2.2.3 attribute_assertion
          5.2.2.4 back_chaining_rule
          5.2.2.5 back_chaining_rule_body
          5.2.2.6 complex_clause
          5.2.2.7 complex_conjunctive_clause
          5.2.2.8 complex_disjunctive_clause
          5.2.2.9 entity_assertion
          5.2.2.10 enum_reference_prefix
          5.2.2.11 extent
          5.2.2.12 fact_type
          5.2.2.13 forward_chaining_rule
          5.2.2.14 forward_chaining_rule_premise
          5.2.2.15 func
          5.2.2.16 global_assignment
          5.2.2.17 ground_fact
          5.2.2.18 literal_conjunction
          5.2.2.19 literal_disjunction
          5.2.2.20 row_value
          5.2.2.21 row_variable
          5.2.2.22 rule_action
          5.2.2.23 rule_condition
          5.2.2.24 rule_definition
          5.2.2.25 rule_set
          5.2.2.26 rule_set_group
          5.2.2.27 rule_software_definition
          5.2.2.28 rule_superseded_assignment
          5.2.2.29 rule_supersedence
          5.2.2.30 scalar_variable
          5.2.2.31 simple_clause
          5.2.2.32 symbol
Annex A MIM short names
Annex B Information object registration
   B.1 Document identification
   B.2 Schema identification
Annex C ARM EXPRESS-G
Annex D MIM EXPRESS-G
Annex E Computer interpretable listings
Annex F Change history
F.1 General
F 2 Changes made in edition 2
F 2.1 Summary of changes
F 2.2 Changes made to the ARM
F 3 Changes made in edition 3
F 3.1 Summary of changes
F 3.2 Changes made to the ARM
F 4 Changes made in edition 4
F 4.1 Summary of changes
F 4.2 Changes made to the ARM
F 4.3 Changes made to the mapping
F 4.4 Changes made to the MIM
Bibliography
Index

Figures

Figure C.1 — ARM schema level EXPRESS-G diagram 1 of 1
Figure C.2 — ARM entity level EXPRESS-G diagram 1 of 3
Figure C.3 — ARM entity level EXPRESS-G diagram 2 of 3
Figure C.4 — ARM entity level EXPRESS-G diagram 3 of 3
Figure D.1 — MIM schema level EXPRESS-G diagram 1 of 1
Figure D.2 — MIM entity level EXPRESS-G diagram 1 of 2
Figure D.3 — MIM entity level EXPRESS-G diagram 2 of 2

Tables

Table E.1 — ARM and MIM EXPRESS listings

Contents

Figures

Tables