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.

USE FROM application_context_schema    --  ISO 10303-41
  (application_context_element,
   product_context);



USE FROM Foundation_state_definition_mim;    --  ISO/TS 10303-1469



USE FROM group_schema    --  ISO 10303-41
  (group);



USE FROM management_resources_schema    --  ISO 10303-41
  (group_assignment);



USE FROM product_definition_schema    --  ISO 10303-41
  (product,
   product_category,
   product_related_product_category,
   product_relationship);



USE FROM product_property_definition_schema    --  ISO 10303-41
  (characterized_object);



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



USE FROM state_observed_schema    --  ISO 10303-56
  (state_observed,
   state_observed_relationship);
(*



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

application_context_schema	ISO 10303-41
Foundation_state_definition_mim	ISO/TS 10303-1469
group_schema	ISO 10303-41
management_resources_schema	ISO 10303-41
product_definition_schema	ISO 10303-41
product_property_definition_schema	ISO 10303-41
State_observed_mim	ISO/TS 10303-1256
state_observed_schema	ISO 10303-56

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 just_state_observed_of_item   

The just_state_observed_of_item type is an extension of the state_observed_of_item type. It adds the data type assumption 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 just_state_observed_of_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON state_observed_of_item WITH
   (assumption);
END_TYPE;
(*

5.2.1.2 just_state_type_of_item   

The just_state_type_of_item type is an extension of the state_type_of_item type. It adds the data type assumption 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 just_state_type_of_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON state_type_of_item WITH
   (assumption);
END_TYPE;
(*

5.2.1.3 justification_item   

The justification_item type is an extensible list of alternate data types. Additional alternate data types are specified in select data types that extend the justification_item type.

NOTE   This empty extensible select requires extension in a further module to ensure that entities that refer to it have at least one valid instantiation.

EXPRESS specification:

*)
TYPE justification_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
(*

5.2.1.4 justification_support_item   

The justification_support_item type is an extensible list of alternate data types. Additional alternate data types are specified in select data types that extend the justification_support_item type.

NOTE   This empty extensible select requires extension in a further module to ensure that entities that refer to it have at least one valid instantiation.

EXPRESS specification:

*)
TYPE justification_support_item = EXTENSIBLE GENERIC_ENTITY SELECT;
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 assumption   

EXPRESS specification:

*)
ENTITY assumption
  SUBTYPE OF (state_observed);
END_ENTITY;
(*

5.2.2.2 assumption_assignment   

EXPRESS specification:

*)
ENTITY assumption_assignment
  SUBTYPE OF (characterized_applied_state_observed_assignment);
END_ENTITY;
(*

5.2.2.3 assumption_relationship   

EXPRESS specification:

*)
ENTITY assumption_relationship
  SUBTYPE OF (state_observed_relationship);
END_ENTITY;
(*

5.2.2.4 characterized_applied_state_observed_assignment   

EXPRESS specification:

*)
ENTITY characterized_applied_state_observed_assignment
  SUBTYPE OF (applied_state_observed_assignment, characterized_object);
END_ENTITY;
(*

5.2.2.5 item_assumed   

EXPRESS specification:

*)
ENTITY item_assumed
  SUBTYPE OF (characterized_applied_state_observed_assignment);
END_ENTITY;
(*

5.2.2.6 justification_assignment   

EXPRESS specification:

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

5.2.2.7 justification_group_assignment   

A justification_group_assignment is a type of group_assignment that identifies the assignment of a justification (represented by a product categorized as a justification) to a justification_assignment or a justification_support_assignment.

NOTE    justification_assignment and justification_support_assignment are types of group.

EXPRESS specification:

*)
ENTITY justification_group_assignment
  SUBTYPE OF (group_assignment);
  items : SET[1:1] OF product;
END_ENTITY;
(*

Attribute definitions:

items: the product categorized as a justification which is being related by the justification_group_assignment.

5.2.2.8 justification_item_group_assignment   

EXPRESS specification:

*)
ENTITY justification_item_group_assignment
  SUBTYPE OF (group_assignment);
  items : SET[1:1] OF justification_item;
END_ENTITY;
(*

Attribute definitions:

items: the justification_item which is being related by the justification_item_group_assignment.

5.2.2.9 justification_support_assignment   

EXPRESS specification:

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

5.2.2.10 justification_support_item_group_assignment   

EXPRESS specification:

*)
ENTITY justification_support_item_group_assignment
  SUBTYPE OF (group_assignment);
  items : SET[1:1] OF justification_support_item;
END_ENTITY;
(*

Attribute definitions:

items: the justification_support_item which is being related by the justification_support_item_group_assignment.

© ISO 2009 — All rights reserved