|
|
Application module:
Physical connectivity definition |
ISO/TS 10303-1755:2018-11(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 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.
This subclause specifies the MIM types
for this application module. The MIM types and
definitions are specified below.
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;
(*
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;
(*
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;
(*
This subclause specifies the MIM entities for this
module. The MIM entities and definitions are specified below.
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.
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.
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;
(*
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;
(*
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;
(*
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
