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   EXPRESS-G
D MIM EXPRESS-G   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


© ISO 2019 — All rights reserved