Application module: Printed physical layout template ISO/TS 10303-1737:2021(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 subtype constraint definition
   4.5 ARM function definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definition
     5.2.2 MIM entity definitions
     5.2.3 MIM subtype constraint definition

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 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.

5.2.1 MIM type definition

This subclause specifies the MIM type for this application module. The MIM type and definition is specified below.

5.2.1.1 pplt_groupable_item   EXPRESS-G

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

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

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

5.2.2.2 multi_stratum_printed_part_template   EXPRESS-G

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

5.2.2.3 non_conductive_cross_section_template   EXPRESS-G

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

5.2.2.4 printed_connector_template   EXPRESS-G

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

5.2.2.5 printed_connector_template_terminal_relationship   EXPRESS-G

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.

5.2.2.6 printed_part_cross_section_template   EXPRESS-G

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

5.2.2.7 printed_part_cross_section_template_terminal   EXPRESS-G

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

5.2.2.8 printed_part_template   EXPRESS-G

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

5.2.2.9 printed_part_template_connected_terminals_definition   EXPRESS-G

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.

5.2.2.10 printed_part_template_material   EXPRESS-G

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

5.2.2.11 printed_part_template_material_link   EXPRESS-G

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.

5.2.2.12 printed_part_template_terminal   EXPRESS-G

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

5.2.2.13 printed_part_template_terminal_connection_zone_category   EXPRESS-G

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

5.2.2.14 printed_tiebar_template   EXPRESS-G

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

5.2.2.15 single_stratum_printed_part_template   EXPRESS-G

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

5.2.2.16 structured_printed_part_template   EXPRESS-G

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

5.2.2.17 structured_printed_part_template_terminal   EXPRESS-G

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

5.2.2.18 template_material_cross_section_boundary   EXPRESS-G

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

5.2.3 MIM subtype constraint definition

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.

5.2.3.1 pplt_part_template_definition_subtypes   EXPRESS-G

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