AP scope | AP module | AP contents | AP index | |
Application module: Task specification | ISO/TS 10303-1262:2004(E) © ISO |
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:
*)
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.
This subclause specifies the MIM types for this application module. The MIM types and definitions are specified below.
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;
(*
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;
(*
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;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY advisory_task_element
SUBTYPE OF (task_element);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY concurrent_task_element
SUBTYPE OF (task_element);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY end_task
SUBTYPE OF (task_element);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY exit_loop
SUBTYPE OF (task_element);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY looping_element
SUBTYPE OF (task_element);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY simultaneous_task_element
SUBTYPE OF (concurrent_task_element);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY task_element
SUBTYPE OF (action_method);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY task_element_relationship
SUBTYPE OF (action_method_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY task_element_sequence
SUBTYPE OF (task_element);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY task_invocation
SUBTYPE OF (task_element);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY task_method
SUBTYPE OF (action_method);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY task_method_relationship
SUBTYPE OF (action_method_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY task_method_version
SUBTYPE OF (action_method);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY task_method_version_relationship
SUBTYPE OF (action_method_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY task_objective
SUBTYPE OF (action_method);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY task_step
SUBTYPE OF (task_element);
END_ENTITY;
(*
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.
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;
(*
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;
(*
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