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

4 Information requirements

This clause specifies the information requirements for the Task specification 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_specification_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Task_specification_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_arm;    --  ISO/TS 10303-1049

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

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

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

USE FROM State_definition_arm;    --  ISO/TS 10303-1255

USE FROM State_observed_arm;    --  ISO/TS 10303-1256
(*

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

Activity_method_arm ISO/TS 10303-1049
Activity_method_assignment_arm ISO/TS 10303-1249
Classification_assignment_arm ISO/TS 10303-1114
Condition_arm ISO/TS 10303-1253
State_definition_arm ISO/TS 10303-1255
State_observed_arm ISO/TS 10303-1256

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

4.2 ARM type definitions

This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.

4.2.1 constraint_context   EXPRESS-G

The constraint_context type is an extensible list of alternate data types that allows for the designation of the data types Task_element and Task_method_version.

NOTE   The list of entity data types may be extended in application modules that use the constructs of this module.

A constraint_context specifies the allowed contexts in which a Element_constraint may apply.

EXPRESS specification:

*)
TYPE constraint_context = EXTENSIBLE GENERIC_ENTITY SELECT
   (Task_element,
    Task_method_version);
END_TYPE;
(*

4.2.2 method_or_method_version   EXPRESS-G

The method_or_method_version type allows for the designation of the data types Task_method and Task_method_version.

EXPRESS specification:

*)
TYPE method_or_method_version = SELECT
   (Task_method,
    Task_method_version);
END_TYPE;
(*

4.2.3 state_or_state_definition_select   EXPRESS-G

The state_or_state_definition_select type allows for the designation of the data types Applied_state_assignment, Applied_state_definition_assignment, State and State_definition.

EXPRESS specification:

*)
TYPE state_or_state_definition_select = SELECT
   (Applied_state_assignment,
    Applied_state_definition_assignment,
    State,
    State_definition);
END_TYPE;
(*

4.2.4 task_classification_item   EXPRESS-G

The task_classification_item type is an extension of the classification_item type. It adds the data types Activity_method, Activity_method_relationship, Applied_activity_method_assignment, Task_element_state_relationship, Task_method, Task_method_state_relationship, Task_objective and Task_objective_state_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_classification_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON classification_item WITH
   (Activity_method,
    Activity_method_relationship,
    Applied_activity_method_assignment,
    Task_element_state_relationship,
    Task_method,
    Task_method_state_relationship,
    Task_objective,
    Task_objective_state_relationship);
END_TYPE;
(*

4.2.5 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 Advisory_task_step   EXPRESS-GMapping table

An Advisory_task_step is a type of Task_step. It conveys information.

NOTE    Some Task_methods may not require any action to be undertaken.

EXAMPLE    "Beware of hot exhausts", "do not use tool X this way" and similar messages.

EXPRESS specification:

*)
ENTITY Advisory_task_step
  SUBTYPE OF (Task_step);
END_ENTITY;
(*

4.3.2 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.3 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.4 Element_constraint   EXPRESS-GMapping table

An Element_constraint is a type of Task_element_relationship that signifies a constraint between Task_elements. The constraint may only apply within the context of a Task_method or Task_element, specified as the context.

EXPRESS specification:

*)
ENTITY Element_constraint
  SUBTYPE OF (Task_element_relationship);
  applies_in : OPTIONAL constraint_context;
END_ENTITY;
(*

Attribute definitions:

applies_in: the Task_element within which the constraint applies. The value of this attribute need not be specified.

EXAMPLE    Within a specific method, use of test equipment must be preceded by callibration. Or a 30 minute wait is required between stages of a method.

4.3.5 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.6 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.7 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.8 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.9 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.10 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.11 Simultaneous_elements   EXPRESS-GMapping table

A Simultaneous_elements is a type of Concurrent_elements that represents two or more actions to be performed together.

EXPRESS specification:

*)
ENTITY Simultaneous_elements
  SUBTYPE OF (Concurrent_elements);
END_ENTITY;
(*

4.3.12 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.13 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_element_levels,
                                Task_invocation,
                                Task_step))
  SUBTYPE OF (Activity_method);
  notes : OPTIONAL LIST[1:?] OF Advisory_task_step;
END_ENTITY;
(*

Attribute definitions:

notes: the additional advisory task steps associated to a Task_element as a whole. The value of this attribute need not be specified.

NOTE    These are ordered by means of a list.

4.3.14 Task_element_assignment   EXPRESS-GMapping table

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.

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.15 Task_element_levels   EXPRESS-GMapping table

A Task_element_levels is a type of Task_element that provides two or more different descriptions in place of a single method. The actual work will be the same whichever alternative Task_element is followed.

NOTE    This can be used to provide defferent levels of description of a task for people with varying levels of experience or expertise.

EXPRESS specification:

*)
ENTITY Task_element_levels
  SUBTYPE OF (Task_element);
  alternatives : SET[2:?] OF Task_element;
END_ENTITY;
(*

Attribute definitions:

alternatives: the Task_elements describing two or more ways in which the same work may be undertaken.

4.3.16 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 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.17 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.18 Task_element_state_relationship   EXPRESS-GMapping table

A Task_element_state_relationship is an type of Activity_method_relationship. It is an association between a State or a State_definition and a Task_element. The meaning of the entity is determined by classification. Candidate meanings include:

EXPRESS specification:

*)
ENTITY Task_element_state_relationship;
  state : state_or_state_definition_select;
  task_element : Task_element;
END_ENTITY;
(*

Attribute definitions:

state: the State or State_definition being related.

task_element: the Task_element being related.

4.3.19 Task_invocation   EXPRESS-GMapping table

A Task_invocation is a type of Task_element. It is an instruction to perform another task.

EXAMPLE    A Task_element calls a pre-defined task to perform an instrument calibration.

EXPRESS specification:

*)
ENTITY Task_invocation
  SUBTYPE OF (Task_element);
  task_method : method_or_method_version;
END_ENTITY;
(*

Attribute definitions:

task_method: the Task_method to be invoked.

4.3.20 Task_method   EXPRESS-GMapping table

A Task_method is a type of Activity_method. It is a specification of work.

NOTE    The task method may be implemented using people, machines or a combination.

EXPRESS specification:

*)
ENTITY Task_method
  SUBTYPE OF (Activity_method);
  objective : SET[0:?] OF Task_objective;
END_ENTITY;
(*

Attribute definitions:

objective: the intended result or results of the task.

4.3.21 Task_method_assignment   EXPRESS-GMapping table

A Task_method_assignment is a type of Applied_activity_method_assignment. It is an association of a Task_method with product or activity data.

EXPRESS specification:

*)
ENTITY Task_method_assignment
  SUBTYPE OF (Applied_activity_method_assignment);
  SELF\Applied_activity_method_assignment.assigned_activity_method : Task_method;
  SELF\Applied_activity_method_assignment.items : SET[1:?] OF task_item;
END_ENTITY;
(*

Attribute definitions:

assigned_activity_method: the Task_method being assigned.

items: the set of things that are associated to the Task_method.

4.3.22 Task_method_relationship   EXPRESS-GMapping table

A Task_method_relationship is a type of Activity_method_relationship. It relates two task methods.

NOTE    The nature of the relationship is determined from its classification.

EXPRESS specification:

*)
ENTITY Task_method_relationship
  SUBTYPE OF (Activity_method_relationship);
  SELF\Activity_method_relationship.relating_method : Task_method;
  SELF\Activity_method_relationship.related_method : Task_method;
END_ENTITY;
(*

Attribute definitions:

relating_method: one of the instances of Task_methods that is a part of the relationship.

related_method: the other instance of 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.23 Task_method_state_relationship   EXPRESS-GMapping table

A Task_method_state_relationship is a relationship between a state and a Task_method.

NOTE    The meaning of the entity is determined by classification. Candidate meanings include:

EXPRESS specification:

*)
ENTITY Task_method_state_relationship;
  state : state_or_state_definition_select;
  task_method : Task_method_version;
END_ENTITY;
(*

Attribute definitions:

state: the mode of being that is related.

task_method: the Task_method being related.

4.3.24 Task_method_version   EXPRESS-GMapping table

A Task_method_version is a type of Activity_method which allows the explicit reference to versions of a Task_methodand to track changes against a Task_method.

EXPRESS specification:

*)
ENTITY Task_method_version
  SUBTYPE OF (Activity_method);
  content : OPTIONAL Task_element;
  of_task_method : Task_method;
END_ENTITY;
(*

Attribute definitions:

content: the way in which the task is to be carried out. The value of this attribute need not be specified.

of_task_method: the Task_method which this is a version of.

4.3.25 Task_method_version_assignment   EXPRESS-GMapping table

A Task_method_version_assignment is a type of Applied_activity_method_assignment. It is an association of a Task_method_version with product or activity data.

EXPRESS specification:

*)
ENTITY Task_method_version_assignment
  SUBTYPE OF (Applied_activity_method_assignment);
  SELF\Applied_activity_method_assignment.assigned_activity_method RENAMED assigned_task_method : Task_method_version;
  SELF\Applied_activity_method_assignment.items : SET[1:?] OF task_item;
END_ENTITY;
(*

Attribute definitions:

assigned_task_method: the Task_method_version being assigned.

items: the set of things that the Task_method_version is assigned to.

4.3.26 Task_method_version_relationship   EXPRESS-GMapping table

A Task_method_version_relationship is a type of Activity_method_relationship. It relates two instances of Task_method_version.

EXPRESS specification:

*)
ENTITY Task_method_version_relationship
  SUBTYPE OF (Activity_method_relationship);
  SELF\Activity_method_relationship.relating_method RENAMED relating_task_method : Task_method_version;
  SELF\Activity_method_relationship.related_method RENAMED related_task_method : Task_method_version;
END_ENTITY;
(*

Attribute definitions:

relating_task_method: one instance of Task_method_version that is a part of the relationship

related_task_method: the other instance of Task_method_version 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.27 Task_objective   EXPRESS-GMapping table

A Task_objective is a result or objective that is reached by undertaking a Task_method.

NOTE    More than one Task_method may be defined for a given objective, if there can be several ways to accomplish the objective.

EXPRESS specification:

*)
ENTITY Task_objective;
  name : STRING;
  description : STRING;
END_ENTITY;
(*

Attribute definitions:

name: the word or group of words by which the Task_objective is known.

description: the text that provides further information about the Task_objective.

4.3.28 Task_objective_state_relationship   EXPRESS-GMapping table

A Task_objective_state_relationship is a relationship between a state and a Task_objective.

NOTE    The meaning of the entity is determined by classification. Candidate meanings include:

EXPRESS specification:

*)
ENTITY Task_objective_state_relationship;
  state : state_or_state_definition_select;
  task_objective : Task_objective;
END_ENTITY;
(*

Attribute definitions:

state: the mode of being that is related.

task_objective: the Task_objective being related.

4.3.29 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

4.4 ARM subtype constraint definitions

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

4.4.1 restrict_activity_method_relationship   EXPRESS-GMapping table

The restrict_activity_method_relationship constraint specifies that instances of subtypes of Activity_method_relationship shall not be simultaneously of type Task_element_relationship, Task_method_relationship and Task_method_version_relationship.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT restrict_activity_method_relationship FOR Activity_method_relationship;
  ONEOF (Task_element_relationship,
         Task_method_relationship,
         Task_method_version_relationship);
END_SUBTYPE_CONSTRAINT;
(*

4.4.2 restrict_activity_method_subtypes   EXPRESS-GMapping table

The restrict_activity_method_subtypes constraint specifies that instances of subtypes of Activity_method shall not be simultaneously of type Task_element, Task_method and Task_method_version.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT restrict_activity_method_subtypes FOR Activity_method;
  ONEOF (Task_element,
         Task_method,
         Task_method_version);
END_SUBTYPE_CONSTRAINT;
(*



*)
END_SCHEMA;  -- Task_specification_arm
(*

© ISO 2004 — All rights reserved