Application module: Machining features | ISO/TS 10303-1814:2019(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:
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 Machining_features_mim;
USE FROM
Elemental_geometric_shape_mim;
--
ISO/TS 10303-1004
USE FROM
Feature_and_connection_zone_mim;
--
ISO/TS 10303-1671
USE FROM
Group_mim;
--
ISO/TS 10303-1113
USE FROM
machining_feature_schema;
--
ISO/DIS 10303-113
USE FROM
Measure_representation_mim;
--
ISO/TS 10303-1118
USE FROM
Specification_document_mim;
--
ISO/TS 10303-1747
USE FROM
Value_with_unit_mim;
--
ISO/TS 10303-1054
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Elemental_geometric_shape_mim ISO/TS 10303-1004 Feature_and_connection_zone_mim ISO/TS 10303-1671 Group_mim ISO/TS 10303-1113 machining_feature_schema ISO/DIS 10303-113 Measure_representation_mim ISO/TS 10303-1118 Specification_document_mim ISO/TS 10303-1747 Value_with_unit_mim ISO/TS 10303-1054
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 mf_groupable_item type is an extension of the groupable_item type. It adds the data types instanced_feature, replicate_feature, and transition_feature to the list of alternate data types.
EXPRESS specification:
*)
TYPE
mf_groupable_item =
SELECT
BASED_ON
groupable_item
WITH
(instanced_feature,
replicate_feature,
transition_feature);
END_TYPE;
(*
This subclause specifies the MIM entity for this module. The MIM entity and definition is specified below.
EXPRESS specification:
*)
ENTITY face_shape_representation_relationship
SUBTYPE OF (representation_relationship);
WHERE
WR1: ('MACHINING_FEATURE_SCHEMA.FACE_SHAPE_REPRESENTATION'
IN TYPEOF(SELF.rep_1));
WR2: ('MACHINING_FEATURE_SCHEMA.FACE_SHAPE_REPRESENTATION'
IN TYPEOF(SELF.rep_2));
END_ENTITY;
(*
Formal propositions:
WR1: The face_shape_representation shall have only face_shape_representation in its rep_1.
WR2: The face_shape_representation shall have only face_shape_representation in its rep_2.
This subclause specifies the MIM rules for this module. The MIM rules and definitions are specified below.
EXPRESS specification:
*)
RULE chamfer_offset_requires_faces FOR
(chamfer_offset, property_definition_representation);
WHERE
WR1: (SIZEOF (QUERY (co <* chamfer_offset |
NOT (1 = SIZEOF (QUERY (pdr <* property_definition_representation |
((pdr\property_definition_representation.definition\property_definition.definition = co) AND
('MACHINING_FEATURE_SCHEMA.FACE_SHAPE_REPRESENTATION' IN TYPEOF (pdr.used_representation)) AND
( ((pdr\property_definition_representation.definition\property_definition.definition.description = 'first offset') AND
(pdr.used_representation.name = 'first face shape'))
OR
((pdr\property_definition_representation.definition\property_definition.definition.description = 'second offset') AND
(pdr.used_representation.name = 'second face shape'))
))
)))
))=0);
END_RULE;
(*
Argument definitions:
chamfer_offset : the set of all instances of chamfer_offset.
property_definition_representation : the set of all instances of property_definition_representation.
Formal propositions:
WR1: If the description of the chamfer_offset is 'first offset', the chamfer_offset shall have at most one face_shape_representation with a name of 'first face shape' or if the description of the chamfer_offset is 'second offset', the chamfer_offset shall have at most one face_shape_representation with a name of 'second face shape'.
EXPRESS specification:
*)
RULE chamfer_requires_faces FOR
(chamfer, property_definition_representation);
WHERE
WR1: (SIZEOF (QUERY (cf <* chamfer |
NOT (1 = SIZEOF (QUERY (pdr <* property_definition_representation |
((pdr\property_definition_representation.definition\property_definition.definition = cf) AND
('MACHINING_FEATURE_SCHEMA.FACE_SHAPE_REPRESENTATION'
IN TYPEOF (pdr.used_representation)) AND
(pdr.used_representation.name = 'chamfer face'))
)))
))=0);
END_RULE;
(*
Argument definitions:
chamfer : the set of all instances of chamfer.
property_definition_representation : the set of all instances of property_definition_representation.
Formal propositions:
WR1: The chamfer shall have exactly one face_shape_representation in the role of the chamfer face.
EXPRESS specification:
*)
RULE edge_round_requires_faces FOR
(edge_round, property_definition_representation);
WHERE
WR1: (0 = SIZEOF (QUERY (er <* edge_round |
NOT (1 = SIZEOF (QUERY (pdr <* property_definition_representation |
((pdr\property_definition_representation.definition\property_definition.definition = er) AND
('MACHINING_FEATURE_SCHEMA.FACE_SHAPE_REPRESENTATION'
IN TYPEOF (pdr.used_representation)) AND
(pdr.used_representation.name = 'edge round face'))
)))
)));
WR2: (SIZEOF (QUERY (er <* edge_round |
NOT (1 = SIZEOF (QUERY (pdr <* property_definition_representation |
((pdr\property_definition_representation.definition\property_definition.definition = er) AND
('MACHINING_FEATURE_SCHEMA.FACE_SHAPE_REPRESENTATION'
IN TYPEOF (pdr.used_representation)) AND
(pdr.used_representation.name = 'first face shape'))
)))
))=0);
WR3: (SIZEOF (QUERY (er <* edge_round |
NOT (1 = SIZEOF (QUERY (pdr <* property_definition_representation |
((pdr\property_definition_representation.definition\property_definition.definition = er) AND
('MACHINING_FEATURE_SCHEMA.FACE_SHAPE_REPRESENTATION'
IN TYPEOF (pdr.used_representation)) AND
(pdr.used_representation.name = 'second face shape'))
)))
))=0);
END_RULE;
(*
Argument definitions:
edge_round : the set of all instances of edge_round.
property_definition_representation : the set of all instances of property_definition_representation.
Formal propositions:
WR1: The edge_round shall have exactly one face_shape_representation with a name of 'edge round face'.
WR2: The edge_round shall have exactly one face_shape_representation with a name of 'first face shape'.
WR3: The edge_round shall have exactly one face_shape_representation with a name of 'second face shape'.
EXPRESS specification:
*)
RULE transition_feature_on_part_boundary FOR
(transition_feature);
WHERE
WR1: SIZEOF (QUERY (tf <* transition_feature |
NOT (tf.product_definitional))) = 0;
END_RULE;
(*
Argument definitions:
transition_feature : the set of all instances of transition_feature.
Formal propositions:
WR1: For each instance of transition_feature, product_definitional shall have a value of true.
*)
END_SCHEMA; -- Machining_features_mim
(*
© ISO 2019 — All rights reserved