AP scope | AP module | AP contents | AP index | |
Application module: Extended task element | ISO/WD 10303-1479 |
This clause specifies the information requirements for the Extended 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 Extended_task_element_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Extended_task_element_arm;
(*
The following EXPRESS interface statement specifies the elements imported from the ARM of another application module.
EXPRESS specification:
*)
USE FROM
Task_element_arm;
--
ISO/CD-TS 10303-1480
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Task_element_arm ISO/CD-TS 10303-1480
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
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 Decision_path;
condition : Condition;
defined_in : Multiple_decision_point;
path_element : Task_element;
END_ENTITY;
(*
Attribute definitions:
condition: the Condition to be evaluated to TRUE for this Decision_path to be executed.
defined_in: the Multiple_decision_point for which this Decision_path has been defined.
path_element: the Task_element to be executed if the condition is TRUE.
EXPRESS specification:
*)
ENTITY Multiple_decision_point
SUBTYPE OF (Structured_task_element);
INVERSE
paths : SET[2:?] OF Decision_path FOR defined_in;
END_ENTITY;
(*
Attribute definitions:
paths: the collection of possible Decision_path associated with this decision point.
EXPRESS specification:
*)
ENTITY Task_io
SUBTYPE OF (Task_element_assignment);
SELF\Task_element_assignment.assigned_task_element : Task_step;
END_ENTITY;
(*
Attribute definitions:
assigned_task_element: the Task_step for which the input or out put is assigned.
EXPRESS specification:
*)
ENTITY Task_io_hierarchy;
child : Task_io;
parent : Task_io;
WHERE
wr1: child.role = parent.role;
END_ENTITY;
(*
Attribute definitions:
child: the Task_io that represents the input or output specified in the parent at the next level of breakdown.
parent: the Task_io which is represented by the child at the next level of task step breakdown.
Formal propositions:
wr1: Ensure the parent and child relationships are for the same role.
EXPRESS specification:
*)
ENTITY Task_step_hierarchy
SUBTYPE OF (Task_element_relationship);
SELF\Task_element_relationship.related_method RENAMED child : Task_step;
SELF\Task_element_relationship.relating_method RENAMED parent : Task_step;
END_ENTITY;
(*
Attribute definitions:
child: the Task_step which represents a lower level breakdown component of the parent.
parent: the Task_step which represents a higher level composition of the child along with other children represented by other, similar relationships to the same parent.
*)
END_SCHEMA; -- Extended_task_element_arm
(*
© ISO — All rights reserved