Application module: Bare die ISO/TS 10303-1650: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
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 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 Bare_die_mim;

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

USE FROM Non_feature_shape_element_mim;    --  ISO/TS 10303-1706

USE FROM Functional_assignment_to_part_mim;    --  ISO/TS 10303-1674

USE FROM Part_feature_function_mim;    --  ISO/TS 10303-1712

USE FROM Functional_usage_view_mim;    --  ISO/TS 10303-1705
(*

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

Geometric_tolerance_mim ISO/TS 10303-1051
Non_feature_shape_element_mim ISO/TS 10303-1706
Functional_assignment_to_part_mim ISO/TS 10303-1674
Part_feature_function_mim ISO/TS 10303-1712
Functional_usage_view_mim ISO/TS 10303-1705

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

5.2.1 MIM entity definitions

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

5.2.1.1 bare_die   EXPRESS-G

A bare_die is a type of physical_unit that implements the ARM concept of Bare_die.

EXPRESS specification:

*)
ENTITY bare_die
  SUBTYPE OF (physical_unit);
END_ENTITY;
(*

5.2.1.2 bare_die_bottom_surface   EXPRESS-G

A bare_die_bottom_surface is a type of bare_die_surface that implements the ARM concept of Bare_die_bottom_surface.

EXPRESS specification:

*)
ENTITY bare_die_bottom_surface
  SUBTYPE OF (bare_die_surface);
END_ENTITY;
(*

5.2.1.3 bare_die_edge_segment_surface   EXPRESS-G

A bare_die_edge_segment_surface is a type of shape_aspect and shape_aspect_relationship that implements the ARM concept of Bare_die_edge_segment_surface.

EXPRESS specification:

*)
ENTITY bare_die_edge_segment_surface
  SUBTYPE OF (shape_aspect, shape_aspect_relationship);
  SELF\shape_aspect_relationship.relating_shape_aspect : edge_segment_vertex;
  SELF\shape_aspect_relationship.related_shape_aspect : edge_segment_vertex;
WHERE
  WR1: SELF\shape_aspect_relationship.relating_shape_aspect :<>: SELF\shape_aspect_relationship.related_shape_aspect;
END_ENTITY;
(*

Attribute definitions:

relating_shape_aspect: specifies a role of the edge_segment_vertex for the bare_die_edge_segment_surface.

related_shape_aspect: specifies a role of the edge_segment_vertex for the bare_die_edge_segment_surface.

Formal propositions:

WR1: The related_shape_aspect shall not be equal to relating_shape_aspect.

5.2.1.4 bare_die_edge_surface   EXPRESS-G

A bare_die_edge_surface is a type of bare_die_surface that implements the ARM concept of Bare_die_edge_surface.

EXPRESS specification:

*)
ENTITY bare_die_edge_surface
  SUBTYPE OF (bare_die_surface);
WHERE
  WR1: SELF\shape_aspect.product_definitional;
  WR2: SIZEOF(TYPEOF(SELF) - TYPEOF(SELF\shape_aspect || SELF\part_mounting_feature || SELF\bare_die_edge_surface || SELF\bare_die_surface)) = 0;
END_ENTITY;
(*

Formal propositions:

WR1: The bare_die_edge_surface shall be on the boundary of the product.

WR2: The bare_die_edge_surface shall be no other subtype of shape_aspect.

5.2.1.5 bare_die_surface   EXPRESS-G

A bare_die_surface is a type of part_mounting_feature that implements the ARM concept of Bare_die_surface. A bare_die_surface is one of a bare_die_bottom_surface, a bare_die_top_surface, or a bare_die_edge_surface.

EXPRESS specification:

*)
ENTITY bare_die_surface
  ABSTRACT SUPERTYPE OF (ONEOF (bare_die_bottom_surface,
                                bare_die_top_surface,
                                bare_die_edge_surface))
  SUBTYPE OF (part_mounting_feature);
  SELF\shape_aspect.of_shape : bare_die;
WHERE
  WR1: SELF\shape_aspect.product_definitional;
END_ENTITY;
(*

Attribute definitions:

of_shape: an attribute inherited from the shape_aspect shall be redeclared as the bare_die for the bare_die_surface.

Formal propositions:

WR1: The bare_die_surface shall be on the boundary of the product.

5.2.1.6 bare_die_template_terminal   EXPRESS-G

A bare_die_template_terminal is a type of part_feature_template_definition and a type of shape_aspect that implements the ARM concept of Bare_die_template_terminal.

EXPRESS specification:

*)
ENTITY bare_die_template_terminal
  SUBTYPE OF (part_feature_template_definition, shape_aspect);
END_ENTITY;
(*

5.2.1.7 bare_die_terminal   EXPRESS-G

A bare_die_terminal is a type of minimally_defined_bare_die_terminal and a type of placed_feature that implements the ARM concept of Bare_die_terminal.

EXPRESS specification:

*)
ENTITY bare_die_terminal
  SUBTYPE OF (minimally_defined_bare_die_terminal, placed_feature);
END_ENTITY;
(*

5.2.1.8 bare_die_top_surface   EXPRESS-G

A bare_die_top_surface is a type of bare_die_surface that implements the ARM concept of Bare_die_top_surface.

EXPRESS specification:

*)
ENTITY bare_die_top_surface
  SUBTYPE OF (bare_die_surface);
WHERE
  WR1: SELF\shape_aspect.product_definitional;
  WR2: SIZEOF(TYPEOF(SELF) - TYPEOF(SELF\shape_aspect || SELF\part_mounting_feature || SELF\bare_die_top_surface || SELF\bare_die_surface)) = 0;
END_ENTITY;
(*

Formal propositions:

WR1: The bare_die_top_surface shall be on the boundary of the product.

WR2: The bare_die_top_surface shall be no other subtype of shape_aspect.

5.2.1.9 minimally_defined_bare_die_terminal   EXPRESS-G

A minimally_defined_bare_die_terminal is a type of shape_aspect that implements the ARM concepts of Guided_wave_bare_die_terminal or Minimally_defined_bare_die_terminal. A minimally_defined_bare_die_terminal may be a bare_die_terminal.

EXPRESS specification:

*)
ENTITY minimally_defined_bare_die_terminal
  SUPERTYPE OF (bare_die_terminal)
  SUBTYPE OF (shape_aspect);
  SELF\shape_aspect.of_shape : bare_die;
END_ENTITY;
(*

Attribute definitions:

of_shape: an attribute inherited from the shape_aspect shall be redeclared as the bare_die for the minimally_defined_bare_die_terminal.



*)
END_SCHEMA;  -- Bare_die_mim
(*


© ISO 2018 — All rights reserved