Application module: Default tolerance ISO/TS 10303-1052:2014-02(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
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 definitions
     5.2.3 MIM function 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 Application module implementation and usage guide
G 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:

EXPRESS specification:

*)
SCHEMA Default_tolerance_mim;

USE FROM Document_assignment_mim;    --  ISO/TS 10303-1122

USE FROM Foundation_representation_mim;    --  ISO/TS 10303-1006

USE FROM Measure_representation_mim;    --  ISO/TS 10303-1118

USE FROM Default_setting_association_mim;    --  ISO/TS 10303-1809

USE FROM representation_schema    --  ISO 10303-43
  (compound_item_definition,
   compound_representation_item,
   representation,
   set_representation_item);
(*

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

Document_assignment_mim ISO/TS 10303-1122
Foundation_representation_mim ISO/TS 10303-1006
Measure_representation_mim ISO/TS 10303-1118
Default_setting_association_mim ISO/TS 10303-1809
representation_schema ISO 10303-43

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

The dt_document_reference_item type is an extension of the document_reference_item type. It adds the data type property_definition to the list of alternate data types.

EXPRESS specification:

*)
TYPE dt_document_reference_item = SELECT BASED_ON document_reference_item WITH
   (property_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 default_tolerance_table   EXPRESS-G

A default_tolerance_table is a type of representation that specifies information about general tolerances. See ARM definition for General tolerance table for more information.

EXPRESS specification:

*)
ENTITY default_tolerance_table
  SUBTYPE OF (representation);
WHERE
  WR1: SIZEOF( QUERY( i <* SELF.items | NOT('DEFAULT_TOLERANCE_MIM.DEFAULT_TOLERANCE_TABLE_CELL' IN TYPEOF(i)) )) = 0;
  WR2: (SIZEOF( QUERY( rr <* USEDIN(SELF,'REPRESENTATION_SCHEMA.' + 'REPRESENTATION_RELATIONSHIP.REP_1') | rr.name < 'general tolerance definition' )) = 0) AND (SIZEOF( QUERY( rr <* USEDIN(SELF,'REPRESENTATION_SCHEMA.' + 'REPRESENTATION_RELATIONSHIP.REP_1') | (rr.name = 'general tolerance definition') AND (rr.rep_2.name < 'default tolerance') )) = 0) AND (SIZEOF( USEDIN(SELF,'REPRESENTATION_SCHEMA.' + 'REPRESENTATION_RELATIONSHIP.REP_2') ) = 0);
END_ENTITY;
(*

Formal propositions:

WR1: An instance of default_tolerance_table shall contain only representation_items of type default_tolerance_table_cell in its set or items.

WR2: An instance of default_tolerance_table shall not be referenced by any representation_relationship except as rep 1 by zero or more representation_relationships with a name of 'general tolerance definition'. If such representation_relationships exist, they shall reference as rep 2 representation s with a name of 'default tolerances'.

5.2.2.2 default_tolerance_table_cell   EXPRESS-G

A default_tolerance_table_cell is a type of compound_representation_item that specifies one cell entry in a default_tolerance_table. See ARM definition for Tolerance_table_cell for more information.

EXPRESS specification:

*)
ENTITY default_tolerance_table_cell
  SUBTYPE OF (compound_representation_item);
WHERE
  WR1: SIZEOF(QUERY( x <* USEDIN(SELF,'REPRESENTATION_SCHEMA.' + 'REPRESENTATION.ITEMS') | 'DEFAULT_TOLERANCE_MIM.' + 'DEFAULT_TOLERANCE_TABLE' IN TYPEOF(x)))=1;
  WR2: default_tolerance_table_cell_wr2(SELF\compound_representation_item.item_element);
  WR3: default_tolerance_table_cell_wr3(SELF\compound_representation_item.item_element);
  WR4: default_tolerance_table_cell_wr4(SELF\compound_representation_item.item_element);
  WR5: default_tolerance_table_cell_wr5(SELF\compound_representation_item.item_element);
END_ENTITY;
(*

Formal propositions:

WR1: A default_tolerance_table_cell shall be in the set of items of exactly one default_tolerance_table .

WR2: Each instance of default_tolerance_table_cell shall refer to at most five representation_item.

WR3: Either exactly one representation_item in the set of item elements shall be a measure_representation_item with the name of 'significant number of digits' or there shall be two representation_items of type measure_representation_item where one of them has the name of 'lower limit' and the other one has the name of 'upper limit'.

WR4: Either exactly one representation_item in the set of item elements shall be a measure_representation_item with the name of 'plus minus tolerance value' or there shall be two representation_items of type measure_representation_item where one of them has the name of 'lower tolerance value' and the other one has the name of 'upper tolerance value'.

WR5: At most one representation_item in the set of item elements shall be of type descriptive_representation_item. If present, this descriptive_representation_item shall have a name of 'cell description'.

5.2.3 MIM function definitions

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

5.2.3.1 default_tolerance_table_cell_wr2

The default_tolerance_table_cell_wr2 function accepts an AGGREGATE of representation items as input and returns a Boolean result. The function will return TRUE if the size of the aggregate is less or equal to five. Else it will return FALSE.

NOTE    This function realises the second local rule of default_tolerance_table_cell.

EXPRESS specification:

*)
FUNCTION default_tolerance_table_cell_wr2 (agg : compound_item_definition) : BOOLEAN;
BEGIN 
IF SIZEOF(agg) <= 5 THEN 
  RETURN(TRUE); 
ELSE 
  RETURN(FALSE); 
END_IF; 
END;
END_FUNCTION;
(*

Argument definitions:

agg: the aggregate of instances which are tested.

5.2.3.2 default_tolerance_table_cell_wr3

The default_tolerance_table_cell_wr3 function accepts an AGGREGATE of representation items as input and returns a Boolean result. The function will return TRUE if the aggregate contains three measure_representation_items with names 'significant number of digits', 'upper limit', and 'lower limit'. Else it will return FALSE.

NOTE    This function realises the third local rule of default_tolerance_table_cell.

EXPRESS specification:

*)
FUNCTION default_tolerance_table_cell_wr3 (agg : compound_item_definition) : BOOLEAN;
BEGIN 
IF (SIZEOF(QUERY ( i <* agg | (('DEFAULT_TOLERANCE_MIM.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(i)) 
  AND (i\representation_item.name = 'significant number of digits')) )) = 1) OR 
((SIZEOF(QUERY ( i <* agg | (('DEFAULT_TOLERANCE_MIM.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(i)) AND 
  (i\representation_item.name = 'lower limit')) )) = 1) AND 
(SIZEOF( QUERY ( i <* agg | (('DEFAULT_TOLERANCE_MIM.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(i)) AND 
  (i\representation_item.name = 'upper limit')) )) = 1)) THEN 
  RETURN(TRUE); 
ELSE 
  RETURN(FALSE); 
END_IF; 
END;
END_FUNCTION;
(*

Argument definitions:

agg: the aggregate of instances which are tested.

5.2.3.3 default_tolerance_table_cell_wr4

The default_tolerance_table_cell_wr4 function accepts an AGGREGATE of representation items as input and returns a Boolean result. The function will return TRUE if the aggregate contains three measure_representation_items with names of 'plus minus tolerance value', 'lower tolerance value', and 'upper tolerance value'. Else it will return FALSE.

NOTE    This function realises the fourth local rule of default_tolerance_table_cell.

EXPRESS specification:

*)
FUNCTION default_tolerance_table_cell_wr4 (agg : compound_item_definition) : BOOLEAN;
BEGIN 
IF (SIZEOF(QUERY ( i <* agg | (('DEFAULT_TOLERANCE_MIM.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(i)) AND 
  (i\representation_item.name = 'plus minus tolerance value')) )) = 1) OR 
((SIZEOF(QUERY ( i <* agg | (('DEFAULT_TOLERANCE_MIM.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(i)) AND (
  i\representation_item.name = 'lower tolerance value')) )) = 1) AND 
(SIZEOF( QUERY ( i <* agg | (('DEFAULT_TOLERANCE_MIM.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(i)) AND (
  i\representation_item.name = 'upper tolerance value')) )) = 1)) THEN 
  RETURN(TRUE); 
ELSE 
  RETURN(FALSE); 
END_IF; 
END;
END_FUNCTION;
(*

Argument definitions:

agg: the aggregate of instances which are tested.

5.2.3.4 default_tolerance_table_cell_wr5

The default_tolerance_table_cell_wr5 function accepts an AGGREGATE of representation representation items as input and returns a boolean result. The function will return TRUE if the aggregate contains at most one descriptive_representation_item. If it is present, its name shall be 'cell description'. Else it will return FALSE.

NOTE    This function realises the fifth local rule of default_tolerance_table_cell.

EXPRESS specification:

*)
FUNCTION default_tolerance_table_cell_wr5 (agg : compound_item_definition) : BOOLEAN;
BEGIN 
IF (SIZEOF(QUERY ( i <* agg | ('DEFAULT_TOLERANCE_MIM.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(i)) )) <= 1) AND 
(SIZEOF(QUERY ( i <* agg | ('DEFAULT_TOLERANCE_MIM.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(i)) )) = 
  SIZEOF(QUERY ( i <* agg | (('DEFAULT_TOLERANCE_MIM.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(i)) AND 
  (i\representation_item.name = 'cell description'))) )) 
THEN 
  RETURN(TRUE); 
ELSE 
  RETURN(FALSE); 
END_IF; 
END;
END_FUNCTION;
(*

Argument definitions:

agg: the aggregate of instances which are tested.



*)
END_SCHEMA;  -- Default_tolerance_mim
(*


© ISO 2014 — All rights reserved