Application module: Fabrication technology ISO/TS 10303-1670:2018-11(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
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
     5.2.3 MIM subtype constraint 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 Fabrication_technology_mim;

USE FROM Constructive_solid_geometry_2d_mim;    --  ISO/TS 10303-1731

USE FROM Geometric_tolerance_mim;    --  ISO/TS 10303-1051

USE FROM Requirement_decomposition_mim;    --  ISO/TS 10303-1740

USE FROM Part_template_mim;    --  ISO/TS 10303-1722
(*

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

Constructive_solid_geometry_2d_mim ISO/TS 10303-1731
Geometric_tolerance_mim ISO/TS 10303-1051
Requirement_decomposition_mim ISO/TS 10303-1740
Part_template_mim ISO/TS 10303-1722

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 ft_classification_item   EXPRESS-G

The ft_classification_item type is an extension of the classification_item type. It adds the data type stratum_technology_occurrence_relationship 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 ft_classification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON classification_item WITH
   (stratum_technology_occurrence_relationship);
END_TYPE;
(*

5.2.1.2 ft_document_reference_item   EXPRESS-G

The ft_document_reference_item type is an extension of the document_reference_item type. It adds the data types passage_technology, stratum_technology, and stratum_surface_technology 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 ft_document_reference_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON document_reference_item WITH
   (passage_technology,
    stratum_technology,
    stratum_surface_technology);
END_TYPE;
(*

5.2.1.3 ft_external_identification_item   EXPRESS-G

The ft_external_identification_item type is an extension of the external_identification_item type. It adds the data type stratum_technology 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 ft_external_identification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON external_identification_item WITH
   (stratum_technology);
END_TYPE;
(*

5.2.1.4 ft_requirement_assigned_item   EXPRESS-G

The ft_requirement_assigned_item type is an extension of the requirement_assigned_item type. It adds the data types passage_technology, stratum_technology, stratum_technology_occurrence, and stratum_technology_occurrence_relationship 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 ft_requirement_assigned_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON requirement_assigned_item WITH
   (passage_technology,
    stratum_technology,
    stratum_technology_occurrence,
    stratum_technology_occurrence_relationship);
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 allocated_passage_minimum_annular_ring   EXPRESS-G

An allocated_passage_minimum_annular_ring is a type of characterized_object that implements the ARM concept of Allocated_passage_minimum_annular_ring.

EXPRESS specification:

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

5.2.2.2 copy_stratum_technology_occurrence_relationship   EXPRESS-G

A copy_stratum_technology_occurrence_relationship is a type of derived_stratum_technology_occurrence_relationship that implements the ARM concept of Copy_stratum_technology_occurrence_relationship.

EXPRESS specification:

*)
ENTITY copy_stratum_technology_occurrence_relationship
  SUBTYPE OF (derived_stratum_technology_occurrence_relationship);
END_ENTITY;
(*

5.2.2.3 derived_stratum_technology_occurrence_relationship   EXPRESS-G

A derived_stratum_technology_occurrence_relationship is a type of stratum_technology_occurrence_relationship that implements the ARM concept of Derived_stratum_technology_occurrence_relationship. A derived_stratum_technology_occurrence_relationship is either a copy_stratum_technology_occurrence_relationship or an inverse_copy_stratum_technology_occurrence_relationship.

EXPRESS specification:

*)
ENTITY derived_stratum_technology_occurrence_relationship
  ABSTRACT SUPERTYPE OF (ONEOF (copy_stratum_technology_occurrence_relationship,
                                inverse_copy_stratum_technology_occurrence_relationship))
  SUBTYPE OF (stratum_technology_occurrence_relationship);
END_ENTITY;
(*

5.2.2.4 design_stack_model   EXPRESS-G

A design_stack_model is a type of stratum_stack_model that implements the ARM concept of Design_stack_model.

EXPRESS specification:

*)
ENTITY design_stack_model
  SUBTYPE OF (stratum_stack_model);
END_ENTITY;
(*

5.2.2.5 equivalent_stackup_model_definition   EXPRESS-G

An equivalent_stackup_model_definition is a type of product_definition and a type of product_definition_relationship that implements the ARM concept of Equivalent_stackup_model_definition.

EXPRESS specification:

*)
ENTITY equivalent_stackup_model_definition
  SUBTYPE OF (product_definition, product_definition_relationship);
  SELF\product_definition_relationship.relating_product_definition RENAMED primary_stackup_model : stratum_stack_model;
  SELF\product_definition_relationship.related_product_definition RENAMED equivalent_stackup_model : stratum_stack_model;
WHERE
  WR1: primary_stackup_model :<>: equivalent_stackup_model;
END_ENTITY;
(*

Attribute definitions:

primary_stackup_model: specifies a role of the stratum_stack_model for the equivalent_stackup_model_definition.

equivalent_stackup_model: specifies a role of the stratum_stack_model for the equivalent_stackup_model_definition.

Formal propositions:

WR1: The primary_stackup_model shall not be equal to the equivalent_stackup_model.

5.2.2.6 equivalent_sub_stack_definition   EXPRESS-G

An equivalent_sub_stack_definition is a type of product_definition that implements the ARM concept of Equivalent_sub_stack_definition.

EXPRESS specification:

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

5.2.2.7 footprint_library_stratum_technology   EXPRESS-G

A footprint_library_stratum_technology is a type of stratum_technology that implements the ARM concept of Footprint_library_stratum_technology.

EXPRESS specification:

*)
ENTITY footprint_library_stratum_technology
  SUBTYPE OF (stratum_technology);
END_ENTITY;
(*

5.2.2.8 impedance_measurement_setup_requirement   EXPRESS-G

An impedance_measurement_setup_requirement is a type of predefined_requirement_view_definition that implements the ARM concept of Impedance_measurement_setup_requirement.

EXPRESS specification:

*)
ENTITY impedance_measurement_setup_requirement
  SUBTYPE OF (predefined_requirement_view_definition);
END_ENTITY;
(*

5.2.2.9 impedance_requirement   EXPRESS-G

An impedance_requirement is a type of predefined_requirement_view_definition that implements the ARM concept of Impedance_requirement.

EXPRESS specification:

*)
ENTITY impedance_requirement
  SUBTYPE OF (predefined_requirement_view_definition);
END_ENTITY;
(*

5.2.2.10 inverse_copy_stratum_technology_occurrence_relationship   EXPRESS-G

A inverse_copy_stratum_technology_occurrence_relationship is a type of derived_stratum_technology_occurrence_relationship that implements the ARM concept of Inverse_copy_stratum_technology_occurrence_relationship.

EXPRESS specification:

*)
ENTITY inverse_copy_stratum_technology_occurrence_relationship
  SUBTYPE OF (derived_stratum_technology_occurrence_relationship);
END_ENTITY;
(*

5.2.2.11 local_linear_stack   EXPRESS-G

A local_linear_stack is a type of stratum_sub_stack that implements the ARM concept of Local_linear_stack.

EXPRESS specification:

*)
ENTITY local_linear_stack
  SUBTYPE OF (stratum_sub_stack);
END_ENTITY;
(*

5.2.2.12 passage_deposition_material_identification   EXPRESS-G

A passage_deposition_material_identification is a type of material_designation that implements the ARM concept of Passage_deposition_material_identification.

EXPRESS specification:

*)
ENTITY passage_deposition_material_identification
  SUBTYPE OF (material_designation);
  SELF\material_designation.definitions : SET[1:?] OF passage_technology;
END_ENTITY;
(*

Attribute definitions:

definitions: an inherited attribute shall be of type passage_technology for the passage_deposition_material_identification. There shall exist one or more passage_technologies for the passage_deposition_material_identification.

5.2.2.13 passage_filling_material_identification   EXPRESS-G

A passage_filling_material_identification is a type of material_designation that implements the ARM concept of Passage_filling_material_identification.

EXPRESS specification:

*)
ENTITY passage_filling_material_identification
  SUBTYPE OF (material_designation);
  SELF\material_designation.definitions : SET[1:?] OF passage_technology;
END_ENTITY;
(*

Attribute definitions:

definitions: an inherited attribute shall be of type passage_technology for the passage_filling_material_identification. There shall exist one or more passage_technologies for the passage_filling_material_identification.

5.2.2.14 passage_technology   EXPRESS-G

A passage_technology is a type of characterized_object and a type of product_definition_shape that implements the ARM concept of Passage_technology.

EXPRESS specification:

*)
ENTITY passage_technology
  SUBTYPE OF (characterized_object, product_definition_shape);
DERIVE
  SELF\property_definition.definition : characterized_definition := SELF;
UNIQUE
  UR1: SELF\characterized_object.name;
END_ENTITY;
(*

Attribute definitions:

definition: an inherited attribute shall be of type characterized_definition for the passage_technology.

Formal propositions:

UR1: The name shall be unique within a population of the passage_technology.

5.2.2.15 passage_technology_allocation_to_stack_model   EXPRESS-G

A passage_technology_allocation_to_stack_model is a type of stratum_sub_stack that implements the ARM concept of Passage_technology_allocation_to_stack_model.

EXPRESS specification:

*)
ENTITY passage_technology_allocation_to_stack_model
  SUBTYPE OF (stratum_sub_stack);
END_ENTITY;
(*

5.2.2.16 stratum_stack_model   EXPRESS-G

A stratum_stack_model is a type of part_template_definition that implements the ARM concept of Stratum_stack_model.

EXPRESS specification:

*)
ENTITY stratum_stack_model
  ABSTRACT SUPERTYPE
  SUBTYPE OF (part_template_definition);
END_ENTITY;
(*

5.2.2.17 stratum_sub_stack   EXPRESS-G

A stratum_sub_stack is a type of part_template_definition that implements the ARM concept of Stratum_sub_stack. A stratum_sub_stack is either local_linear_stack or a passage_technology_allocation_to_stack_model.

EXPRESS specification:

*)
ENTITY stratum_sub_stack
  ABSTRACT SUPERTYPE OF (ONEOF (local_linear_stack,
                                passage_technology_allocation_to_stack_model))
  SUBTYPE OF (part_template_definition);
END_ENTITY;
(*

5.2.2.18 stratum_surface_technology   EXPRESS-G

A stratum_surface_technology is a type of shape_aspect that implements the ARM concept of Stratum_surface_technology.

EXPRESS specification:

*)
ENTITY stratum_surface_technology
  SUBTYPE OF (shape_aspect);
  SELF\shape_aspect.of_shape RENAMED associated_technology : stratum_technology;
END_ENTITY;
(*

Attribute definitions:

associated_technology: specifies a role of the stratum_technology for the stratum_surface_technology.

5.2.2.19 stratum_technology   EXPRESS-G

A stratum_technology is a type of characterized_object and a type of product_definition_shape that implements the ARM concepts of:

EXPRESS specification:

*)
ENTITY stratum_technology
  SUBTYPE OF (characterized_object, product_definition_shape);
DERIVE
  SELF\property_definition.definition : characterized_definition := SELF;
UNIQUE
  UR1: SELF\characterized_object.name;
END_ENTITY;
(*

Attribute definitions:

definition: an inherited attribute shall be of type characterized_definition for the stratum_technology.

Formal propositions:

UR1: The name shall be unique within a population of stratum_technology.

5.2.2.20 stratum_technology_mapping_relationship   EXPRESS-G

A stratum_technology_mapping_relationship is a type of property_definition_relationship that implements the ARM concept of Stratum_technology_mapping_relationship.

EXPRESS specification:

*)
ENTITY stratum_technology_mapping_relationship
  SUBTYPE OF (property_definition_relationship);
END_ENTITY;
(*

5.2.2.21 stratum_technology_occurrence   EXPRESS-G

A stratum_technology_occurrence is a type of property_definition that implements the ARM concept of Stratum_technology_occurrence.

EXPRESS specification:

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

5.2.2.22 stratum_technology_occurrence_feature_constraint   EXPRESS-G

A stratum_technology_occurrence_feature_constraint is a type of stratum_technology_occurrence_relationship that implements the ARM concept of Stratum_technology_occurrence_feature_constraint.

EXPRESS specification:

*)
ENTITY stratum_technology_occurrence_feature_constraint
  SUBTYPE OF (stratum_technology_occurrence_relationship);
END_ENTITY;
(*

5.2.2.23 stratum_technology_occurrence_link   EXPRESS-G

A stratum_technology_occurrence_link is a type of stratum_technology_occurrence_relationship that implements the ARM concept of Stratum_technology_occurrence_link.

EXPRESS specification:

*)
ENTITY stratum_technology_occurrence_link
  SUBTYPE OF (stratum_technology_occurrence_relationship);
END_ENTITY;
(*

5.2.2.24 stratum_technology_occurrence_relationship   EXPRESS-G

A stratum_technology_occurrence_relationship is a type of property_definition and a type of property_definition_relationship that implements the ARM concept of Stratum_technology_occurrence_relationship. Each stratum_technology_occurrence_relationship is either a derived_stratum_technology_occurrence_relationship, a stratum_technology_occurrence_link, a stratum_technology_occurrence_feature_constraint, or a stratum_technology_occurrence_swap_relationship.

EXPRESS specification:

*)
ENTITY stratum_technology_occurrence_relationship
  ABSTRACT SUPERTYPE OF (ONEOF (derived_stratum_technology_occurrence_relationship,
                                stratum_technology_occurrence_link,
                                stratum_technology_occurrence_feature_constraint,
                                stratum_technology_occurrence_swap_relationship))
  SUBTYPE OF (property_definition, property_definition_relationship);
END_ENTITY;
(*

5.2.2.25 stratum_technology_occurrence_swap_relationship   EXPRESS-G

A stratum_technology_occurrence_swap_relationship is a type of stratum_technology_occurrence_relationship that implements the ARM concept of Stratum_technology_occurrence_swap_relationship.

EXPRESS specification:

*)
ENTITY stratum_technology_occurrence_swap_relationship
  SUBTYPE OF (stratum_technology_occurrence_relationship);
END_ENTITY;
(*

5.2.2.26 stratum_technology_swap_relationship   EXPRESS-G

A stratum_technology_swap_relationship is a type of property_definition_relationship that implements the ARM concept of Stratum_technology_swap_relationship.

EXPRESS specification:

*)
ENTITY stratum_technology_swap_relationship
  SUBTYPE OF (property_definition_relationship);
END_ENTITY;
(*

5.2.3 MIM subtype constraint definitions

This subclause specifies the MIM subtype constraints for this module. Each subtype constraint places constraints on the possible super-type / subtype instantiations. The MIM subtype constraints and definitions are specified below.

5.2.3.1 ft_property_definition_subtypes   EXPRESS-G

The ft_property_definition_subtypes constraint specifies a constraint that applies to instances of subtypes of property_definition.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT ft_property_definition_subtypes FOR property_definition;
  ONEOF (stratum_technology_occurrence_relationship,
         stratum_technology_occurrence);
END_SUBTYPE_CONSTRAINT;
(*

5.2.3.2 ft_property_definition_relationship_subtypes   EXPRESS-G

The ft_property_definition_relationship_subtypes constraint specifies a constraint that applies to instances of subtypes of property_definition_relationship.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT ft_property_definition_relationship_subtypes FOR property_definition_relationship;
  ONEOF (stratum_technology_occurrence_relationship,
         stratum_technology_swap_relationship);
END_SUBTYPE_CONSTRAINT;
(*



*)
END_SCHEMA;  -- Fabrication_technology_mim
(*


© ISO 2018 — All rights reserved