AP scope | AP module | AP contents | AP index | |
Application module: Task element | ISO/CD-TS 10303-1480 |
This clause specifies the information requirements for the Task element application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information requirements is given in Annex C.
NOTE 2 The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.
The following EXPRESS specification begins the Task_element_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Task_element_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Activity_method_assignment_arm;
--
ISO/TS 10303-1249
USE FROM
Condition_arm;
--
ISO/TS 10303-1253
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Activity_method_assignment_arm ISO/TS 10303-1249 Condition_arm ISO/TS 10303-1253
NOTE 2 See Annex C, Figures C.1, C.2and C.3 for a graphical representation of this schema.
This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.
The task_item type is an extension of the activity_method_item type.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
task_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
activity_method_item;
END_TYPE;
(*
This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY Concurrent_elements
SUBTYPE OF (Structured_task_element);
elements : SET[2:?] OF Task_element;
END_ENTITY;
(*
Attribute definitions:
elements: the Task_elements to be performed.
NOTE The condition on which the decision is based optionally allows a further Task_element to be invoked to provide the basis for the decision.
EXPRESS specification:
*)
ENTITY Decision_point
SUBTYPE OF (Structured_task_element);
condition : Condition;
true_case_element :
OPTIONAL
Task_element;
false_case_element :
OPTIONAL
Task_element;
unknown_case_element :
OPTIONAL
Task_element;
END_ENTITY;
(*
Attribute definitions:
condition: the criterion to be tested in order to make a decision.
true_case_element: the Task_element to be performed if the test condition is satisfied. The value of this attribute need not be specified.
false_case_element: the Task_element to be performed if the test condition is not satisfied. The value of this attribute need not be specified.
unknown_case_element: the Task_element to be performed if the test condition can not be evaluated or returns unknown. The value of this attribute need not be specified.
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
SUPERTYPE OF (ONEOF (Repeat_count,
Repeat_until,
Repeat_while))
SUBTYPE OF (Structured_task_element);
repeated_element : Task_element;
END_ENTITY;
(*
Attribute definitions:
repeated_element: the Task_element to be repeated in the looping element.
EXPRESS specification:
*)
ENTITY Repeat_count
SUBTYPE OF (Looping_element);
count : INTEGER;
END_ENTITY;
(*
Attribute definitions:
count: the number of times the repeated_element is to be executed.
NOTE If the Repeat_count entity is combined with the other subtypes of Looping_element, this becomes the maximum number of repetitions.
EXPRESS specification:
*)
ENTITY Repeat_until
SUBTYPE OF (Looping_element);
condition : Condition;
END_ENTITY;
(*
Attribute definitions:
condition: the criterion to be tested in order to determine that the looping method shall be exited.
EXPRESS specification:
*)
ENTITY Repeat_while
SUBTYPE OF (Looping_element);
condition : Condition;
END_ENTITY;
(*
Attribute definitions:
condition: the criterion to be tested in order to determine that the Looping_element shall be continued.
EXPRESS specification:
*)
ENTITY Structured_task_element
ABSTRACT SUPERTYPE
OF (ONEOF (Concurrent_elements,
Decision_point,
Looping_element,
Task_element_sequence))
SUBTYPE OF (Task_element);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Task_element
ABSTRACT SUPERTYPE
OF (ONEOF (End_task,
Exit_loop,
Structured_task_element,
Task_step))
SUBTYPE OF (Activity_method);
END_ENTITY;
(*
notes : OPTIONAL LIST [1 : ?] OF Advisory_task_step;
EXPRESS specification:
*)
ENTITY Task_element_assignment
SUBTYPE OF (Applied_activity_method_assignment);
SELF\Applied_activity_method_assignment.assigned_activity_method RENAMED assigned_task_element : Task_element;
SELF\Applied_activity_method_assignment.items : SET[1:?] OF task_item;
END_ENTITY;
(*
Attribute definitions:
assigned_task_element: the Task_element being assigned.
items: the set of things associated to the Task_element.
EXAMPLE Can be used to capture a time dependency that cuts across the structure of the method.
EXPRESS specification:
*)
ENTITY Task_element_relationship
SUBTYPE OF (Activity_method_relationship);
SELF\Activity_method_relationship.relating_method : Task_element;
SELF\Activity_method_relationship.related_method : Task_element;
END_ENTITY;
(*
Attribute definitions:
relating_method: one instance of Task_element that is a part of the relationship.
related_method:
the other instance of Error ER-7: The express_ref linkend
task_element:arm:Task_element_arm.Task_method
is incorrectly specified.
The data type Task_element_arm.Task_method does not exist.
Note linkend is case sensitive.
Task_method
that is a part of the relationship. If one element of the relationship is dependent upon the other, this attribute shall
be the dependent one.
EXPRESS specification:
*)
ENTITY Task_element_sequence
SUBTYPE OF (Structured_task_element);
elements : LIST[2:?] OF Task_element;
END_ENTITY;
(*
Attribute definitions:
elements: the Task_elements to be followed in the order specified in the list.
EXPRESS specification:
*)
ENTITY Task_step
SUBTYPE OF (Task_element);
SELF\Activity_method.description RENAMED step_text : STRING;
END_ENTITY;
(*
Attribute definitions:
step_text: the text describing what is to be done to accomplish the Task_step
*)
END_SCHEMA; -- Task_element_arm
(*
© ISO — All rights reserved