Application module: Physical connectivity definition ISO/TS 10303-1755: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

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 Physical_connectivity_definition_mim;

USE FROM Part_external_reference_mim;    --  ISO/TS 10303-1711

USE FROM Physical_component_feature_mim;    --  ISO/TS 10303-1721

USE FROM Physical_connectivity_layout_topology_requirement_mim;    --  ISO/TS 10303-1826

USE FROM Physical_unit_design_view_mim;    --  ISO/TS 10303-1728

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

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

Part_external_reference_mim ISO/TS 10303-1711
Physical_component_feature_mim ISO/TS 10303-1721
Physical_connectivity_layout_topology_requirement_mim ISO/TS 10303-1826
Physical_unit_design_view_mim ISO/TS 10303-1728
Requirement_decomposition_mim ISO/TS 10303-1740

NOTE 2   See Annex D, Figures D.1and D.2 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 pcd_document_reference_item   EXPRESS-G

The pcd_document_reference_item type is an extension of the document_reference_item type. It adds the data types physical_connectivity_definition, and physical_connectivity_element to the list of alternate data types.

EXPRESS specification:

*)
TYPE pcd_document_reference_item = SELECT BASED_ON document_reference_item WITH
   (physical_connectivity_definition,
    physical_connectivity_element);
END_TYPE;
(*

5.2.1.2 pcd_groupable_item   EXPRESS-G

The pcd_groupable_item type is an extension of the groupable_item type. It adds the data type physical_connectivity_definition to the list of alternate data types.

EXPRESS specification:

*)
TYPE pcd_groupable_item = SELECT BASED_ON groupable_item WITH
   (physical_connectivity_definition);
END_TYPE;
(*

5.2.1.3 pcd_requirement_assigned_item   EXPRESS-G

The pcd_requirement_assigned_item type is an extension of the requirement_assigned_item type. It adds the data types shape_aspect_relationship, and physical_connectivity_definition to the list of alternate data types.

EXPRESS specification:

*)
TYPE pcd_requirement_assigned_item = SELECT BASED_ON requirement_assigned_item WITH
   (shape_aspect_relationship,
    physical_connectivity_definition);
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 make_from_connectivity_relationship   EXPRESS-G

A make_from_connectivity_relationship is a type of shape_aspect_relationship that implements the ARM concept of Physical_connectivity_make_from_relationship.

EXPRESS specification:

*)
ENTITY make_from_connectivity_relationship
  SUBTYPE OF (shape_aspect_relationship);
  SELF\shape_aspect_relationship.relating_shape_aspect : physical_connectivity_definition;
  SELF\shape_aspect_relationship.related_shape_aspect : physical_connectivity_definition;
END_ENTITY;
(*

Attribute definitions:

relating_shape_aspect: specifies a role of the physical_connectivity_definition for the make_from_connectivity_relationship.

related_shape_aspect: specifies a role of the physical_connectivity_definition for the make_from_connectivity_relationship.

5.2.2.2 physical_connectivity_definition   EXPRESS-G

A physical_connectivity_definition is a type of shape_aspect that implements the ARM concepts of:

EXPRESS specification:

*)
ENTITY physical_connectivity_definition
  SUBTYPE OF (shape_aspect);
UNIQUE
  UR1: SELF\shape_aspect.name, SELF\shape_aspect.of_shape;
END_ENTITY;
(*

Formal propositions:

UR1: The combination of name and of_shape shall be unique within a population of physical_connectivity_definitions.

NOTE    Since there may be only one product_definition for a product_definition_shape, this guarantees uniqueness within the context of the product_definition.

5.2.2.3 physical_connectivity_definition_domain   EXPRESS-G

A physical_connectivity_definition_domain is a type of property_definition that implements the ARM concept of Physical_connectivity_definition_domain.

EXPRESS specification:

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

5.2.2.4 physical_connectivity_element   EXPRESS-G

A physical_connectivity_element is a type of shape_aspect and of shape_aspect_relationship that implement the ARM concept of Physical_connectivity_element.

EXPRESS specification:

*)
ENTITY physical_connectivity_element
  SUBTYPE OF (shape_aspect_relationship, shape_aspect);
END_ENTITY;
(*

5.2.2.5 physical_connectivity_layout_topology_requirement_assignment   EXPRESS-G

A physical_connectivity_layout_topology_requirement_assignment is a type of requirement_assignment that implements the ARM concept of Physical_connectivity_layout_topology_requirement_assignment.

EXPRESS specification:

*)
ENTITY physical_connectivity_layout_topology_requirement_assignment
  SUBTYPE OF (requirement_assignment);
END_ENTITY;
(*

5.2.2.6 physical_unit_network_definition   EXPRESS-G

An physical_unit_network_definition is a type of physical_unit that implements the ARM concept of Physical_unit_network_definition.

EXPRESS specification:

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



*)
END_SCHEMA;  -- Physical_connectivity_definition_mim
(*


© ISO 2018 — All rights reserved