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

5.2 MIM EXPRESS short listing

This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.

This clause constitutes the Module Interpreted Module (MIM) of the application module.

This clause also specifies the modifications that apply to the constructs imported from the common resources.

The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:

Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.

EXPRESS specification:

*)
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
(*

NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Activity_mim ISO/TS 10303-1047
Date_time_assignment_mim ISO/TS 10303-1014
Identification_assignment_mim ISO/TS 10303-1021
product_definition_schema ISO 10303-41
Product_identification_mim ISO/TS 10303-1017
product_property_definition_schema ISO 10303-41
product_property_representation_schema ISO 10303-41
representation_schema ISO 10303-43
Software_mim ISO/TS 10303-1746
Specification_document_mim ISO/TS 10303-1747

NOTE 2   See Annex D, Figures D.1, D.2and D.3 for a graphical representation of this schema.

5.2.1 MIM type definitions

This subclause specifies the MIM types for this application module. The MIM types and definitions are specified below.

5.2.1.1 pr_action_items   EXPRESS-G

The pr_action_items type is an extension of the action_items type. It adds the data types product_definition_formation and rule_set to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE pr_action_items = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON action_items WITH
   (product_definition_formation,
    rule_set);
END_TYPE;
(*

5.2.1.2 pr_date_and_time_item   EXPRESS-G

The pr_date_and_time_item type is an extension of the date_and_time_item type. It adds the data type rule_action to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE pr_date_and_time_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON date_and_time_item WITH
   (rule_action);
END_TYPE;
(*

5.2.1.3 pr_document_reference_item   EXPRESS-G

The pr_document_reference_item type is an extension of the document_reference_item type. It adds the data type rule_set to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE pr_document_reference_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON document_reference_item WITH
   (rule_set);
END_TYPE;
(*

5.2.1.4 pr_identification_item   EXPRESS-G

The pr_identification_item type is an extension of the identification_item type. It adds the data type rule_set to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE pr_identification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON identification_item WITH
   (rule_set);
END_TYPE;
(*

5.2.1.5 pr_organization_item   EXPRESS-G

The pr_organization_item type is an extension of the organization_item type. It adds the data type rule_action to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE pr_organization_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON organization_item WITH
   (rule_action);
END_TYPE;
(*

5.2.1.6 pr_person_and_organization_item   EXPRESS-G

The pr_person_and_organization_item type is an extension of the person_and_organization_item type. It adds the data type rule_action to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE pr_person_and_organization_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON person_and_organization_item WITH
   (rule_action);
END_TYPE;
(*

5.2.1.7 rule_superseded_item   EXPRESS-G

The rule_superseded_item type allows for the designation of the data type product_definition_formation.

EXPRESS specification:

*)
TYPE rule_superseded_item = SELECT
   (product_definition_formation);
END_TYPE;
(*

5.2.2 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.2.1 abstract_variable   EXPRESS-G

An abstract_variable is a type of property_definition, property_definition_representation, representation and a type of representation_item that implements the ARM concept of Abstract_variable.

EXPRESS specification:

*)
ENTITY abstract_variable
  SUBTYPE OF (property_definition, property_definition_representation, representation, representation_item);
END_ENTITY;
(*

5.2.2.2 atomic_formula   EXPRESS-G

An atomic_formula is a type of compound_representation_item that implements the ARM concept of Atomic_formula.

EXPRESS specification:

*)
ENTITY atomic_formula
  SUBTYPE OF (compound_representation_item);
END_ENTITY;
(*

5.2.2.3 attribute_assertion   EXPRESS-G

An attribute_assertion is a type of fact_type, property_definition_representation and a type of representation that implements the ARM concept of Attribute_assertion.

EXPRESS specification:

*)
ENTITY attribute_assertion
  SUBTYPE OF (fact_type, property_definition_representation, representation);
END_ENTITY;
(*

5.2.2.4 back_chaining_rule   EXPRESS-G

An back_chaining_rule is a type of rule_definition that implements the ARM concept of Back_chaining_rule.

EXPRESS specification:

*)
ENTITY back_chaining_rule
  SUBTYPE OF (rule_definition);
END_ENTITY;
(*

5.2.2.5 back_chaining_rule_body   EXPRESS-G

An back_chaining_rule_body is a type of property_definition, property_definition_representation and a type of representation.

EXPRESS specification:

*)
ENTITY back_chaining_rule_body
  SUBTYPE OF (property_definition, property_definition_representation, representation);
END_ENTITY;
(*

5.2.2.6 complex_clause   EXPRESS-G

An complex_clause is a type of compound_representation_item that implements the ARM concept of Complex_clause.

EXPRESS specification:

*)
ENTITY complex_clause
  SUBTYPE OF (compound_representation_item);
END_ENTITY;
(*

5.2.2.7 complex_conjunctive_clause   EXPRESS-G

An complex_conjunctive_clause is a type of complex_clause that implements the ARM concept of Complex_conjunctive_clause.

EXPRESS specification:

*)
ENTITY complex_conjunctive_clause
  SUBTYPE OF (complex_clause);
END_ENTITY;
(*

5.2.2.8 complex_disjunctive_clause   EXPRESS-G

An complex_disjunctive_clause is a type of complex_clause that implements the ARM concept of Complex_disjunctive_clause.

EXPRESS specification:

*)
ENTITY complex_disjunctive_clause
  SUBTYPE OF (complex_clause);
END_ENTITY;
(*

5.2.2.9 entity_assertion   EXPRESS-G

An entity_assertion is a type of fact_type that implements the ARM concept of Entity_assertion.

EXPRESS specification:

*)
ENTITY entity_assertion
  SUBTYPE OF (fact_type);
END_ENTITY;
(*

5.2.2.10 enum_reference_prefix   EXPRESS-G

An enum_reference_prefix is a type of descriptive_representation_item that implements the ARM concept of Enum_reference_prefix.

EXPRESS specification:

*)
ENTITY enum_reference_prefix
  SUBTYPE OF (descriptive_representation_item);
END_ENTITY;
(*

5.2.2.11 extent   EXPRESS-G

An extent is a type of characterized_object that implements the ARM concept of Extent.

EXPRESS specification:

*)
ENTITY extent
  SUBTYPE OF (characterized_object);
END_ENTITY;
(*

5.2.2.12 fact_type   EXPRESS-G

An fact_type is a type of property_definition that implements the ARM concept of Fact_type.

EXPRESS specification:

*)
ENTITY fact_type
  SUBTYPE OF (property_definition);
END_ENTITY;
(*

5.2.2.13 forward_chaining_rule   EXPRESS-G

An forward_chaining_rule is a type of rule_definition that implements the ARM concept of Forward_chaining_rule.

EXPRESS specification:

*)
ENTITY forward_chaining_rule
  SUBTYPE OF (rule_definition);
END_ENTITY;
(*

5.2.2.14 forward_chaining_rule_premise   EXPRESS-G

An forward_chaining_rule_premise is a type of property_definition, property_definition_representation and a type of representation.

EXPRESS specification:

*)
ENTITY forward_chaining_rule_premise
  SUBTYPE OF (property_definition, property_definition_representation, representation);
END_ENTITY;
(*

5.2.2.15 func   EXPRESS-G

An func is a type of compound_representation_item that implements the ARM concept of Func.

EXPRESS specification:

*)
ENTITY func
  SUBTYPE OF (compound_representation_item);
END_ENTITY;
(*

5.2.2.16 global_assignment   EXPRESS-G

An global_assignment is a type of representation_item_relationship that implements the ARM concept of Global_assignment.

EXPRESS specification:

*)
ENTITY global_assignment
  SUBTYPE OF (representation_item_relationship);
END_ENTITY;
(*

5.2.2.17 ground_fact   EXPRESS-G

An ground_fact is a type of atomic_formula that implements the ARM concept of Ground_fact.

EXPRESS specification:

*)
ENTITY ground_fact
  SUBTYPE OF (atomic_formula);
END_ENTITY;
(*

5.2.2.18 literal_conjunction   EXPRESS-G

An literal_conjunction is a type of simple_clause that implements the ARM concept of Literal_conjunction.

EXPRESS specification:

*)
ENTITY literal_conjunction
  SUBTYPE OF (simple_clause);
END_ENTITY;
(*

5.2.2.19 literal_disjunction   EXPRESS-G

An literal_disjunction is a type of simple_clause that implements the ARM concept of Literal_disjunction.

EXPRESS specification:

*)
ENTITY literal_disjunction
  SUBTYPE OF (simple_clause);
END_ENTITY;
(*

5.2.2.20 row_value   EXPRESS-G

An row_value is a type of compound_representation_item that implements the ARM concept of Row_value.

EXPRESS specification:

*)
ENTITY row_value
  SUBTYPE OF (compound_representation_item);
END_ENTITY;
(*

5.2.2.21 row_variable   EXPRESS-G

An row_variable is a type of abstract_variable that implements the ARM concept of Row_variable.

EXPRESS specification:

*)
ENTITY row_variable
  SUBTYPE OF (abstract_variable);
END_ENTITY;
(*

5.2.2.22 rule_action   EXPRESS-G

A rule_action is a type of action that implements the ARM concepts of:

EXPRESS specification:

*)
ENTITY rule_action
  SUBTYPE OF (action);
END_ENTITY;
(*

5.2.2.23 rule_condition   EXPRESS-G

An rule_condition is a type of atomic_formula that implements the ARM concept of Rule_condition.

EXPRESS specification:

*)
ENTITY rule_condition
  SUBTYPE OF (atomic_formula);
END_ENTITY;
(*

5.2.2.24 rule_definition   EXPRESS-G

A rule_definition is a type of rule_software_definition that implements the ARM concept of Rule_definition.

EXPRESS specification:

*)
ENTITY rule_definition
  SUBTYPE OF (rule_software_definition);
END_ENTITY;
(*

5.2.2.25 rule_set   EXPRESS-G

A rule_set is a type of rule_software_definition that implements the ARM concept of Rule_set.

EXPRESS specification:

*)
ENTITY rule_set
  SUBTYPE OF (rule_software_definition);
END_ENTITY;
(*

5.2.2.26 rule_set_group   EXPRESS-G

A rule_set_group is a type of rule_software_definition that implements the ARM concept of Rule_set_group.

EXPRESS specification:

*)
ENTITY rule_set_group
  SUBTYPE OF (rule_software_definition);
END_ENTITY;
(*

5.2.2.27 rule_software_definition   EXPRESS-G

A rule_software_definition is a type of product_definition that implements the ARM concept of Rule_software_definition.

EXPRESS specification:

*)
ENTITY rule_software_definition
  SUBTYPE OF (product_definition);
END_ENTITY;
(*

5.2.2.28 rule_superseded_assignment   EXPRESS-G

A rule_superseded_assignment is a type of action_assignment.

EXPRESS specification:

*)
ENTITY rule_superseded_assignment
  SUBTYPE OF (action_assignment);
  items : SET[1:?] OF rule_superseded_item;
END_ENTITY;
(*

Attribute definitions:

items: specifies a role of the rule_superseded_item for the rule_superseded_assignment. There shall be one or more rule_superseded_items for a rule_superseded_assignment.

5.2.2.29 rule_supersedence   EXPRESS-G

A rule_supersedence is a type of rule_action that implements the ARM concept of Rule_supersedence.

EXPRESS specification:

*)
ENTITY rule_supersedence
  SUBTYPE OF (rule_action);
END_ENTITY;
(*

5.2.2.30 scalar_variable   EXPRESS-G

A scalar_variable is a type of abstract_variable that implements the ARM concept of Scalar_variable.

EXPRESS specification:

*)
ENTITY scalar_variable
  SUBTYPE OF (abstract_variable);
END_ENTITY;
(*

5.2.2.31 simple_clause   EXPRESS-G

A simple_clause is a type of compound_representation_item that implements the ARM concept of Simple_clause.

EXPRESS specification:

*)
ENTITY simple_clause
  SUBTYPE OF (compound_representation_item);
END_ENTITY;
(*

5.2.2.32 symbol   EXPRESS-G

A symbol is a type of representation_item that implements the ARM concept of Symbol.

EXPRESS specification:

*)
ENTITY symbol
  SUBTYPE OF (representation_item);
END_ENTITY;
(*



*)
END_SCHEMA;  -- Production_rule_mim
(*

© ISO 2019 — All rights reserved