Application module: Printed physical layout template | ISO/TS 10303-1737:2021(E) © ISO |
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 Printed_physical_layout_template_mim;
USE FROM
Functional_usage_view_mim;
--
ISO/TS 10303-1705
USE FROM
Layered_interconnect_complex_template_mim;
--
ISO/TS 10303-1716
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Functional_usage_view_mim ISO/TS 10303-1705 Layered_interconnect_complex_template_mim ISO/TS 10303-1716
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM type for this application module. The MIM type and definition is specified below.
The pplt_groupable_item type is an extension of the groupable_item type. It adds the data type printed_part_template_terminal to the list of alternate data types.
EXPRESS specification:
*)
TYPE
pplt_groupable_item =
SELECT
BASED_ON
groupable_item
WITH
(printed_part_template_terminal);
END_TYPE;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY basic_multi_stratum_printed_part_template
SUBTYPE OF (printed_part_template);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY multi_stratum_printed_part_template
SUBTYPE OF (structured_printed_part_template, multi_stratum_structured_template);
END_ENTITY;
(*
A non_conductive_cross_section_template is a type of part_template_definition that implements the ARM concept of Non_conductive_cross_section_template.
EXPRESS specification:
*)
ENTITY non_conductive_cross_section_template
SUBTYPE OF (part_template_definition);
END_ENTITY;
(*
A printed_connector_template is a type of printed_part_template that implements the ARM concept of Printed_connector_template.
EXPRESS specification:
*)
ENTITY printed_connector_template
SUBTYPE OF (printed_part_template);
END_ENTITY;
(*
A printed_connector_template_terminal_relationship is a type of shape_aspect and a type of shape_aspect_relationship that implements the ARM concept of Printed_connector_template_terminal_relationship.
EXPRESS specification:
*)
ENTITY printed_connector_template_terminal_relationship
SUBTYPE OF (shape_aspect, shape_aspect_relationship);
UNIQUE
UR1: SELF\shape_aspect_relationship.relating_shape_aspect, SELF\shape_aspect_relationship.related_shape_aspect;
WHERE
WR1: SELF\shape_aspect_relationship.relating_shape_aspect :<>:
SELF\shape_aspect_relationship.related_shape_aspect;
END_ENTITY;
(*
Formal propositions:
UR1: The combination of related and relating shape_aspects shall be unique within a population of printed_connector_template_terminal_relationships.
WR1: The related and relating shape aspects shall not be the same shape_aspect.
A printed_part_cross_section_template is a type of printed_part_template that implements the ARM concept of Printed_part_cross_section_template.
EXPRESS specification:
*)
ENTITY printed_part_cross_section_template
SUBTYPE OF (printed_part_template);
END_ENTITY;
(*
A printed_part_cross_section_template_terminal is a type of printed_part_template_terminal that implements the ARM concept of Printed_part_cross_section_template_terminal.
EXPRESS specification:
*)
ENTITY printed_part_cross_section_template_terminal
SUBTYPE OF (printed_part_template_terminal);
END_ENTITY;
(*
A printed_part_template is a type of part_template_definition that implements the ARM concept of Printed_part_template. A printed_part_template is either a basic_multi_stratum_printed_part_template or a structured_printed_part_template, or a printed_connector_template, or a basic_multi_stratum_printed_part_template and a printed_connector_template, or a structured_printed_part_template and a printed_connector_template.
EXPRESS specification:
*)
ENTITY printed_part_template
ABSTRACT SUPERTYPE
OF (ONEOF (basic_multi_stratum_printed_part_template,
structured_printed_part_template)
ANDOR printed_connector_template)
SUBTYPE OF (part_template_definition);
END_ENTITY;
(*
A printed_part_template_connected_terminals_definition is a type of shape_aspect that implements the ARM concept of Printed_part_template_connected_terminals_definition.
EXPRESS specification:
*)
ENTITY printed_part_template_connected_terminals_definition
SUBTYPE OF (shape_aspect);
UNIQUE
UR1: SELF\shape_aspect.name;
END_ENTITY;
(*
Formal propositions:
UR1: The name shall be unique within a population of printed_part_template_connected_terminals_definitions.
A printed_part_template_material is a type of product_definition that implements the ARM concept of: Printed_part_template_material
EXPRESS specification:
*)
ENTITY printed_part_template_material
SUBTYPE OF (product_definition);
END_ENTITY;
(*
A printed_part_template_material_link is a type of shape_aspect and a type of shape_aspect_relationship that implements the ARM concept of Printed_part_template_material_link.
EXPRESS specification:
*)
ENTITY printed_part_template_material_link
SUBTYPE OF (shape_aspect, shape_aspect_relationship);
SELF\shape_aspect_relationship.relating_shape_aspect : template_material_cross_section_boundary;
SELF\shape_aspect_relationship.related_shape_aspect : template_material_cross_section_boundary;
UNIQUE
UR1: related_shape_aspect, relating_shape_aspect;
WHERE
WR1: SELF\shape_aspect_relationship.related_shape_aspect :<>:
SELF\shape_aspect_relationship.relating_shape_aspect;
END_ENTITY;
(*
Attribute definitions:
relating_shape_aspect: specifies the role of the template_material_cross_section_boundary for the printed_part_template_material_link.
related_shape_aspect: specifies the role of the template_material_cross_section_boundary for the printed_part_template_material_link.
Formal propositions:
UR1: The combination of relating_shape_aspect and related_shape_aspect shall be unique within a population of printed_part_template_material_links.
WR1: The related boundary shall not be the relating boundary.
A printed_part_template_terminal is a type of shape_aspect that implements the ARM concepts of:
EXPRESS specification:
*)
ENTITY printed_part_template_terminal
SUPERTYPE OF (printed_part_cross_section_template_terminal
ANDOR structured_printed_part_template_terminal)
SUBTYPE OF (shape_aspect);
END_ENTITY;
(*
A printed_part_template_terminal_connection_zone_category is a type of group that specifies either an 'area edge segment', a 'curve edge segment', a 'surface area', or a 'surface point' for a Printed_part_template_terminal.
EXPRESS specification:
*)
ENTITY printed_part_template_terminal_connection_zone_category
SUBTYPE OF (group);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY printed_tiebar_template
SUBTYPE OF (structured_printed_part_template);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY single_stratum_printed_part_template
SUBTYPE OF (structured_printed_part_template, single_stratum_structured_template);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY structured_printed_part_template
ABSTRACT SUPERTYPE
OF (ONEOF (single_stratum_printed_part_template,
multi_stratum_printed_part_template))
SUBTYPE OF (printed_part_template, structured_template);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY structured_printed_part_template_terminal
SUBTYPE OF (printed_part_template_terminal);
END_ENTITY;
(*
A template_material_cross_section_boundary is a type of shape_aspect that implements the ARM concepts of: Template_material_cross_section_boundary.
EXPRESS specification:
*)
ENTITY template_material_cross_section_boundary
SUBTYPE OF (shape_aspect);
END_ENTITY;
(*
This subclause specifies the MIM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The MIM subtype constraint and definition is specified below.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT pplt_part_template_definition_subtypes FOR part_template_definition;
ONEOF (printed_part_template,
non_conductive_cross_section_template);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Printed_physical_layout_template_mim
(*
© ISO 2021 — All rights reserved