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 Activity_method_assignment_mim;    --  ISO/TS 10303-1249



USE FROM Condition_mim;    --  ISO/TS 10303-1253



USE FROM measure_schema    --  ISO 10303-41
  (count_measure);



USE FROM method_definition_schema;    --  ISO 10303-49



USE FROM support_resource_schema    --  ISO 10303-41
  (text);
(*



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

Activity_method_assignment_mim	ISO/TS 10303-1249
Condition_mim	ISO/TS 10303-1253
measure_schema	ISO 10303-41
method_definition_schema	ISO 10303-49
support_resource_schema	ISO 10303-41

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

5.2.1 MIM entity definitions

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

5.2.1.1 concurrent_task_element   

EXPRESS specification:

*)
ENTITY concurrent_task_element
  SUBTYPE OF (task_element);
END_ENTITY;
(*

5.2.1.2 decision_point   

EXPRESS specification:

*)
ENTITY decision_point
  SUBTYPE OF (action_method_to_select_from, task_element);
DERIVE
  SELF\action_method_to_select_from.number_of_elements : count_measure := 1;
  SELF\action_method.purpose : text := 'decision';
END_ENTITY;
(*

Attribute definitions:

number_of_elements: redeclaration of number_of_elements identifying that 1 of those methods will be executed depending on the condition.

purpose: redeclaration of purpose identifying that this acts as a "decision".

5.2.1.3 end_task   

EXPRESS specification:

*)
ENTITY end_task
  SUBTYPE OF (task_element);
END_ENTITY;
(*

5.2.1.4 exit_loop   

EXPRESS specification:

*)
ENTITY exit_loop
  SUBTYPE OF (task_element);
END_ENTITY;
(*

5.2.1.5 looping_element   

EXPRESS specification:

*)
ENTITY looping_element
  SUBTYPE OF (task_element);
END_ENTITY;
(*

5.2.1.6 start_task   

EXPRESS specification:

*)
ENTITY start_task
  SUBTYPE OF (task_element);
END_ENTITY;
(*

5.2.1.7 task_element   

EXPRESS specification:

*)
ENTITY task_element
  SUBTYPE OF (action_method);
END_ENTITY;
(*

5.2.1.8 task_element_relationship   

EXPRESS specification:

*)
ENTITY task_element_relationship
  SUBTYPE OF (action_method_relationship);
END_ENTITY;
(*

5.2.1.9 task_element_sequence   

EXPRESS specification:

*)
ENTITY task_element_sequence
  SUBTYPE OF (task_element);
END_ENTITY;
(*

5.2.1.10 task_step   

EXPRESS specification:

*)
ENTITY task_step
  SUBTYPE OF (task_element);
END_ENTITY;
(*

5.2.2 MIM subtype constraint definition

This subclause specifies the MIM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The MIM subtype constraint and definition is specified below.

5.2.2.1 restrict_task_method_subtypes   

The restrict_task_method_subtypes constraint specifies a constraint that applies to instances of subtypes of task_element.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT restrict_task_method_subtypes FOR task_element;
  ONEOF (concurrent_task_element,
         end_task,
         exit_loop,
         looping_element,
         task_element_sequence,
         task_step);
END_SUBTYPE_CONSTRAINT;
(*

© ISO 2009 — All rights reserved