AP scope  |  AP module  |  AP contents  |  AP index
Application module: Task specification ISO/TS 10303-1262:2004(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definitions
   4.3 ARM entity definitions
   4.4 ARM subtype constraint definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definitions
     5.2.2 MIM entity definitions
     5.2.3 MIM subtype constraint 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
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:


[warning:]MIM USE FROM error 14: Task_element_arm used in ARM so expect Task_element_mim to be used in MIM
EXPRESS specification:

*)
SCHEMA Task_specification_mim;

USE FROM action_schema    --  ISO 10303-41
  (action_method,
   action_method_relationship);

USE FROM Activity_method_assignment_mim;    --  ISO/TS 10303-1249

USE FROM Activity_method_mim;    --  ISO/TS 10303-1049

USE FROM Classification_assignment_mim;    --  ISO/TS 10303-1114

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

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

USE FROM method_definition_schema    --  ISO 10303-49
  (action_method_to_select_from,
   concurrent_action_method,
   relationship_condition,
   sequential_method,
   serial_action_method);

USE FROM State_definition_mim;    --  ISO/E2 WD 10303-1255

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

USE FROM state_observed_schema    --  ISO 10303-56
  (state_observed);

USE FROM state_type_schema    --  ISO 10303-56
  (state_type);
(*

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

action_schema ISO 10303-41
Activity_method_assignment_mim ISO/TS 10303-1249
Activity_method_mim ISO/TS 10303-1049
Classification_assignment_mim ISO/TS 10303-1114
Condition_mim ISO/TS 10303-1253
Group_mim ISO/TS 10303-1113
method_definition_schema ISO 10303-49
State_definition_mim ISO/E2 WD 10303-1255
State_observed_mim ISO/TS 10303-1256
state_observed_schema ISO 10303-56
state_type_schema ISO 10303-56

NOTE 2   See Annex D, Figures D.1, D.2and D.3 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 task_classification_item   EXPRESS-G

The task_classification_item type is an extension of the classification_item type. It adds the data types action_method, action_method_relationship, applied_action_method_assignment, applied_state_observed_assignment and applied_state_type_assignment 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 task_classification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON classification_item WITH
   (action_method,
    action_method_relationship,
    applied_action_method_assignment,
    applied_state_observed_assignment,
    applied_state_type_assignment);
END_TYPE;
(*

5.2.1.2 task_specification_groupable_item   EXPRESS-G

The task_specification_groupable_item type is an extension of the groupable_item type. It adds the data types action_method and action_method_relationship 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 task_specification_groupable_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON groupable_item WITH
   (action_method,
    action_method_relationship);
END_TYPE;
(*

5.2.1.3 task_state_items   EXPRESS-G

The task_state_items type is an extension of the action_method_items type. It adds the data types applied_state_observed_assignment, applied_state_type_assignment, state_observed and state_type 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 task_state_items = EXTENSIBLE SELECT BASED_ON action_method_items WITH
   (applied_state_observed_assignment,
    applied_state_type_assignment,
    state_observed,
    state_type);
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 advisory_task_element   EXPRESS-G

An advisory_task_element is a type of task_element that provides advice to those carrying out a parent task.

EXPRESS specification:

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

5.2.2.2 concurrent_task_element   EXPRESS-G

A concurrent_task_element is a type of task_element that involves carrying out multiple task_elements during the time taken to perform the longest of the task_elements.

EXPRESS specification:

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

5.2.2.3 end_task   EXPRESS-G

An end_task is a type of task_element that indicates that execution of the parent task is to end.

EXPRESS specification:

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

5.2.2.4 exit_loop   EXPRESS-G

An exit_loop is a type of task_element that indicates that execution of the parent looping_element is to end.

EXPRESS specification:

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

5.2.2.5 looping_element   EXPRESS-G

A looping_element is a type of task_element that involves repeating another task_element

EXPRESS specification:

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

5.2.2.6 simultaneous_task_element   EXPRESS-G

A simultaneous_task_element is a type of concurrent_task_element that requires all the specified task_elements to be carried out in parallel and during the same period.

EXPRESS specification:

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

5.2.2.7 task_element   EXPRESS-G

A task_element is a type of action_method that prescribes how a task or part of a task is to be carried out.

EXPRESS specification:

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

5.2.2.8 task_element_relationship   EXPRESS-G

A task_element_relationship is a type of action_method_relationship the specificies the relationship between two task_elements.

EXPRESS specification:

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

5.2.2.9 task_element_sequence   EXPRESS-G

A task_element_sequence is a type of task_element that involves carrying out a sequence of task_elements in order.

EXPRESS specification:

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

5.2.2.10 task_invocation   EXPRESS-G

A task_invocation is a type of task_element that involves carrying out a complete task. The task method being invoked shall not be a parent of any task method invoking this task_element

EXPRESS specification:

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

5.2.2.11 task_method   EXPRESS-G

A task_method is a type of action_method that is specified through one task_method_version.

EXPRESS specification:

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

5.2.2.12 task_method_relationship   EXPRESS-G

A task_method_relationship is a type of action_method_relationship that specificies the relationship between two task_methods.

EXPRESS specification:

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

5.2.2.13 task_method_version   EXPRESS-G

A task_method_version is a type of action_method that is specified by one or more task_element

EXPRESS specification:

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

5.2.2.14 task_method_version_relationship   EXPRESS-G

A task_method_version_relationship is a type of action_method_relationship that specificies the relationship between two task_method_versions.

EXPRESS specification:

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

5.2.2.15 task_objective   EXPRESS-G

A task_objective is a type of action_method that is specified by a description of the objective to be achieved.

EXPRESS specification:

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

5.2.2.16 task_step   EXPRESS-G

A task_step is a type of task_element that represents one stage within a task and is not further broken down.

EXPRESS specification:

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

5.2.3 MIM subtype constraint definitions

This subclause specifies the MIM subtype constraints for this module. Each subtype constraint places constraints on the possible super-type / subtype instantiations. The MIM subtype constraints and definitions are specified below.

5.2.3.1 restrict_action_method_relationship_subtypes   EXPRESS-G

The restrict_action_method_relationship_subtypes constraint specifies that instances of subtypes of action_method_relationship shall not be simultaneously of type task_element_relationship, task_method_relationship and task_method_version_relationship.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT restrict_action_method_relationship_subtypes FOR action_method_relationship;
  ONEOF (task_element_relationship,
         task_method_relationship,
         task_method_version_relationship);
END_SUBTYPE_CONSTRAINT;
(*

5.2.3.2 restrict_task_action_method_subtypes   EXPRESS-G

The restrict_task_action_method_subtypes constraint specifies that instances of subtypes of action_method shall not be simultaneously of type task_element, task_method, task_method_version and task_objective.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT restrict_task_action_method_subtypes FOR action_method;
  ONEOF (task_element,
         task_method,
         task_method_version,
         task_objective);
END_SUBTYPE_CONSTRAINT;
(*

5.2.3.3 restrict_task_method_subtypes   EXPRESS-G

The restrict_task_method_subtypes constraint specifies that instances of subtypes of task_element shall not be simultaneously of type advisory_task_element, concurrent_task_element, end_task, exit_loop, looping_element, task_element_sequence, task_invocation and task_step.

EXPRESS specification:

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



*)
END_SCHEMA;  -- Task_specification_mim
(*


© ISO 2004 — All rights reserved