AP scope  |  AP module  |  AP contents  |  AP index
Application module: Task element ISO/CD-TS 10303-1480

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 definition
   4.3 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing

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

4 Information requirements

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;
(*

4.1 Required AM ARMs

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.

4.2 ARM type definition

This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.

4.2.1 task_item   EXPRESS-G

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;
(*

4.3 ARM entity definitions

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.

4.3.1 Concurrent_elements   EXPRESS-GMapping table

A Concurrent_elements is a type of Structured_task_element that comprises a set of actions to be performed during the time required for the longest task. No specific order is required.

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.

4.3.2 Decision_point   EXPRESS-GMapping table

A Decision_point is a type of Structured_task_element. It requires a decision that determines which further Task_element is to be followed.

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.

4.3.3 End_task   EXPRESS-GMapping table

An End_task is a type of Task_element. It signifies a point at which to end the task.

EXPRESS specification:

*)
ENTITY End_task
  SUBTYPE OF (Task_element);
END_ENTITY;
(*

4.3.4 Exit_loop   EXPRESS-GMapping table

An Exit_loop is a type of Structured_task_element. It signifies a point at which to exit from a loop.

EXPRESS specification:

*)
ENTITY Exit_loop
  SUBTYPE OF (Task_element);
END_ENTITY;
(*

4.3.5 Looping_element   EXPRESS-GMapping table

A Looping_element is a type of Task_element. It invokes a specified number of repetitions of a further Task_element.

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.

4.3.6 Repeat_count   EXPRESS-GMapping table

A Repeat_count is a type of Looping_element. It invokes a specified number of repetitions of the repeated_element Task_element inherited from the Looping_element supertype.

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.

4.3.7 Repeat_until   EXPRESS-GMapping table

A Repeat_until is a type of Looping_element. It invokes repetitions of a further Task_element and is repeated until the specified condition is satisfied. The element being repeated shall be executed at least once and the condition tested after the first execution.

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.

4.3.8 Repeat_while   EXPRESS-GMapping table

A Repeat_while is a type of Looping_element. It invokes repetitions of a further Task_element and is repeated while the specified condition is satisfied. The test condition shall be evaluated prior to invoking the method and may result in the Looping_element not being executed at all.

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.

4.3.9 Structured_task_element   EXPRESS-GMapping table

A Structured_task_element is a type of Task_element. It is made up of other Task_elements

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;
(*

4.3.10 Task_element   EXPRESS-GMapping table

A Task_element is a type of Activity_method. It is a representation of all or part of how to undertake a task.

EXPRESS specification:

*)
ENTITY Task_element
  ABSTRACT SUPERTYPE OF (ONEOF (End_task,
                                Exit_loop,
                                Structured_task_element,
                                Task_step))
  SUBTYPE OF (Activity_method);
END_ENTITY;
(*

4.3.11 Task_element_assignment   EXPRESS-GMapping table


[warning:]Error d1: description provided for Task_element_assignment in arm.xml and arm_descriptions.xml
A Task_element_assignment is a type of Applied_activity_method_assignment. It is an association of a Task_element with product or activity data.

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.

4.3.12 Task_element_relationship   EXPRESS-GMapping table

A Task_element_relationship is a type of Activity_method_relationship. It relates two instances of 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
[warning:]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.

4.3.13 Task_element_sequence   EXPRESS-GMapping table

A Task_element_sequence is a type of Task_element that comprises a sequence of steps to be followed in a specified order.

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.

4.3.14 Task_step   EXPRESS-GMapping table

A Task_step is a type of Task_element that is not further sub-divided.

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