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


         (*
ISO/TC 184/SC 4/WG 12 N10541 - ISO/TS 10303-1739 Production rule - EXPRESS MIM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N7035
*)



SCHEMA Production_rule_mim;


         USE FROM
         Activity_mim;
            -- ISO/TS 10303-1047


         USE FROM
         Date_time_assignment_mim;
            -- ISO/TS 10303-1014


         USE FROM
         Identification_assignment_mim;
            -- ISO/TS 10303-1021


         USE FROM
         product_definition_schema   -- ISO 10303-41
  (product_definition_relationship,

           
         product_related_product_category);


         USE FROM
         Product_identification_mim;
            -- ISO/TS 10303-1017


         USE FROM
         product_property_definition_schema   -- ISO 10303-41
  (property_definition);


         USE FROM
         product_property_representation_schema   -- ISO 10303-41
  (property_definition_representation);


         USE FROM
         representation_schema   -- ISO 10303-43
  (representation_item_relationship);


         USE FROM
         Software_mim;
            -- ISO/TS 10303-1746


         USE FROM
         Specification_document_mim;
            -- ISO/TS 10303-1747


TYPE pr_action_items =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT
         BASED_ON
         action_items
         WITH 
         

            (product_definition_formation, 
    rule_set);

         END_TYPE;


TYPE pr_date_and_time_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT
         BASED_ON
         date_and_time_item
         WITH 
         

            (rule_action);

         END_TYPE;


TYPE pr_document_reference_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT
         BASED_ON
         document_reference_item
         WITH 
         

            (rule_set);

         END_TYPE;


TYPE pr_identification_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT
         BASED_ON
         identification_item
         WITH 
         

            (rule_set);

         END_TYPE;


TYPE pr_organization_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT
         BASED_ON
         organization_item
         WITH 
         

            (rule_action);

         END_TYPE;


TYPE pr_person_and_organization_item =
         
         EXTENSIBLE
         
         GENERIC_ENTITY
         
         
         SELECT
         BASED_ON
         person_and_organization_item
         WITH 
         

            (rule_action);

         END_TYPE;


TYPE rule_superseded_item =
         
         
         SELECT

            (product_definition_formation);

         END_TYPE;


ENTITY abstract_variable

           SUBTYPE OF (property_definition, property_definition_representation, representation, representation_item);

         
         END_ENTITY;


ENTITY atomic_formula

           SUBTYPE OF (compound_representation_item);

         
         END_ENTITY;


ENTITY attribute_assertion

           SUBTYPE OF (fact_type, property_definition_representation, representation);

         
         END_ENTITY;


ENTITY back_chaining_rule

           SUBTYPE OF (rule_definition);

         
         END_ENTITY;


ENTITY back_chaining_rule_body

           SUBTYPE OF (property_definition, property_definition_representation, representation);

         
         END_ENTITY;


ENTITY complex_clause

           SUBTYPE OF (compound_representation_item);

         
         END_ENTITY;


ENTITY complex_conjunctive_clause

           SUBTYPE OF (complex_clause);

         
         END_ENTITY;


ENTITY complex_disjunctive_clause

           SUBTYPE OF (complex_clause);

         
         END_ENTITY;


ENTITY entity_assertion

           SUBTYPE OF (fact_type);

         
         END_ENTITY;


ENTITY enum_reference_prefix

           SUBTYPE OF (descriptive_representation_item);

         
         END_ENTITY;


ENTITY extent

           SUBTYPE OF (characterized_object);

         
         END_ENTITY;


ENTITY fact_type

           SUBTYPE OF (property_definition);

         
         END_ENTITY;


ENTITY forward_chaining_rule

           SUBTYPE OF (rule_definition);

         
         END_ENTITY;


ENTITY forward_chaining_rule_premise

           SUBTYPE OF (property_definition, property_definition_representation, representation);

         
         END_ENTITY;


ENTITY func

           SUBTYPE OF (compound_representation_item);

         
         END_ENTITY;


ENTITY global_assignment

           SUBTYPE OF (representation_item_relationship);

         
         END_ENTITY;


ENTITY ground_fact

           SUBTYPE OF (atomic_formula);

         
         END_ENTITY;


ENTITY literal_conjunction

           SUBTYPE OF (simple_clause);

         
         END_ENTITY;


ENTITY literal_disjunction

           SUBTYPE OF (simple_clause);

         
         END_ENTITY;


ENTITY row_value

           SUBTYPE OF (compound_representation_item);

         
         END_ENTITY;


ENTITY row_variable

           SUBTYPE OF (abstract_variable);

         
         END_ENTITY;


ENTITY rule_action

           SUBTYPE OF (action);

         
         END_ENTITY;


ENTITY rule_condition

           SUBTYPE OF (atomic_formula);

         
         END_ENTITY;


ENTITY rule_definition

           SUBTYPE OF (rule_software_definition);

         
         END_ENTITY;


ENTITY rule_set

           SUBTYPE OF (rule_software_definition);

         
         END_ENTITY;


ENTITY rule_set_group

           SUBTYPE OF (rule_software_definition);

         
         END_ENTITY;


ENTITY rule_software_definition

           SUBTYPE OF (product_definition);

         
         END_ENTITY;


ENTITY rule_superseded_assignment

           SUBTYPE OF (action_assignment);

           items : SET[1:?] OF rule_superseded_item;

         
         END_ENTITY;


ENTITY rule_supersedence

           SUBTYPE OF (rule_action);

         
         END_ENTITY;


ENTITY scalar_variable

           SUBTYPE OF (abstract_variable);

         
         END_ENTITY;


ENTITY simple_clause

           SUBTYPE OF (compound_representation_item);

         
         END_ENTITY;


ENTITY symbol

           SUBTYPE OF (representation_item);

         
         END_ENTITY;



         END_SCHEMA;  -- Production_rule_mim