Application module: Machining features ISO/TS 10303-1814:2019(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
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 definition
     5.2.3 MIM rule 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 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.

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

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

5.2.2 MIM entity definition

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

5.2.2.1 face_shape_representation_relationship   EXPRESS-G

A face_shape_representation_relationship is a type of representation_relationship that is the representation of several face_shape_representation and their relationship to one another.

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.

5.2.3 MIM rule definitions

This subclause specifies the MIM rules for this module. The MIM rules and definitions are specified below.

5.2.3.1 chamfer_offset_requires_faces

The chamfer_offset_requires_faces rule specifies that all instances of chamfer_offset require face_shape_representation.

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

5.2.3.2 chamfer_requires_faces

The chamfer_requires_faces rule specifies that all instances of chamfer require face_shape_representation.

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.

5.2.3.3 edge_round_requires_faces

The edge_round_requires_faces rule specifies that all instances of edge_round require face_shape_representation.

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

5.2.3.4 transition_feature_on_part_boundary

The transition_feature_on_part_boundary rule specifies that each instance of transition_feature shall lie on the boundary of the part for which it is defined.

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