|
|
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:
-
use of a supertype entity does not make applicable any of its
specializations, unless the specialization is also imported in the
MIM schema;
-
use of a SELECT type does not make applicable any of its listed types
unless the listed type is also imported in the MIM schema.
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.
A basic_multi_stratum_printed_part_template is a type of
printed_part_template
that implements the ARM concept of
Basic_multi_stratum_printed_part_template.
EXPRESS specification:
*)
ENTITY basic_multi_stratum_printed_part_template
SUBTYPE OF (printed_part_template);
END_ENTITY;
(*
A multi_stratum_printed_part_template is a type of
multi_stratum_structured_template
and a type of
structured_printed_part_template
that implements the ARM concept of
Multi_stratum_printed_part_template.
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:
A printed_part_template_terminal may be either a
printed_part_cross_section_template_terminal
or a
structured_printed_part_template_terminal,
or a
printed_part_cross_section_template_terminal
and a
structured_printed_part_template_terminal.
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;
(*
A printed_tiebar_template is a type of
structured_printed_part_template
that implements the ARM concept of
Printed_tiebar_template.
EXPRESS specification:
*)
ENTITY printed_tiebar_template
SUBTYPE OF (structured_printed_part_template);
END_ENTITY;
(*
A single_stratum_printed_part_template is a type of
single_stratum_structured_template
and a type of
structured_printed_part_template
that implements the ARM concept of
Single_stratum_printed_part_template.
EXPRESS specification:
*)
ENTITY single_stratum_printed_part_template
SUBTYPE OF (structured_printed_part_template, single_stratum_structured_template);
END_ENTITY;
(*
A structured_printed_part_template is a type of
printed_part_template
and a type of
structured_template
that implements the ARM concept of
Structured_printed_part_template.
A structured_printed_part_template is either a
single_stratum_printed_part_template
or a
multi_stratum_printed_part_template.
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;
(*
A structured_printed_part_template_terminal is a type of
printed_part_template_terminal
that implements the ARM concept of
Structured_printed_part_template_terminal.
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.
The pplt_part_template_definition_subtypes constraint specifies a constraint that applies to instances of subtypes of
part_template_definition
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
