|
|
Application module:
Mechanical design presentation representation with draughting |
ISO/TS 10303-1315: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 Mechanical_design_presentation_representation_with_draughting_mim;
USE FROM
Associative_draughting_elements_mim;
--
ISO/TS 10303-1311
USE FROM
Characterized_representation_mim;
--
ISO/TS 10303-1805
USE FROM
Mechanical_design_geometric_presentation_mim;
--
ISO/TS 10303-1313
USE FROM
Mechanical_design_shaded_presentation_mim;
--
ISO/TS 10303-1314
USE FROM
Part_view_definition_mim;
--
ISO/TS 10303-1023
USE FROM
representation_schema
--
ISO 10303-43
(definitional_representation_relationship_with_same_context);
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Associative_draughting_elements_mim |
ISO/TS 10303-1311 |
| Characterized_representation_mim |
ISO/TS 10303-1805 |
| Mechanical_design_geometric_presentation_mim |
ISO/TS 10303-1313 |
| Mechanical_design_shaded_presentation_mim |
ISO/TS 10303-1314 |
| Part_view_definition_mim |
ISO/TS 10303-1023 |
| representation_schema |
ISO 10303-43 |
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 mechanical_design_and_draughting_relationship_select type is an
extensible list of alternate data types
that allows for the designation of the data
types
draughting_model, mechanical_design_geometric_presentation_representation, mechanical_design_shaded_presentation_representation, mechanical_design_presentation_representation_with_draughting, and shape_representation.
NOTE
The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
mechanical_design_and_draughting_relationship_select =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(draughting_model,
mechanical_design_geometric_presentation_representation,
mechanical_design_shaded_presentation_representation,
mechanical_design_presentation_representation_with_draughting,
shape_representation);
END_TYPE;
(*
This subclause specifies the MIM entities for this
module. The MIM entities and definitions are specified below.
A default_model_geometric_view is a type of
model_geometric_view
and
shape_aspect
that implements the ARM concept of
Default_model_geometric_view.
EXPRESS specification:
*)
ENTITY default_model_geometric_view
SUBTYPE OF (model_geometric_view, shape_aspect);
DERIVE
SELF\shape_aspect.product_definitional : LOGICAL := FALSE;
UNIQUE
UR1: of_shape;
WHERE
WR1: SELF\characterized_object.name = SELF\shape_aspect.name;
WR2: NOT EXISTS(SELF\characterized_object.description);
WR3: NOT EXISTS(SELF\shape_aspect.description);
END_ENTITY;
(*
Attribute definitions:
product_definitional:
the
product_definitional
shall be FALSE.
Formal propositions:
UR1:
No more than one
default_model_geometric_view
shall be provided for a specific
product_definition_shape.
WR1:
The names inherited from
model_geometric_view
and from
shape_aspect
are required to be identical.
WR2:
The description inherited is not populated.
WR3:
The description inherited is not populated.
A mechanical_design_and_draughting_relationship is a type of
definitional_representation_relationship_with_same_context
that implements the ARM concept of
Mechanical_design_and_draughting_relationship.
EXPRESS specification:
*)
ENTITY mechanical_design_and_draughting_relationship
SUBTYPE OF (definitional_representation_relationship_with_same_context);
SELF\representation_relationship.rep_1 : mechanical_design_and_draughting_relationship_select;
SELF\representation_relationship.rep_2 : mechanical_design_and_draughting_relationship_select;
WHERE
WR1: NOT('AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.'+'DRAUGHTING_MODEL' IN TYPEOF(rep_2)) OR
(('AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.'+'DRAUGHTING_MODEL' IN TYPEOF(rep_1)) OR
('PRODUCT_PROPERTY_REPRESENTATION_SCHEMA.'+'SHAPE_REPRESENTATION' IN TYPEOF(rep_1)));
WR2: NOT('AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.'+'MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION' IN TYPEOF(rep_2))
OR
(('AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.'+'MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION' IN TYPEOF(rep_1))
OR
('PRODUCT_PROPERTY_REPRESENTATION_SCHEMA.'+'SHAPE_REPRESENTATION' IN TYPEOF(rep_1)));
WR3: NOT('AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.'+'MECHANICAL_DESIGN_SHADED_PRESENTATION_REPRESENTATION' IN TYPEOF(rep_2))
OR
(('AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.'+'MECHANICAL_DESIGN_SHADED_PRESENTATION_REPRESENTATION' IN TYPEOF(rep_1)) OR
('PRODUCT_PROPERTY_REPRESENTATION_SCHEMA.'+'SHAPE_REPRESENTATION' IN TYPEOF(rep_1)));
END_ENTITY;
(*
Attribute definitions:
rep_1:
an attribute inherited from the
representation_relationship
shall be redeclared as the
mechanical_design_and_draughting_relationship_select
for the mechanical_design_and_draughting_relationship.
rep_2:
an attribute inherited from the
representation_relationship
shall be redeclared as the
mechanical_design_and_draughting_relationship_select
for the mechanical_design_and_draughting_relationship.
Formal propositions:
WR1:
If rep_2 is of type
draughting_model,
rep_1 can be either of type
draughting_model
or
shape_representation.
WR2:
If rep_2 is of type
mechanical_design_geometric_presentation_representation,
rep_1 can be either of type
mechanical_design_geometric_presentation_representation
or
shape_representation.
WR3:
If rep_2 is of type
mechanical_design_shaded_presentation_representation,
rep_1 can be either of type
mechanical_design_shaded_presentation_representation
or
shape_representation.
A mechanical_design_presentation_representation_with_draughting is a type of
representation
that implements the ARM concept of
Mechanical_design_presentation_representation_with_draughting.
EXPRESS specification:
*)
ENTITY mechanical_design_presentation_representation_with_draughting
SUBTYPE OF (representation);
SELF\representation.items : SET[1:?] OF camera_model_d3;
END_ENTITY;
(*
Attribute definitions:
items:
an attribute inherited from the
representation
shall be redeclared as the
camera_model_d3
for the mechanical_design_presentation_representation_with_draughting.
A model_geometric_view is a type of
characterized_item_within_representation
that implements the ARM concept of
Model_geometric_view.
EXPRESS specification:
*)
ENTITY model_geometric_view
SUBTYPE OF (characterized_item_within_representation);
SELF\characterized_item_within_representation.rep : draughting_model;
SELF\characterized_item_within_representation.item : camera_model;
END_ENTITY;
(*
Attribute definitions:
rep:
the representation from characterized_item_within_representation shall be redeclared as a
draughting_model
item:
the item from characterized_item_within_representation shall be redeclared as a
camera_model
*)
END_SCHEMA; -- Mechanical_design_presentation_representation_with_draughting_mim
(*
© ISO 2018 — All rights reserved
