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:

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

USE FROM Group_mim;    --  ISO/TS 10303-1113



USE FROM Requirement_assignment_mim;    --  ISO/TS 10303-1233



USE FROM State_observed_mim;    --  ISO/TS 10303-1256
(*



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

Group_mim	ISO/TS 10303-1113
Requirement_assignment_mim	ISO/TS 10303-1233
State_observed_mim	ISO/TS 10303-1256

NOTE 2   See Annex D, Figures D.1and D.2 for a graphical representation of this schema.

5.2.1 MIM type definitions

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

5.2.1.1 evidence_item   

The evidence_item type is an extensible list of alternate data types that allows for the designation of the data types validation, and verification.

NOTE   The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE evidence_item = EXTENSIBLE GENERIC_ENTITY SELECT
   (validation,
    verification);
END_TYPE;
(*

5.2.1.2 v_and_v_state_observed   

The v_and_v_state_observed type is an extension of the state_observed_of_item type. It adds the data type group to the list of alternate data types.

EXAMPLE    Example states that may be applied to a verification are "Verified", "Not verified".

EXPRESS specification:

*)
TYPE v_and_v_state_observed = SELECT BASED_ON state_observed_of_item WITH
   (group);
END_TYPE;
(*

5.2.1.3 validation_groupable_item   

The validation_groupable_item type is an extension of the groupable_item type. It adds the data type product_definition_formation to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE validation_groupable_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON groupable_item WITH
   (product_definition_formation);
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 evidence   

EXPRESS specification:

*)
ENTITY evidence
  SUBTYPE OF (group_assignment);
  items : SET[1:?] OF evidence_item;
END_ENTITY;
(*

Attribute definitions:

items: the evidence_item which are assigend as evidence for the validation or verification.

5.2.2.2 validation   

EXPRESS specification:

*)
ENTITY validation
  SUBTYPE OF (group);
END_ENTITY;
(*

5.2.2.3 verification   

EXPRESS specification:

*)
ENTITY verification
  SUBTYPE OF (group);
END_ENTITY;
(*

5.2.2.4 verification_relationship   

EXPRESS specification:

*)
ENTITY verification_relationship
  SUBTYPE OF (group_relationship);
  SELF\group_relationship.relating_group : verification;
  SELF\group_relationship.related_group : verification;
END_ENTITY;
(*

Attribute definitions:

relating_group: the verification which is one part of this instance.

related_group: the verification related to the relating_group which is possibly dependant on this relationship.

© ISO 2018 — All rights reserved