Definition Model

Overview

This section describes the formal model of Work Plan and Task Plan, which is presented in UML form, as well as in TP-VML definition instance form. The following figure shows the main classes in the proc.task_planning.definition package.

PROC task planning.definition structure
Figure 1. proc.task_planning.definition model overview

The remaining classes are shown in various specialised views below.

Plan Structure

The top-level structure for defining plans is a WORK_PLAN, which includes one or more related TASK_PLANs making up a logical goal-oriented plan. Within a Work Plan, two distinct lists of Task Plans are maintained:

  • plans: references all Task Plans;

  • top_level_plans: 'entry point' Task Plans that will be unconditionally active at Work Plan activation (often limited to only one).

Non-top-level plans are those used as sub-plans within the hierarchy of a top-level Plan. A typical Work Plan / Task Plan structure is shown below in TP-VML form.

work task plans
Figure 2. Work Plan top level structure

WORK_PLAN has a number of attributes relating to formal Plan representation, as follows:

  • context: a data context for the Plan as a whole, which enables external variables (such as patient data items) to be tracked and updated;

  • calendar: a global calendar containing entries that relate to this Work Plan, e.g. appointments, holidays etc;

  • timeline: the global timeline for the Plan (and hence the subject) into which planned Tasks are fixed, with times specified as offsets from the zero point;

  • event_wait_states: a reference list of all Event wait instances defined in the Plan;

  • order_list: a table of references to orders being tracked in the Plan (described in Order Tracking below).

Additionally, there are the following meta-data attributes:

  • indications: record clinical indications (including codes for diagnoses) for which the Work Plan can be / should be used;

  • classification: record one or more classifications of the Work Plan as a whole, e.g. business category, administrative category etc. The most common structure is likely to be a logical list (i.e. ITEM_TREE instance of linear list form), such that the archetype_node_id attribute (inherited from LOCATABLE) acts as the name of the category (e.g. 'org unit'), and an ELEMENT containing a DV_TEXT providing the actual category value (e.g. 'inventory management').

Both WORK_PLAN and TASK_PLAN are descendants of CONTENT_ITEM, which makes them a type of content that may occur in an openEHR COMPOSITION. Compositions used for this purpose have their category attribute set to the openEHR coded term |Work Plan|. This enables Work Plans to be committed to the openEHR EHR.

Plan internal structure is specified by the definition attribute of a TASK_PLAN is a TASK_GROUP, which has as its members any number of PLAN_ITEMs, which resolve either to more TASK_GROUPs (and some specialisations described below), or TASK entities.

The Plan Calendar

The Work Plan calendar consists of Plan-related entries fixed in time, as per the usual notion of a person’s or organisational calendar. These will normally be a small subset of entries from a/the work management calendar of the organisation in whose IT system the Work Plans are used. A Plan calendar event can be used as the basis for a wait state (TASK_WAIT.events) for Tasks in the Plan, either to indicate that something should be done on the date/time of the calendar event, or with a certain delay. Calendar events may include organisational events, national holidays and patient appointments. Wait states of the form '2 weeks after Easter Sunday' and '24 week ante-natal review (10 Feb 2019)' can therefore be defined in a Plan.

Plan Items

The PLAN_ITEM class is the parent of all fine-grained elements of a Task Plan, which are either TASKs or TASK_GROUPs. It has a mandatory description attribute, which represents a natural language specification of the work of the Task.

Wait States

PLAN_ITEM also has two optional attributes that control the timing behaviour of Task Plan elements: wait_spec and repeat_spec. The first enables a wait state (described above under Time and Wait States) to be applied to a Task or Group, which is triggered by time-related Events (clock time, reaching a point in a calendar) or other kinds of Events (external notifications etc). This allows the timing of a Task to be specified.

Repetition

The second attribute, repeat_spec of type TASK_REPEAT enables a Task or Group to be marked as repeating. This is not intended to replace the use of individual Task instances over time, such as repeated medication administrations, but rather to be used to indicate if larger sections (i.e. Task Groups) of planned Tasks are repeatable. Where repeats are specified, they will be unrolled into literal copies in the materialised expression of the Plan.

Repeat behaviour is specified in terms of the attributes repeats, terminate_condition and period. The first indicates the minimum and maximum number of repeats that may occur. Repetition occurs until the minimum number of repeats (i.e. repeats.lower) is reached. Following that, if terminate_condition is set, it is evaluated prior to each further potential iteration. Repetition will cease when terminate_condition becomes True or else when repeats.upper is reached (assuming no plan abandonment or other exceptions).

The optional period attribute defines the period of repetition. If the latter is not defined, each repetition commences according to the application of Task availability rules already defined on the individual Tasks and/or Groups; this will typically lead to each repeat executing as soon as the preceding one has completed. If set, the period will have the effect of spacing iterations out over time. Its value should be greater than the duration of a single iteration, since at execution time, a new iteration can only begin after completion of the previous one.

Other Attributes

Two archetypable structure attributes are defined on PLAN_ITEM. The first, classification, is designed to allow any Task Group or Task to be tagged with one or more classifications, and has the same structural definition at WORK_PLAN.classification.

The second, other_details is provided to support extensions, in the same manner as elsewhere in openEHR information models.

Lifecycle State

At execution time, every Plan Item (i.e. Task and Group) notionally has a lifecycle state, represented by a state machine, containing states and transitions reflecting possible actions by the performer. The lifecycle state of a Task is set by the TP engine and affected directly by performer actions and other logic, while the lifecycle state of a Group is aggregated from the state values of its member Tasks and Groups.

The lifecycle state does not appear directly as a data attribute on the PLAN_ITEM or TASK classes since it is a runtime variable for a Task. Accordingly, it appears in the materialised model, described below. It is however useful to decribe the lifecycle state here, since it represents a key part of Task Plan semantics, and influences whether Tasks (and thus Groups) fail or complete, and potentially whether the Plan continues in execution.

The state machine is shown below.

PROC TaskStateMachine
Figure 3. Task lifecycle state machine

The state machine is designed to represent both stateless and stateful views of the actual execution state of a Task in the real world. The standard pathway is available ⇒ completed or abandoned or cancelled, which enables a user to indicate the outcome of executing a Task, without having to report interim states during execution in the real world. The pathway through the state underway allows longer-running Tasks to be represented as being worked on. The suspended state is used to represent long-running Tasks that have been put on hold, i.e. are not currently being actively worked on, but are still considered to be underway.

Task lifecycle only accounts for the states of a Task itself; states of an order (e.g. prescription, lab request) with which the Task may be associated will be visible in the documentation for those objects, e.g. openEHR ACTION or other Entry objects.

The lifecycle states are described by the TASK_LIFECYCLE enumeration below.

TASK_LIFECYCLE Enumeration

  • Definition

Enumeration

TASK_LIFECYCLE

Description

Enumeration representing possible lifecycle states for a Task lifecycle transition.

Integer-based values.

Attributes

Signature

Meaning

planned

Task is defined, but not yet available for execution.

Value = 0.

available

Task is available for execution by the performer, due to previous Tasks having been performed, preconditions being met, and if there is a time specification on the Task, the current time being at or later than the stated time.

Value = 1.

cancelled

Task was cancelled prior to or during execution as not needed for success of the Plan. This is a terminal state.

Value = 2.

abandoned

Task was aborted due to completion being impossible, i.e. ended prematurely without meeting normal conditions of completion. This is a terminal state.

Value = 4.

underway

Task has been commenced or resumed from 'suspend' state.

Value = 5.

suspended

Task is put on hold, i.e. not actively being performed while in this state.

Value = 6.

completed

Task was completed in the intended way. This is a terminal state.

Value = 8.

Task Availability

Each Task in a new Plan execution starts in the initial state. Following the design principle described earlier, the execution engine executing a Task Plan can determine the availability i.e., when the transition planned ⇒ available may occur for any Task as follows:

  • control-flow: preceding Tasks / Groups within the owning Task Group are in the completed or cancelled state;

  • wait state: any Task or Group wait state has been exited due to the arrival of the relevant events (including time-related);

  • subject preconditions: subject preconditions attached to the current Task Action are satisfied.

A Task is considered available according to this logic even if performer and/or resources have not been allocated. Availability in this sense is the equivalent of the 'enabled' state of a task within a Workflow Net, described in [1], section 2.3.2.

The workflow application may provide an override capability so that a Task can be performed before it is determined to be available. This would enable a user to perform the Task anyway, forcing the lifecycle transition override from planned to available. A corresponding TASK_EVENT_RECORD is created recording the use of the override.

Aggregate Process State

The effective state of a Task Group, Task Plan and Work Plan can be inferred from the lifecycle states of the Tasks, according to logic described in Aggregate Lifecycle State. This includes availability of Task Groups containing parallel paths with associated OR logic, i.e. the equivalent of the OR-join in YAWL ([1], section 3.2).

References to Clinical Quality Artefacts

The classes WORK_PLAN and TASK_PLAN may contain various references to externally defined clinical quality artefacts that they are based on or relate to, as follows:

  • In WORK_PLAN:

    • care_pathway: a reference to a published care pathway from which this Work Plan was derived, if any;

    • care_plan: a machine reference to an underpinning Care Plan from elsewhere in the EHR, if any exists;

  • In TASK_PLAN:

    • guideline: reference to a published guideline (used by WORK_PLAN.care_pathway, if set) from which this particular Task Plan was derived, if any;

    • best_practice_ref: reference to an institutional document that defines the best practice on which this Task Plan is based, if any;

  • In PLAN_ITEM:

    • guideline_step: reference to a step within the guideline referenced by the current Task Plan or the care_pathway of the Work Plan, which is the basis of this Plan Item, i.e. single Task or Task Group.

In addition, where a Task Plan is driven by an order set, two attributes are provided to record the details:

  • In TASK_PLAN:

    • order_set_type: the identifier of a type of Order Set which this Task Plan uses, if any;

    • order_set_id: the identifier of a specific Order Set which this Task Plan uses, if any.

Lastly, the workflow_id attribute defined in ENTRY may be set within INSTRUCTION and ACTION to refer to the Order Set instance used in this Task Plan, if set.

Class Definitions

WORK_PLAN Class

  • Definition

Class

WORK_PLAN

Description

Top-level object of any logical work plan. References one or more TASK_PLANs that described the work, typically of each performer, although a single TASK_PLAN may also have multiple performers.

The attribute care_pathway and `care_plan`provide a way of associating a Work Plan with a published care pathway, and an operational care plan from within the EHR, if available.

Inherit

AUTHORED_RESOURCE, CONTENT_ITEM

Attributes

Signature

Meaning

0..1

care_pathway: ITEM_STRUCTURE

Identifier of care pathway etc, on which this Work Plan is based, if such exists. A 'care pathway' is understood here as a published standard for performing care for a major condition or presenting complaint, e.g. sepsis, heart attack etc.

The ITEM_STRUCTURE type is used to allow population at runtime with an archetype based on e.g. BibTex publication reference fields, such as the following:

  • title = "NICE Sepsis care pathway";

  • publisher = "National Institute of Health and Care Excellence (UK)";

  • year = 2016;

  • url = "https://pathways.nice.org.uk/pathways/sepsis".

1..1

plans: List<UID_BASED_ID>

References to all Task Plans use in this Work Plan. In general, only some of these are top-level Plans.

0..1

care_plan: LOCATABLE_REF

Care plan in EHR from which this Work Plan is derived, if any.

1..1

calendar: PLAN_CALENDAR

Global calendar object, containing events fixed in time relevant to the Plan’s Tasks, for example appointments.

1..1

timeline: PLAN_TIMELINE

Global timeline of Work Plan, on which Tasks with planned times can be listed.

0..1

context: PLAN_DATA_CONTEXT

Global Work Plan data context.

0..1

event_wait_states: List<EVENT_WAIT>

Reference list of all defined Event Listeners.

0..1

top_level_plans: List<TASK_PLAN>

The set of Task Plans that are active at Work Plan activation. Does not include Task Plans referred to from HAND_OFF or SUB_PLAN.

TODO: change to computed?

0..1

indications: List<DV_TEXT>

Clinical applicability of this Work Plan to subject of work, e.g. 'acute ischaemic stroke' etc. May be derived from a governing guideline.

0..1

order_list: Hash<String,ORDER_REF>

Orders tracked by Tasks in this Work Plan.

0..1

classification: ITEM_STRUCTURE

Archetypable structure for recording classification of Work Plans, e.g. business process category, administrative category etc.

Note that the same kind of classifications can be applied to Tasks and Groups via PLAN_ITEM.classification.

PLAN_CALENDAR Class

  • Definition

Class

PLAN_CALENDAR

Description

Work Plan global calendar in which all absolute-time Calendar Events are recorded.

Attributes

Signature

Meaning

0..1

entries: List<CALENDAR_ENTRY>

Entries in calendar.

PLAN_TIMELINE Class

  • Definition

Class

PLAN_TIMELINE

Description

List of Plan Items that have a wait_condition containing a TIMELINE_MOMENT event.

Attributes

Signature

Meaning

0..1

planned_items: List<PLAN_ITEM>

List of Plan Items that have a wait_condition containing a TIMELINE_MOMENT.

0..1

timers: List<TIMER_WAIT>

Reference list of all defined Timers.

CALENDAR_ENTRY Class

  • Definition

Class

CALENDAR_ENTRY

Description

A single calendar entry.

TASK_PLAN Class

  • Definition

Class

TASK_PLAN

Description

Logical list of Tasks in a structure defining order and conditions of execution of items of work intended to achieve a goal. A Task Plan consists of a top-level TASK_GROUP containing PLAN_ITEMs, which are either atomic TASKs, more TASK_GROUPs or conditional Groups.

A Task Plan specifies a principal_performer, representing a kind of actor who can perform the Tasks, and bounding start_time and completion_time information.

It has an associated execution_history that can be used to record work events in time.

The guideline attribute provides a way of associating a Task Plan with a published guideline on which the Task Plan may be based; this may be used by WORK_PLAN.care_pathway if set.

Inherit

CONTENT_ITEM

Attributes

Signature

Meaning

1..1

description: DV_TEXT

Human-understandable description of the Task Plan, which may be specific to the work items and patient.

0..1

subject: PARTY_PROXY

Optional indicator of subject of Task Plan, which is normally the subject of the EHR. If this is not the case, this attribute states with respect to whom the Plan is to be performed.

0..1

guideline: ITEM_STRUCTURE

Identifier of guideline on which this Task Plan is based, if such exists. A 'guideline' is understood here as a published standard for performing a detailed Task.

Identifier of care pathway etc, on which this Work Plan is based, if such exists. A 'care pathway' is understood here as a published standard for performing care for a major condition or presenting complaint, e.g. sepsis, heart attack etc.

The ITEM_STRUCTURE type is used to allow population at runtime with an archetype based on e.g. BibTex publication reference fields, such as the following:

  • title = "NHS guideline for Atrial fibrillation: management";

  • publisher = "National Institute of Health and Care Excellence (UK)";

  • year = 2016;

  • url = "https://www.nice.org.uk/guidance/cg180".

1..1

definition: TASK_GROUP

The Tasks for the main part of this Task Plan; this section of the plan may be repeatable.

0..1

execution_history: TASK_PLAN_EXECUTION_HISTORY

History of execution events for an execution of this Task Plan.

0..1

best_practice_ref: DV_URI

A URI (typically a local URL) that points to the document form of any governing guideline or other best practice publication in use in the current institution. This link provides a way for a clinician to cross-check the Task Plan design and functioning against the definitive document that acts as the source of its semantics.

0..1

expiry_time: Iso8601_duration

Maximal date/time by which this Task Plan should be considered obsolete. If not set, the Task Plan would normally be inferred to be obsolete after a discharge from acute care, but in primary or social care situations, no value may be assumed to indicate that the Tasks are still to be performed, depending on the times specified in the execution_time attribute of TASKs in the Plan.

0..1

due_time: Iso8601_duration

Due date/time expressed as an offset, to be converted to a real date/time at activation.

0..1

order_set_type: DV_IDENTIFIER

Optional identifier for an order set, which is understood as a type of order set, e.g. 'R-CHOP-14'.

0..1

order_set_id: DV_IDENTIFIER

Identifier of instance of an order set on which this Task Plan is based, if there is one.

0..1

indications: List<DV_TEXT>

Clinical applicability of this Task Plan to subject of work, e.g. 'pregnancy', 'lymphoma' etc. May be derived from a governing guideline. May be displayed as a safety precaution to human performer.

0..1

principal_performer: TASK_PARTICIPATION

Specification of principle performer of this Task Plan as a Participation, in terms of role and optionally function, mode and specific performer as appropriate.

TASK_PARTICIPATION Class

  • Definition

Class

TASK_PARTICIPATION

Description

Class defining a participation in Task(s), minimally in terms of function. Optionally, the role and mode may also be specified. The performer attribute enables a specific actor to be specified.

Attributes

Signature

Meaning

0..1

function: DV_TEXT

The function of the Party in this participation (note that a given party might participate in more than one way in a particular activity). This attribute should be coded.

0..1

role: List<DV_TEXT>

Organisational role, i.e. the professional type of participant in the activity. Preferably coded.

0..1

mode: DV_CODED_TEXT

Optional field for recording the 'mode' of the performer / activity interaction, e.g. present, by telephone, by email etc.

0..1

performer: PARTY_PROXY

The id and possibly demographic system link of the party participating in the activity.

1..1

optionality: VALIDITY_KIND

Condition for participation in the Plan item.

PLAN_ITEM Class

  • Definition

Class

PLAN_ITEM (abstract)

Description

Parent type of structural Task types that may appear within a Task Plan structure.

Inherit

LOCATABLE

Attributes

Signature

Meaning

1..1

description: DV_TEXT

Human-readable form of the task directive.

0..1

repeat_spec: TASK_REPEAT

Optional specification of repetitions.

0..1

classification: ITEM_STRUCTURE

Archetypable structure for recording classification of Task Groups or Tasks, e.g. business process category, administrative category etc.

0..1

wait_spec: TASK_WAIT

Optional wait specification for Plan Item (Task or Group) initiation. If not set, the Plan Item is immediately available once execution reaches it. If set, it becomes available when any Event in events occurs.

0..1

review_dataset: List<REVIEW_DATASET_SPEC>

Optional data-set to review prior to / as part of performing the Plan element.

0..1

guideline_step: String

Optional reference to a step within the guideline referenced by the current Task Plan (if set) or else the care_pathway of the Work Plan, which is the basis of this Plan Item, i.e. single Task or Task Group.

The reference may take the form of a plain text section or item name within the referenced guideline, e.g. '"Check heart rate"' or be a URI or path reference, if the guideline has an online machine-representation.

0..1

other_details: ITEM_STRUCTURE

Archetypable structure for recording non hard-modelled information.

0..1

reminders: List<REMINDER>

Optional wait state(s) that may be used to remind the Task performer to do something based on a Timer or other Event. Will be cancelled by the Task transitioning to any new state from the available state, due to performer activity.

TASK_REPEAT Class

  • Definition

Class

TASK_REPEAT

Description

Definition of repetition for a Plan Item. The repeats attribute states the number of repeats. Here, 'repeats' means additional executions, i.e. not counting the original execution. If not set, any number of repeats is allowed. The minimum number of repeats is set by the lower bound of repeats.

If set, the terminate_condition attribute defines when repetition should cease, once the minimum number of repeats has occurred according to repeats. It is expressed in terms of a condition, typically a subject-related variable. It is tested after prior to each new potential execution following the minimum number.

If period is set, this defines the duration between the start of each iteration at execution time. It has the effect at runtime of adding a wait_spec with a TIMELINE_MOMENT event to each PLAN_ITEM copy in the materialised form, i.e. creating the same structure as would have been created if the repetitions had been manually specified.

Attributes

Signature

Meaning

0..1

repeats: Interval<Integer>

Range of repetitions. If the lower limit is greater than zero, at least one repeat is required. A range such as 0..3 means up to 3 repeats possible, but not required.

0..1

terminate_condition: PLAN_EVENT

States a condition for when repetition should stop. If set, tested prior to each further potential repetition once the minimum number have been executed.

0..1

period: Iso8601_duration

Optional period of repetition, i.e. duration between the commencement of each PLAN_ITEM clone in the materialised form.

Task Group Structure

The set of Tasks in a Task Plan is represented within a containment structure created using instances of the TASK_GROUP class, which has three key attributes. Execution of a Group is primarily controlled by the execution_type and concurrency_mode attributes, which respectively indicate sequential or parallel processing, and for the latter case, various modes of and and or parallel processing logic (described in the next section), common to workflow formalisms. For more exotic situations, the execution_rules attribute can be used.

TASK_GROUP also has a training_level attribute which enables different visibility of Sub-Plans to users with different experience levels. This is described more fully below.

The Task Group construct enables two important ways to relate Tasks together:

  • as a module of work consisting of a series of Tasks, achieved by a Task Group with execution_type = sequential;

  • as a set of possible or mandatory concurrent threads of work, achieved by a Task Group with execution_type = parallel.

Sequential Task Groups

A sequential Task Group corresponds to a single thread of processing at execution time, in which each of the Tasks becomes available to the worker (i.e. Task Plan’s principal_performer) in order, and according to the specific conditions associated with each Task. The following illustrates a sequential Task Group in TP-VML. Note that although there is visually an end-group icon (right hand end), there is no separate class or instance in the model - both the start-group and end-group icons visually represent the TASK_GROUP as a logical container.

task group sequential
Figure 4. Sequential Task Group

Parallel Task Groups and Concurrency

The parallel Task Group represents a different degree of complexity, since it enables concurrent threads of work at execution time. In terms of YAWL and Petri net workflow theory, a parallel Task Group corresponds to paired split and join points. The following illustrates a parallel Task Group in TP-VML. The multi-point shape of the exit and entry elements is intended to convey the idea of multiple possible branches (the limitation of 3 points is purely visual, semantically, any number of branches is supported).

task group parallel
Figure 5. Parallel Task Group

The first difference between a parallel Group and a sequential one is that when a parallel Group is arrived at in the control flow, once any wait state is satisfied, the first Task in all of the outgoing branches is made available. Subsequent execution behaviour depends on the type of split and join logic (i.e. AND, OR, XOR, or other) which is represented by the attribute TASK_GROUP.concurrency_mode, whose possible values indicate to the execution engine three things:

  • how many branches may be commenced;

  • how commencing a branches affects other branches;

  • under what conditions to consider the group has completed.

Here, the notion of 'completion' corresponds to the completed state in the Task lifecycle state machine described earlier, inferred from the completion states of the items in the branches. The detail of how Task Group lifecycle state is aggregated from contained items is described in detail in Aggregate Lifecycle State. Here we describe only the logic determining the completed state, for the sake of simplicity.

The AND case is the simplest, since there is no conditional processing - all paths must be followed. An AND Group essentially represents work that should be performed, but for which the ordering is more relaxed than for a strict sequential Group.

The XOR case represents a 1/N choice, and is understood in this specification as representing the intent that only one path can sensibly be followed, usually because the branches are mutually exclusive alternatives in reality. Consequently, in execution, an XOR Group is processed such that as soon as one branch is chosen by a performer transitioning a Task from the available state, the first Task in all remaining branches is transitioned to cancelled, effectively cancelling the non-chosen branches. In this case completion is also trivial to determine.

However the OR case is more complicated. A minimal interpretation of 'OR' logic is that as soon as one branch in the Group completes, the Group is considered completed, and no more Tasks from other branches are available to perform. A maximal interpretation is that Group completion is achieved only when every path commenced completes. The model represents these two cases explicitly, via the values or_first_completed and or_all_started respectively of TASK_GROUP.concurrency_mode.

The following table summarises the semantics of the four concurrency modes.

Concurrency mode TP-VML Logic Split
behaviour
Join
behaviour

and_all_paths

task group parallel and

AND

All branches are followed.

Group completes when all branches complete.

xor_one_path

task group parallel xor

XOR

Only one branch can be started; once a branch is commenced, the first Task in remaining branches is transitioned to cancelled.

Group completes when the started branch completes; equivalent to a sequential Group, once a branch is chosen.

or_all_started

task group parallel or all

partial AND

One or more branches may be commence.

The Group is complete when all branches commenced have completed; equivalent to an AND consisting of all commenced branches.

or_first_completed

task group parallel or first

OR

One or more branches may be commenced.

The Group is complete when one branch completes.

The parallel / concurrent semantics attached to the Task Group do not indicate anything about decisional processing, i.e. the conditions that might be used to choose outgoing paths from the split point represented by a Task Group in the XOR and OR logic cases. Consequently, the choice of path(s) to follow in the parallel case is determined by the performer, not the system. In order to specify conditions on paths, the conditional subtypes described below are used.

Hierarchical Nesting

Task Groups of sequential and parallel types may be mixed in a hierarchical fashion. One structure is such that the overall work of a Task Plan is defined as a sequential Group in which some members are a parallel Group, as shown below.

task grouping
Figure 6. Nested Task grouping - sequential structure

Similarly, the outermost Group may be parallel, with the work being defined as sections of sequential work situated within a parallel Task Group, as shown below.

task grouping2
Figure 7. Nested Task grouping - parallel chains

Generic Execution-time Semantics

The combination of the Task Group / Task hierachical pattern, which implicitly defines the graph structure of the 'normal flow' of a Task Plan, and the generic control attributes defined on TASK and its descendant types enable a significant amount of execution-time Plan processing to be implemented independently of any specific Task semantics.

Well-formedness

A significant consequence of the Task Group construct in the TP model is that each Task Group forms a sub-network within its container, where a network is understood in the graph theory sense of a directed graph with a start s and terminal node t, containing paths from s to t n which all member elements are found. This holds for descendant types of TASK_GROUP, including the Decision Structures described below. This is a more limited form of connectivity than allowed in YAWL or BPMN, which do not require matched split and join points.

Training Level

One challenge with creating Task Plan definitions is the level of detail to use, with respect to the variable level of skill of different performers. For a senior nurse, a briefer version of the Plan would be preferable with actions such as 'set up IV with catheter' being a single atom, whereas a trainee may need to see a more detailed set of sub-tasks.

To enable a single Plan to be used in both ways, the concept of 'training level' is included in the model, on the TASK_GROUP class. This enables any Group of Tasks to be marked as having a specific training level, where a higher number corresponds to less experience. At execution time, the training level of the allocated performer can be obtained, and then used in comparison to the training level indicated on each Group (including the top-level Group of the whole Plan). If the user training level is higher, then the Group may be shown only as a single step (using its description, inherited from PLAN_ITEM); otherwise it may be shown as the set of sub-steps. This provides a simple way for the same Plan to be presented in different forms matching different performer experience levels.

The default value of training_level is 0.

Class Definitions

TASK_GROUP Class

  • Definition

Class

TASK_GROUP

Description

Grouping structure that defines the graph structure of a Task Plan, replacing node-to-node references.

This allows Task Group to define the execution basis for a collection of Tasks, which may include more Task groups.

The execution_type attribute defines the mode of execution. If not set, sequential execution is assumed.

If set to parallel, the Task Group represents a split/join pair with respect to all contained Tasks and Groups. In this case, concurrency_mode may be set to control the processing. If it is not set, 'AND' logic is assumed (i.e. and_all_paths).

Inherit

PLAN_ITEM

Attributes

Signature

Meaning

0..1

members: List<PLAN_ITEM>

Set of Tasks to perform. Execution order is defined by the execution_type setting, either sequential or parallel (no order).

0..1

execution_type: EXECUTION_TYPE

Basis for executing the Task items contained in this Task Group.

0..1

concurrency_mode: CONCURRENCY_MODE

Mode in which to execute if execution type is parallel.

0..1

execution_rules: List<EXECUTION_RULE>

Other rules that may control execution over and above the basic sequential / parallel scheme, e.g.

  • at least N members must complete for group to complete;

  • exit group on first succeeding task.

0..1

training_level: Integer

An integer value representing the training level for which this Task Plan is designed. A high value corresponds to a lower level of expertise. The default value is zero.

EXECUTION_TYPE Enumeration

  • Definition

Enumeration

EXECUTION_TYPE

Description

Enumeration specifying types of execution for a set of Tasks.

Attributes

Signature

Meaning

sequential

Items execute in order, one after the other.

parallel

Items may be executed in parallel, with no regard to order in the representation.

CONCURRENCY_MODE Enumeration

  • Definition

Enumeration

CONCURRENCY_MODE

Description

Mode in which concurrent processing should proceed.

Attributes

Signature

Meaning

xor_one_path

Only one parallel path is followed.

and_all_paths

All paths are followed, and Group completes only when all complete.

or_first_completed

Group completes when any one path completes.

or_all_started

Group is complete when all paths commenced complete.

EXECUTION_RULE Class

  • Definition

Class

EXECUTION_RULE

Description

Rule controlling execution in addition to basic sequential / parallel setting.

TODO: define detail.

General Task Semantics

Dispatchable and Performable Tasks

Tasks are represented by the TASK class whose two concrete sub-types distinguish the two basic flavours of Task, namely dispatchable and performable. TASK is a generic (i.e. templated) class, whose generic parameter is constrained to the type TASK_ACTION, the latter of whose subtypes defined the particular kinds of Tasks available.

The DISPATCHABLE_TASK<T> class has two attributes to do with managing context change and callback. The wait flag indicates whether the current Task waits (i.e. blocks) while the dispatched work is performed, or whether it continues on asynchronously. The first constitutes a context switch, the second a context fork. The callback attribute attaches a special kind of Event wait state that is triggered on receipt of a callback. How callbacks function in detail is described below.

There are some key differences between the two kinds of Task as shown in the following table.

Task Type Description Lifecycle state

Performable

Task performed by the current performer.

Advanced by actions of performer (real world actor)

Dispatchable

A Task whose work is dispatched for execution to another performer or system.

wait = True: Advanced by receipt of callback notification
wait = False: Automatically advanced to completed

Class Definitions

TASK Class

  • Definition

Class

TASK<TA> (abstract)

Description

Atomic Task that is typed according to the kind of TASK_ACTION it includes. A TASK has a lifecycle that can be progressed in the plan execution, i.e. in the Materialised form.

Inherit

PLAN_ITEM

Attributes

Signature

Meaning

1..1

action: TA

Task Action definition.

0..1

order_tags: List<String>

References to order(s) being created and / or tracked by this Task. The value(s) must match ORDER_REF.order_tag values from the list WORK_PLAN.order_list and be unique within the list.

Multiple tags are only required if the same Task causes creation of, or tracks, more than one order.

Invariants

Inv_order_tags: order_tags /= Void implies not order_tags.is_empy

DISPATCHABLE_TASK Class

  • Definition

Class

DISPATCHABLE_TASK<TA>

Description

Type of Task representing work to be performed by another actor. Such Tasks are 'dispatchable' in the sense that they consist of notifying a request for specific work to be done by another principal performer, or an external system or service. The details of the target are defined in action.

If wait is True, the Task blocks until the target work thread returns. If callback is set, specific processing can be performed on the return, before execution progresses. If it is not set, the Task completes normally on target completion, and execution continues to the next Task. In this case (wait = True, no callback), a global timer will be created for the Task to deal with the situation where the dispatch target never returns.

Inherit

TASK

Attributes

Signature

Meaning

1..1

wait: Boolean

Flag indicating whether to wait or continue in the current Plan after the dispatch notification has been achieved. wait = True corresponds to a context switch (block and wait) while wait = False indicates a context fork.

0..1

callback: CALLBACK_WAIT

Optional callback notification handler.

PERFORMABLE_TASK Class

  • Definition

Class

PERFORMABLE_TASK<TA>

Description

Represents a Task that can be performed by the principal performer during the Plan execution.

Inherit

TASK

Attributes

Signature

Meaning

0..1

capture_dataset: List<CAPTURE_DATASET_SPEC>

Associated data-set template and/or form via which data to be captured during this Task will actually be entered.

Task Actions

The specific definition of the work of Tasks is provided by TASK.action, of type TASK_ACTION and its subtypes. Two abstract sub-types DISPATCHABLE_ACTION and PERFORMABLE_ACTION distinguish the dispatchable and performable flavours of Task Action, corresponding to the two TASK subtypes. The following UML diagram shows TASK_ACTION and its subtypes in detail.

PROC task planning.definition actions
Figure 8. proc.task_planning.definition model - Task Actions

TASK_ACTION includes two attributes that apply to all subtypes. The first is subject_preconditions, which enables subject-related preconditions to be expressed, i.e. conditions referencing variables relating to the subject such as vital signs. These preconditions can be understood as conditions for safe processing, and should either be satisfied before proceeding, or else overridden by a competent performer who understands the implications.

A subject precondition is formally represented as a BOOLEAN_CONTEXT_EXPRESSION, whose expression value is a string in openEHR Expression Language syntax.

Pre-conditions are evaluated at the point at which the Task to which they are attached becomes available during execution. If any pre-condition evaluates to False, the Task is in theory unable to be performed. A clinical professional may override at execution time, since it may always be the case that particular circumstances obviate the need for a particular pre-condition that normally applies.

The second generally applicable attribute is costing_data, since cost information may clearly be relevant to any Plan item. Costing is dealt with in detail below.

Performable Actions have two attributes. The other_participations and resources attributes allow other performers and passive resources to be defined for an Action. Both are subject to an allocation process at execution time, similar to that of the principal_performer.

The subtypes of TASK_ACTION consist of the following:

Type TP-VML Description

DEFINED_ACTION

task defined task

An inline-defined Task to be performed by the principal performer of the Group (see below for details);

SUB_PLAN

task sub plan

A kind of Task that stands for another Task Plan (identified by the inherited LINKED_PLAN.target attribute) to be performed by the current performer - usually a fine-grained set of steps designed to achieve the result of this Task.

SYSTEM_REQUEST

task system request

A kind of Task that consists of a request to a computational system, such as a data retrieval or procedure call, on behalf of the current performer;

HAND_OFF

task hand off

A kind of Task that hands off to another Task Plan in the same Work Plan, having a different performer (identified via the target attribute inherited from LINKED_PLAN);

EXTERNAL_REQUEST

task external request

A Task type that consists of a request to an external organisational entity that is outside the current Work Plan and its execution environment, on behalf of the current performer;

The following sections provide more detail on some of these model features.

Performable Actions

Sub-plans and Re-use

As described above, multiple Task Plans may be used to define a single logical plan of work. This occurs for two main reasons:

  • re-use: Task Plans that can be used on their own, e.g. 'set up IV drip', are combined within a larger plan;

  • level of granularity: a Task Plan can contain Tasks that can be represented as finer-grained Task Plans, which may potentially be used or passed over depending on the level of experience, known here as training level of the performer.

The following instance diagram illustrates.

task linking
Figure 9. Task Plan linking

This shows a Plan for dialysis with a single performer, 'dialysis nurse', and several sub-plans, each referred to by an instance of the SUB_PLAN class. Since a Sub-plan is a kind of Task, it has a description and could be performed and signed off as if it were a normal inline DEFINED_ACTION by an experienced performer (training level high), or it might be entered into by a performer such as a trainee nurse. The TASK_GROUP.training_level attribute can be used to set the experience level of sub-plans if required; implementing this behaviour at execution time would rely in the Plan execution engine using this setting.

Inline Defined Actions

Tasks whose definitions are stated within a Task Plan are modelled using the DEFINED_ACTION type. A detailed specification of the work to be done in a Defined Action may be stated via optional atttribute prototype of type ENTRY, which enables the details of a Task to be specified in terms of a descendant of the ENTRY class. This is typically an ACTION instance but could be an OBSERVATION, ADMIN_ENTRY or other descendant. The following view of the UML illustrates.

PROC task planning.definition defined task
Figure 10. proc.task_planning.definition - Definition Task

The attribute is called 'prototype' because the target Entry instance is understood as a partially populated, prototype 'planning time' partial copy of an Entry that will be created when the Task is actually performed. For example, a Task Plan for administering medication at 8 hourly intervals over a number of days could consist of a number of DEFINED_ACTIONs, each having a protoype of an ACTION instance based on the openEHR-EHR-ACTION.medication.v1 archetype or a templated version thereof. Each such instance would contain the structured description of the medication administration and time, and when the administration was actually performed, an ACTION instance would be created from the prototype, modified to reflect any divergence from the planned form of the Task, and committed to the EHR in the normal way.

The following illustrates Task definitions using prototypes.

task definition
Figure 11. Task definition

Assuming that the Task Plan is archetyped in the same way as Entries and other elements of the EHR, this scheme supports various modes of design-time specification. The prototype attribute in a TASK_PLAN archetype will usually be represented by an archetype slot or external reference, which specifies identifiers of permitted archetypes (or templates) of the target type, i.e. ACTION or other Entry. This can be used in various ways, as follows:

  • external reference: specifies a fixed archetype identifier which will be substituted in the templated form of the Task Plan. This has the effect of creating ACTION or other prototype instances in the TASK_PLAN structure;

  • archetype slot: specified using a slot constraint that is satisfied by one or more archetypes that may be specified by a template, or left open until runtime.

In the latter case, the slot may be filled in the Task Plan template with an ACTION or other Entry archetype, allowing the Tasks to be fully specified inline as in the external reference case. Alternatively, it may be left unresolved, which would allow the workflow application to choose the exact Task definition archetype at runtime.

One reason to allow a Task to contain a prototype reference that remains unresolved until runtime is if the Task represents the act of making an observation, for example, taking a blood pressure. In such cases, no prototype at all may be needed, and the Task description attribute (inherited from PLAN_ITEM) may be sufficient information for the performer. On the other hand, a prototype OBSERVATION could be specified in the TASK_PLAN template, which defines a particular form of the observation, e.g. a blood pressure which only records mean arterial pressure and cuff size.

To allow further flexibility, The multiplicity of the prototype attribute is unlimited, to allow for the possibility of one Task being prototyped by more than one Entry instance, e.g. an ACTION and an OBSERVATION, two ADMIN_ENTRY instances and so on.

Dispatchable Actions

The type DISPATCHABLE_ACTION is the abstract parent of various Action subtypes that represent work requested to be done by some other agent, i.e. external to the current Task Plan. The three sub-types correspond to 3 different types of other performer, i.e.:

  • HAND_OFF: another principle performer in the same Work Plan;

  • EXTERNAL_REQUEST: a performer outside the current Work Plan computational environment.

  • SYSTEM_REQUEST: a computation to be performed by a system call;

The general execution scheme for such Actions is as follows:

  • dispatch the work request to a target actor or service;

  • block or continue, according to the wait flag, which determines switch or fork behaviour; and

  • process any callback notification, specified via the callback attribute.

The following sub-sections described the various subtypes of DISPATCHABLE_ACTION, while callbacks are described in detail further down.

Hand-offs and Coordinated Teamwork

Work Plans may be designed to contain multiple Task Plans, each corresponding to a team worker. In the execution of such a Work Plan, the performer of any Task Plan may at some point need to hand off to another performer, i.e. one of the other Task Plans in the same Work Plan. As described above, the original worker may wait or continue, and in both cases, receipt of a callback notification from the other Task Plan may cause a change in the execution path of the first Plan.

The following illustrates, using the example of an acute stroke management care process.

task coordination
Figure 12. Task coordination

In this Work Plan, three Task Plans are used to perform (parts of) the clinical work coordinated for managing an acute stroke, as per a Care Pathway. There are two Hand-offs, the first synchronous (wait = True; callback wait resumes at the next Task) and the second an asynchronous fork (wait = False).

External Request

The Task sub-type EXTERNAL_REQUEST represents a request by the current performer to an external entity completely outside of the current Work Plan computational context, to request some work on behalf of the performer. This is typically an organisation of which routine requests can be made (e.g. pathology laboratory). The request has to be defined generically, in terms of an organisation identifier, a request identifier (i.e. a name or type of job) and a list of other details, represented by the standard archetypable ITEM_STRUCTURE.

System Request

The Task sub-type SYSTEM_REQUEST represents a request to a system with a computational interface on behalf of the performer, such as a logging facility or a decision support system. The request is defined in terms of a SYSTEM_CALL instance.

Class Definitions

TASK_ACTION Class

  • Definition

Class

TASK_ACTION (abstract)

Description

Abstract parent of Task Action types, which define the specifics of the work of a Task. All Task Actions may have subject preconditions (i.e. preconditions on the state of the subject) that must be met or overridden before proceeding; costing information; and one or more review data sets to display in the application environment.

Performable Actions have further properties.

Inherit

LOCATABLE

Attributes

Signature

Meaning

0..1

instruction_activity: LOCATABLE_REF

Optional reference back to the ACTIVITY of an INSTRUCTION that generated this TASK.

TODO: may be movable to PERFORMABLE_ACTION.

0..1

subject_preconditions: List<SUBJECT_PRECONDITION>

Condition which must be met for the Task Action to be available to perform in a runtime execution context.

0..1

costing_data: TASK_COSTING

Costing data related to this Task item.

SUBJECT_PRECONDITION Class

  • Definition

Class

SUBJECT_PRECONDITION

Description

Clinical preconditions expressing when the Task is safely executable with respect to the principal performer and subject.

Attributes

Signature

Meaning

1..1

description: String

Textual representation of preconditions for this Task to be performed, according to governing protocol. May be displayed as a safety check for human performer, e.g. 'patient no allergic to penicillin'.

Evaluated when encountered.

0..1

expression: BOOLEAN_CONTEXT_EXPRESSION

An optional formal Boolean expression that can be machine-evaluated at runtime to determine availability, if the relevant variables exist.

PERFORMABLE_ACTION Class

  • Definition

Class

PERFORMABLE_ACTION (abstract)

Description

Represents an Action that can be performed by the principal performer during the Plan execution. This is either inline defined or via reference to a sub-plan.

Inherit

TASK_ACTION

Attributes

Signature

Meaning

0..1

resources: List<RESOURCE_PARTICIPATION>

Descriptions of resources required for the Task, if required to be processed at runtime as pre-conditions to Task execution.

0..1

other_participations: List<TASK_PARTICIPATION>

List of participations for task item.

RESOURCE_PARTICIPATION Class

  • Definition

Class

RESOURCE_PARTICIPATION

Description

Description of a resource with optional external system reference.

TODO: explain external_ref.

Attributes

Signature

Meaning

1..1

resource_type: DV_TEXT

Text or coded description of resource.

0..1

external_ref: OBJECT_REF

Reference to resource, e.g. in scheduling or other system.

TODO: may need to be a more powerful reference like a SYSTEM_CALL.

DEFINED_ACTION Class

  • Definition

Class

DEFINED_ACTION

Description

Task sub-type that represents concretely defined work items. The definition of the work of the Task is expressed in terms of archetype of an ENTRY (usually an ACTION) that will be used to record the Task’s execution.

The entry_instance attribute can be used to record a forward reference to an ACTION or other ENTRY when it has been recorded.

Inherit

PERFORMABLE_ACTION

Attributes

Signature

Meaning

0..1

prototype: List<ENTRY>

Prototype instance of one or more openEHR EHR Entries that express the specific work of the Task. Normally one Entry would be used, typically an ACTION, but more than one may sometimes make sense, e.g. an ACTION and an OBSERVATION.

0..1

optionality: VALIDITY_KIND

Informal indication of whether Task is considered optional or not from the point of view of any guideline. If not set, the Task is treated as mandatory.

This attribute is not used computationally.

SUB_PLAN Class

  • Definition

Class

SUB_PLAN

Description

A Task referencing another Plan within the same Work Plan, to be executed by the current performer. Execution continues on from the previous Task.

For an experienced performer, the referenced Plan, which is usually more detailed may not be needed.

Inherit

LINKED_PLAN, PERFORMABLE_ACTION

DISPATCHABLE_ACTION Class

  • Definition

Class

DISPATCHABLE_ACTION (abstract)

Description

Type of Task Action that is performed by another performer, system or organisation.

Inherit

TASK_ACTION

HAND_OFF Class

  • Definition

Class

HAND_OFF

Description

A kind of Task representing a hand-off to a different performer in the current Work Plan.

Tasks of the linked Plan become available to that performer, who is also alerted to start work.

A hand-off usually involves waiting with later notification (callback), or continuation. Waiting would typically mean the Plan execution engine places this Plan on a wait list, enabling the performer to proceed with work on other subjects.

Inherit

LINKED_PLAN, DISPATCHABLE_ACTION

EXTERNAL_REQUEST Class

  • Definition

Class

EXTERNAL_REQUEST

Description

Task type for representing a request to an external organisational service or actor not within the current Work Plan.

Inherit

DISPATCHABLE_ACTION

Attributes

Signature

Meaning

1..1

organisation: PARTY_PROXY

Identifier of organisation to which the request or order is addressed.

1..1

request_id: String

Request identifier for this type request. May be used in callback notification. Other runtime instance-level identifiers may be needed as well.

0..1

other_details: ITEM_STRUCTURE

Request details.

TODO: more details needed.

SYSTEM_REQUEST Class

  • Definition

Class

SYSTEM_REQUEST

Description

Request to an external computational system or service.

Inherit

DISPATCHABLE_ACTION

Attributes

Signature

Meaning

1..1

system_call: SYSTEM_CALL

Definition of call to make.

LINKED_PLAN Class

  • Definition

Class

LINKED_PLAN (abstract)

Description

Task type that represents a dispatch to another Task Plan to be executed by another performer in a Plan Group.

Attributes

Signature

Meaning

1..1

target: TASK_PLAN

Reference to target TASK_PLAN object.

Data-sets and Application Interaction

Overview

In order for performers to execute Task Groups and individual Tasks within a Plan, specific data must often be reviewed to enable the performer to proceed. This is generally the case for Tasks that involve administering drugs to a patient, where the dose depends on one or more variables relating to the patient state, such as ECG data, INR, heart rate etc.

To achieve this, the Task Planning model formalises the relationship between a 'data set' and a Task that may use it. A 'data-set' in openEHR is a template, normally displayed as a form within an application. In the Task Planning context, a data set may also be a sub-section of a template or form, specified by a path, to allow more than one Task to be used to construct each section of a form. The following UML diagram shows the data-set related classes in detail.

PROC task planning.definition dataset
Figure 13. proc.task_planning.definition model overview

Display and Capture Data-sets

Two variants of data-set are defined, as follows:

  • data display: a REVIEW_DATASET_SPEC represents a template or part thereof that is to be displayed in order for the Task performer to do the work of the Task;

  • data capture: a CAPTURE_DATASET_SPEC represents a template or part thereof that is to be populated by the work of the Task.

Either a template or form identifier (or both) maybe be used to specify a data-set. The populating_call attribute may be used to define a system call that will pre-populate either kind of data-set. The form_section_path attribute is populated if a data-set section (i.e. part of a form) needs to be specified.

A review data-set may be specified on any Plan Item (i.e. Task Group or Task, of any kind) via the attribute PLAN_ITEM.review_dataset, in order to signal to the runtime system to request the display of data at the start of that part of the Plan.

A capture data-set may be specified for a PERFORMABLE_TASK only (since the work of the Task in this case is what achieves the desired data capture), via the capture_dataset attribute.

For reference, any review data-set may have any number of capture data-sets used to capture the data associated with it, via the REVIEW_DATASET_SPEC.capture_datasets attribute. This enables the relationship between potentially numerous (typically small) forms/dialogs used to obtain data from users and the commonly larger forms used to display such data.

Both kinds of data sets described here may be the same as or related to templates and/or forms used in the generation of Task EHR data, mentioned in PERFORMABLE_ACTION.prototype.

Progressive Data Capture

Where Tasks involve data entry as part of the work, the data capture may occur over more than one Task, to be committed at some final Task when the data-set is deemed complete by the user. To support such progressive data capture, the notion of a commit group is used. This is an identifier for a logical data-set that might be entered in one or more forms over a number of Tasks. It is formally represented by the optional commit_group attribute in CAPTURE_DATASET_SPEC, of type DATASET_COMMIT_GROUP. To represent a progressively entered data-set, an instance of this type is used on each Task contributing to the data-set (need not be contiguous), with all but the final instance having the Boolean attribute completion_step set to False. The final Task in the series is marked by setting this flag True, at which point the execution engine may perform a standard commit action. The following diagram illustrates a typical instance of this structure.

progressive data capture
Figure 14. Progressive data capture structure

Class Definitions

DATASET_SPEC Class

  • Definition

Class

DATASET_SPEC (abstract)

Description

Specification of a related data-set and/or form to use with a Task, usually by means of display and/or data entry screens in an application being used by the principal performer.

Inherit

LOCATABLE

Attributes

Signature

Meaning

0..1

form_id: String

Form identifier.

0..1

template_id: String

Template identifier in String form of an ARCHETYPE_HRID. If used with no form_id, the Execution engine needs to determine how to find a form based on the template identifier.

0..1

other_details: ITEM_STRUCTURE

Other data-set related details.

0..1

populating_call: SYSTEM_CALL

Optional system call that will populate this data-set.

0..1

form_section_path: String

Optional path to a sub-section of the form identified by form_id. The format of the path is the same as a template or AQL path.

Invariants

Inv_validity: form_id /= Void or template_id /= Void

CAPTURE_DATASET_SPEC Class

  • Definition

Class

CAPTURE_DATASET_SPEC

Description

Specification of a related data capture data-set and/or form to use with a Task, usually by means data entry screens in an application being used by the principal performer.

Inherit

DATASET_SPEC

Attributes

Signature

Meaning

0..1

commit_group: DATASET_COMMIT_GROUP

Optional information for multi-step form fill and commit interaction with the EHR.

REVIEW_DATASET_SPEC Class

  • Definition

Class

REVIEW_DATASET_SPEC

Description

Specification of a related data display data-set and/or form to use with a Task, usually by means display screens in an application being used by the principal performer.

Inherit

DATASET_SPEC

Attributes

Signature

Meaning

0..1

capture_datasets: List<CAPTURE_DATASET_SPEC>

Capture data-sets (forms etc) used to obtain the data displayed in this Review data-set.

DATASET_COMMIT_GROUP Class

  • Definition

Class

DATASET_COMMIT_GROUP

Description

Specification of a 'commit group', i.e. a complete data set (usually a multi-part form) that is progressively built and committed in the incomplete lifecycle state, with a final complete state commit.

Attributes

Signature

Meaning

1..1

group_id: String

Unique identifier of this commit group within scope of a single Task Plan.

1..1

completion_step: Boolean

If True, the Task to which this Dataset Spec is attached is the one that puts it into the complete lifecycle state.

Decision Structures

Overview

Most Task Plans include decision structures, in which one of multiple branches may be taken depending on specific conditions. There are four varieties of such structure, which are defined as specific descendants of the TASK_GROUP class, as shown in the following UML model.

PROC task planning.definition decision
Figure 15. proc.task_planning.choice package - decision structures

The CHOICE_GROUP class defines the essential semantics for all conditional structure types, which is that they conform to a parallel (execution_type is constrained to parallel), XOR-logic (i.e. single path) concurrency model, as indicated by the class invariants. In traditional workflow processing, any instance of a CHOICE_GROUP is thus logically an XOR gate.

The specific sub-types are based on the design principles described earlier, which distinguished both different conditional structural types, and three different levels of system support, i.e. 'automated', 'decision support' and 'ad hoc'. The combination of structural types and levels of system/user interaction levels is realised in terms of variations on the CHOICE_GROUP and CHOICE_BRANCH classes shown above, which define a generic notion of a decision point from which multiple branches emanate. The variations in system support manifest as follows.

  • fully automated: three kinds of fully defined decision structures, namely the CONDITION_XX, DECISION_XX and EVENT_XX classes shown in the UML diagram;

  • decision support: where instances of the above structures should be considered recommendations only, the override_type attribute defined on CHOICE_GROUP may be used on any XX_GROUP to indicate that user override is allowed;

  • ad hoc: a dedicated variation ADHOC_GROUP and ADHOC_BRANCH are used to represent multiple branches where no criteria are defined in the Plan definition, but are instead provided by an execution-time user.

In the override and adhoc cases, a justification may be provided at execution-time for having overridden or made a particular adhoc choice. This is represented in the materialised model, and therefore does not appear in the definition model.

The three fully defined decision patterns are described below.

Condition Group (if/elseif/else chain)

The first is a structure in which a set of Task Groups are treated as separate branches from a common point in the Plan. Each branch is entered conditionally according to the Boolean expression included on the branch. The classes CONDITION_GROUP and CONDITION_BRANCH provide this structure, which is equivalent to an if/then/else structure in a programming language. A final 'else' branch may be defined using a CONDITION_BRANCH with an expression representing the True value. At execution time, the branches are evaluated in order, in the manner of an if/then/else structure.

The following diagram shows a typical condition structure.

condition structure
Figure 16. Condition structure

Decision Group (case)

The second pattern corresponds to a decision point in a workflow at which some expression is evaluated, and each outgoing branch corresponds to a sub-set of the expression’s value range (value_constraint attribute). The classes DECISION_GROUP and DECISION_BRANCH provide this structure, which is equivalent to a switch statement in a programming language. The branch sub-ranges should ideally be individually mutually exclusive, and collectively they should cover the entire value range of the expression. As with the Condition Group, the branches are processed in the order stated in the definition, which allows overlapping value constraints on successive branches. A catch-all 'else' branch may be represented as a DECISION_BRANCH with an open value_constraint (i.e. matching all values).

The following diagram shows a typical decision structure.

decision structure
Figure 17. Decision structure

Event Group

The final structure is a wait state at which multiple branches correspond to the receipt of different events. Taken together, the events constitute a set of logical alternatives at the relevant point in the Plan. This structure is modelled using the classes EVENT_GROUP and EVENT_BRANCH, and is equivalent to a when / then / else rules structure in a rule-based programming environment.

event structure
Figure 18. Event structure

Class Definitions

CHOICE_GROUP Class

  • Definition

Class

CHOICE_GROUP (abstract)

Description

Abstract precursor of root node of any decision structure. All such structures are instances of a Task Group in parallel mode, with XOR (single path) concurrency logic.

Inherit

TASK_GROUP

Attributes

Signature

Meaning

0..1

override_type: OVERRIDE_TYPE

Indicates kind of user override that would be accepted at runtime. If set to a value other than prohibited, user interaction is assumed, and runtime processing must enter a wait state.

0..1

timeout: TIMER_WAIT

Timeout handler to use if CHOICE_GROUP blocks unexpectedly, e.g. due to absent user, unavailable external data item.

0..1
(redefined)

members: List<CHOICE_BRANCH>

Set of branches in this Choice Group.

Invariants

Inv_parallel: execution_type = EXECUTION_TYPE.parallel

Inv_xor_concurrency: concurrency_mode = CONCURRENCY_MODE.xor_one_path

OVERRIDE_TYPE Enumeration

  • Definition

Enumeration

OVERRIDE_TYPE

Description

Enumeration expressing kinds of override that can be stated for a Plan definition decision structure.

Attributes

Signature

Meaning

allowed

Override by user is allowed.

allowed_with_reason

User override allowed with provided reason.

prohibited

Override by user is prohibited.

CHOICE_BRANCH Class

  • Definition

Class

CHOICE_BRANCH (abstract)

Description

Abstract precursor of any subordinate branch in a decision structure.

Inherit

TASK_GROUP

CONDITION_GROUP Class

  • Definition

Class

CONDITION_GROUP

Description

Special kind of Task Group whose members are all CONDITION_BRANCH instances, each of which represents a conditional expression based on context variables. Member branches are evaluated in order, which enables overlapping conditions. The final branch may be used as a logical else (i.e. 'match-any') branch with a condition of True.

This structure is the equivalent of a programming if/then/else statement.

Inherit

CHOICE_GROUP

Attributes

Signature

Meaning

0..1
(redefined)

members: List<CONDITION_BRANCH>

Set of branches in this Condition Group.

CONDITION_BRANCH Class

  • Definition

Class

CONDITION_BRANCH

Description

A specialised kind of TASK_GROUP representing a branch in a Condition Group.

Inherit

CHOICE_BRANCH

Attributes

Signature

Meaning

1..1

condition: BOOLEAN_CONTEXT_EXPRESSION

Boolean-valued test expression which if True indicates that this Branch is to be followed during execution.

Invariants

Inv_no_wait_condition: wait_spec = Void

DECISION_GROUP Class

  • Definition

Class

DECISION_GROUP

Description

Special kind of Task Group whose members are all DECISION_BRANCH instances, each of which represents a distinct value sub-range, and which represent together the total possible range of values of the test expression.

This structure is the equivalent of a programming 'case' statement. It is processed in order, and for situations that need it, the last branch may use a value_constraint representing 'any value', to represent a catch-all 'else' branch.

Inherit

CHOICE_GROUP

Attributes

Signature

Meaning

1..1

value: CONTEXT_EXPRESSION

Reference to an Expression Language terminal that may be a function call or property reference. The Result value is compared to value_constraint sub-ranges in each of the various output branches, in the manner of a case statement.

0..1
(redefined)

members: List<DECISION_BRANCH>

Set of branches in this Decision Group.

DECISION_BRANCH Class

  • Definition

Class

DECISION_BRANCH

Description

A specialised kind of TASK_GROUP representing a branch in a Decision Group.

Inherit

CHOICE_BRANCH

Attributes

Signature

Meaning

1..1

value_constraint: BOOLEAN_CONTEXT_EXPRESSION

Constraint on result value of the owning Decision Group value, for this branch.

Invariants

Inv_no_wait_condition: wait_spec = Void

ADHOC_GROUP Class

  • Definition

Class

ADHOC_GROUP

Description

Special kind of Task Group whose members are all ADHOC_BRANCH instances, each of which represents an outgoing branch. No conditions or rules are supplied in the model, and it is assumed that the user has a way of choosing based on the branches, and the decision context.

Inherit

CHOICE_GROUP

Attributes

Signature

Meaning

0..1
(redefined)

members: List<ADHOC_BRANCH>

Set of branches in this Adhoc Group.

ADHOC_BRANCH Class

  • Definition

Class

ADHOC_BRANCH

Description

A specialised kind of TASK_GROUP representing a branch in an Ad Hoc Group.

Inherit

CHOICE_BRANCH

Invariants

Inv_no_wait_condition: wait_spec = Void

EVENT_GROUP Class

  • Definition

Class

EVENT_GROUP

Description

Special kind of Task Group whose members are EVENT_BRANCH instances each representing a mutually exclusive Event Wait, the first of which occurs determines the execution path.

at least one of the branches should have a timeout set, i.e. wait_spec.timeout /= Void to ensure the Event group does not block indefinitely. If no such timeout is set, the Plan global timeout will eventually fire.

Inherit

CHOICE_GROUP

Attributes

Signature

Meaning

0..1
(redefined)

members: List<EVENT_BRANCH>

Set of branches in this Event Group.

EVENT_BRANCH Class

  • Definition

Class

EVENT_BRANCH

Description

A specialised kind of TASK_GROUP representing a branch in an Event Group.

Inherit

CHOICE_BRANCH

Invariants

Wait_spec_not_void: wait_spec /= Void

Order Tracking

A small number of features in the model are designed to support the tracking of orders from a Work Plan. The following UML view shows the relevant classes and properties.

PROC task planning.definition order tracking
Figure 19. Order tracking

The facilities consist of the following:

  • the ORDER_REF class, representing an 'order reference';

  • WORK_PLAN.order_list is a table of Order Refs being tracked by the current Plan;

  • TASK.order_tags allows any Task to reference one or more ORDER_REF instances in the Work Plan order_list.

These features enable the creation and/or tracking of orders in an EHR system, according to various scenarios described below. Orders as described here are usually represented as openEHR Instructions and Actions committed to an openEHR EHR (within Compositions), but may in fact be any object(s) that can be referred to by a LOCATABLE_REF(which contains a URI). The following sub-sections assume openEHR Instructions and Actions for simplicity of explanation.

Two key attributes are used to connect Tasks in a Work Plan to Instructions in the EHR. The first is the ORDER_REF.order_ref attribute, which represents a reference to the Instruction in the EHR. Subsequent Actions that are committed for a given Instruction contain references to the Instruction, which can be matched to the order_ref value.

The second attribute is ORDER_REF.order_tag, used to logically identify an order tracking reference (i.e. an ORDER_REF) within a Work Plan. Any TASK that wants to refer to one or more orders records these same references in its TASK.order_tags attribute. An order tag may take any String value not containing white space characters. The recommended approach is to use strings meaningful and unique within the Plan context, such that every order is distinguished, including distinct instances. For example, the value "hypertension_medication" may be sufficient within one Plan to identify and track an order for such medication, but if the Plan potentially may track two or more such medications, more unique values will be required, e.g. "beta_blocker_medication", "ACE_inhibitor_medication" etc. Similarly, orders for different types of insulin (typical for diabetics) would need to be distinguished.

Multiple order tags may be used in a TASK for the case where a single Task causes creation of multiple orders, or a single Task waits on events (Action commits) from multiple orders.

For Plans in which repetition occurs (PLAN_ITEM.repeat_spec), order tags may be constructed using the format "xxxx@n", e.g. "doxorubicin@1", "doxorubicin_admin@2" to refer to the orders for Doxorubicin in two distinct cycles of chemtherapy mentioned in the same Work Plan.

Tracking an Existing Order

In this scenario, at Work Plan design time, an order already exists in the form of an Instruction committed to a patient EHR. This might be a standing order, e.g. for insulin. The Plan might be used to track patient or healthcare professional administrations of such a medication.

Since it is possible to construct a LOCATABLE_REF to the INSTRUCTION (and indeed, to a contained ACTIVITY), it may be referenced from a Work Plan using an ORDER_REF instance, via the order_ref property. The corresponding Instruction archetype identifier may also be recorded, enabling direct lookup by the TP engine, for use within the Plan modelling environment. The order_tag field will be set to a value that refers to the order in a sufficiently precise way as to be unique within the Work Plan.

This scheme allows Tasks to be defined within the Plan that have a Task Wait (PLAN_ITEM.wait_spec) that wait on an event (e.g. SYSTEM_NOTIFICATION or MANUAL_NOTIFICATION) that is generated due to a subsequent commit to the EHR of ACTIONs for the original order (e.g. drug administration events, cancellation or suspension of medication by the doctor etc).

TBD: could also use Dispatchable Task approach as per below, to wait on an existing order.

Creating and Tracking an Order

In this scenario, the Work Plan is the creator of the order(s) of interest. At Work Plan design time, there is no order (i.e. INSTRUCTION) in the EHR (this will only occur at Plan execution time), so ORDER_REF.order_ref cannot initially be populated. An ORDER_REF can nevertheless be created for the order at Plan design time, with the order_tag being used to refer to the order from within the Work Plan. A typical Plan structure in this case might contain the following, for each order:

  • a PERFORMABLE_TASK<DEFINED_ACTION> with associated capture_dataset, representing the entry of routine data and creation of the order, resulting in a commit to the EHR system of a Composition containing an Instruction for the order;

  • a subsequent DISPATCHABLE_TASK<SYSTEM_REQUEST> (or DISPATCHABLE_TASK<EXTERNAL_REQUEST>) that causes the appropriate API call or message to be generated and sent to the filler of the order (e.g. pharmacy, laboratory etc); this Task may include a callback wait state (DISPATCHABLE_TASK.callback) so that it blocks and waits for a result within a certain time-frame.

Both the Performable and Dispatchable Tasks use TASK.order_tags to logically refer to the same order. Any number of pairs of Performable and Dispatchable Tasks may be defined to create and react to different orders being processed within the same Work Plan.

A concrete callback event can be arranged to occur when an ACTION for the order of interest is committed to the EHR. This relies on the population of the relevant Work Plan CONTEXT_REF.order_ref attribute within the TP engine execution environment, at the moment the order is created in the EHR system. This then allows commits of ACTIONs for that order (among others, generally) to be matched with the Dispatchable Task(s) waiting on them. The callback processing for the Dispatchable Task follows the order tracking callback model described in Callback Processing for Blocking Tasks below.

The Dispatchable Task might be located in a repeating section of the Plan, if the intention is to await multiple Actions for the same Instruction.

An example of a Work Plan representing this scenario is available in the Task Planning Examples document.

Class Definitions

ORDER_REF Class

  • Definition

Class

ORDER_REF

Description

An instance of this class represents a logical tracking reference to one 'order' in the real world. In an openEHR system, this will be represented by an INSTRUCTION committed to the EHR, normally followed by ACTIONs each representing the execution of an Activity or change of state of the order.

Inherit

LOCATABLE

Attributes

Signature

Meaning

1..1

order_tag: String

Tag that refers to this order within a Work Plan. May include an instance-level modifier such as '@1', '@2' etc, to distinguish repeats within a Plan.

0..1

instruction_archetype_id: String

Identifier of openEHR Instruction archetype that contains the order.

0..1

action_archetype_id: String

Identifier of openEHR Action archetype that defines the actions that may occur with respect to the Instruction activities used in this order.

0..1

order_ref: LOCATABLE_REF

EHR system order reference. When referencing an openEHR order, this will be a reference to the initial Instruction defining the order.

Events

Overview

Work plans interact with events in the external world, as well being driven by time. In this model, moments in time are modelled in terms of Events that represent the reaching of certain points in time or an entry in a calendar, as time passes. Consequently, specifying a time for a Task to be performed and waiting for certain Events before it can be performed are both specified in terms of 'events'. The relevant part of the model, shown below, consists of various types of Events, and additionally, various types of wait states that may be used to intercept them.

PROC task planning.definition event
Figure 20. proc.task_planning model - Events

Two general classes of Events are distinguished:

  • deterministic: Events guaranteed to occur at a knowable point in time (shown on the lower left in light pink);

  • non-deterministic: Events that might never occur (shown on the lower right in magenta).

For non-deterministic events, a timeout handler is generally needed.

Event Types

The various Event types are described below, with their TP-VML representations.

Type TP-VML Description

Deterministic Events

TIMER_EVENT

event timer

Event generated by the expiry of a Timer that was launched at some earlier time; if attached to a Task wait state, the timer is launched at the moment execution reaches the Task.

TIMELINE_MOMENT

event timeline moment

Event generated by system clock reaching a fixed time-point on the Work Plan timeline, specified by an offset from the Work Plan origin (overridable) plus an optional fixed time in the day. The latter enables fixed points in time such as a particular hour of day or customary time such as 'afternoon' to be specified. A combination of the two such as P2D, 13:30:00 can thus be used to state a time like '13:30 on day 2 of the plan'.

CALENDAR_EVENT

event calendar event

Event generated by system clock reaching an event in the global Plan calendar, which is specified in absolute time, independent of the Work Plan timeline. The value of the time attribute is obtained from the calendar.

Non-deterministic Events

TASK_TRANSITION

event task transition

Event generated by the lifecycle transition of another Task, such as transition to cancelled or done.
NOTE: not needed for transition of the preceding Task to a terminal state, since in this case, execution automatically proceeds to the current Task.

STATE_TRIGGER

event state trigger

An event generated by a change in a tracked variable, or a Boolean expression based on tracked variables, e.g. a value reaching a threshold.

MANUAL_NOTIFICATION

event manual notification

An event that is manually notified to the Plan execution engine by a user.

SYSTEM_NOTIFICATION

event system notification

An event that is notified to the Plan execution engine by a system.

Non-deterministic Events (system)

CALLBACK_NOTIFICATION

event callback

A callback notification connected to a dispatch for a Dispatchable Task (Hand-off, External Request, System Request).

Instances of all of these types on their own only identify the type and source of an event - a wait state is required to catch an event. There are three types of wait state used in a TP definition: Task Wait, Timer Wait and Callback Wait. These are described below.

The following Event types require further explanation.

TIMELINE_MOMENT

The TIMELINE_MOMENT event type represents an event generated by the system when a point in time on the execution clock is reached. The time point is specified by two attributes, timeline_offset and fixed_time, with the time origin (default: Work Plan activation) being optionally specified by timeline_origin. At least one of the first two attributes must be set.

If fixed_time is set using an instance of CLOCK_TIME, it refers to the first moment at which the time occurs during the day, after any offset has elapsed. The following diagram shows how this works for two instances of TIMELINE_MOMENT, both having a fixed_time of 07:30 and a timeline_offset of P1d (one day), when the timeline origin is different (i.e. the Work Plan was started at different times).

timeline moment semantics
Figure 21. TIMELINE_MOMENT semantics

The fixed_time attribute may also be set using an instance of CUSTOMARY_TIME, to allow the time to be specified using coded terms like morning, afternoon, evening and so on. Such terms are assumed to define time ranges such as 07:00:00 - 11:30:00 etc, which are typically culturally specific, and/or specific to hospital or other institutional norms. Consequently, such terms have to be resolved to computable intervals by some means (e.g. a locale service API call), left up to the TP execution system. Where such an interval is used to define a time, the event is generated at the earliest time of the interval (e.g. 07:00:00 for 'morning')

If fixed_time is not set, it refers to the first moment in time directly after the offset, if any, has elapsed (i.e. a Void fixed_time is intepreted as "don’t care"). If timeline_offset is not set, fixed_time is resolved to the first occurrence of the specified time directly from the time origin.

A TIMELINE_MOMENT with neithre of timeline_offset or fixed_time set is not considered meaningful, since it is equivalent to no TIMELINE_MOMENT event at all.

The timeline origin defaults to the moment of Work Plan activiation, but may be overridden via the timeline_origin attribute to be the moment of activation of the current Task Plan, or the entry into a repeating section (a Task Group or Task with repeat_spec set).

General Facilities

Event Wait State

The class EVENT_WAIT<T> defines a generic model of a general-purpose event wait state that may be specialised for particular purposes. Its attributes are as follows:

  • success_action of type EVENT_ACTION, which defines possible actions to occur on receipt of an event;

  • timeout of type TIMER_WAIT, whose success_action defines possible actions when no event is received.

The EVENT_ACTION type defines a number of things the system can do on a triggering event:

  • make a system call, if the system_call attribute is set, e.g. to cause a notification to be sent or write to a system logger;

  • displaying a message to the user, specified in the message attribute;

  • optionally indicate a specific lifecycle state for the Plan Item (a Task or Task Group) receiving the event, specified by receiver_thread_next_state;

  • optionally indicate where execution should resume in the plan, for example at an earlier Task, via the resume_action attribute, whose value is an instance of RESUME_ACTION, defining the resume_type and resume_location attributes.

Timers

A generic timer can be specified using TIMER_WAIT, a specialisation of EVENT_WAIT<TIMER_EVENT> based on the Event type TIMER_EVENT. This provides a way to specify a Timer (the TIMER_EVENT) and listen for it (the TIMER_WAIT). A TIMER_WAIT creates a separate Event wait state that listens for a Timer event launched some duration after Task activation, and may result in specific actions, specified via the inherited EVENT_WAIT.success_action attribute.

The timer represented by a TIMER_EVENT is started when the wait state to which it is attached is reached in the execution.

Reminder

A reminder can be specified using REMINDER, a specialisation of EVENT_WAIT<PLAN_EVENT>. Conceptually, a reminder is a wait state that is activated if a secondary event (represented by the event attribute inherited from EVENT_WAIT<T>) occurs in the absence of waited-on primary event(s), i.e. expected lifecycle transitions of the owning Task. Usually the secondary event is a TIMER_EVENT, but it could be anything else. If any of the primary events occurs, the reminder is cancelled.

Task Wait State

The principal way to wait for events is via the TASK_WAIT attachable to any PLAN_ITEM via the wait_spec attribute. The TASK_WAIT class represents a wait state that defines when a Task should enter the available state from the planned state in terms of descendant types of PLAN_EVENT (i.e. all Events described above other than CALLBACK_NOTIFICATION). Its events attribute enables multiple Events to be used as triggers, with an assumed logical OR relation among them. This enables the specification of triggers such as 'at 8pm on day 1, OR when oxygen saturation drops below 90% (whichever comes first)'. The optional event_relation attribute allows the Task to be specified as commencing before, with or after the trigger event (such as a meal).

The following figure illustrates typical uses of TASK_WAIT.

task wait state
Figure 22. Task wait state

Time-outs

A timeout can be set on a Task Wait state by setting TASK_WAIT.timeout with a TIMER_WAIT instance, which is activated when the Task Wait state is reached in the execution. This is useful in cases where Event receipt is not certain. The TIMER_WAIT generates a timer event if no other event is received; conversely, receipt of any other event cancels the timeout timer. The TIMER_EVENT attached to TIMER_WAIT.event indicates the duration of the timer. The success_action of the TIMER_WAIT indicates actions to execute if the timer fires. The following Plan fragment illustrates.

uc task timing 1
Figure 23. Timing patterns

Reminder

When an event specified in TASK_WAIT.events fires, it puts the Task into the available lifecycle state. In typical real world situations, the performer may not realise, or may be busy on something else. To enable the performer to be reminded, the PLAN_ITEM.reminders attribute may be used to specify one or more REMINDER wait states. Each of these will have a TIMER_EVENT (or other event) as its firing event.

TBD: what about transition to underway?

If a Reminder is activated, it will generate a notification, specified via the inherited success_action attribute. If still no activity occurs for some time, additional reminders may fire (due to Timer events with longer times), and generate new notifications. As soon as the performer progresses the Task to a new state, any reminder for which such a transition is cancelling, will be cancelled. An example is illustrated below.

task wait state reminder
Figure 24. Task wait state with reminder

Lifecycle Transition Override

In some cases, it may be necessary to progress a Task to a state other than available. This may be achieved by specifying TASK_WAIT.next_state.

Callbacks

A callback is the mechanism to state what happens when control returns to a Dispatchable Task (such as a Hand-off or External Request) from its target. It is defined in the model by CALLBACK_WAIT, a specialisation of EVENT_WAIT<CALLBACK_NOTIFICATION>, which represents a wait state to receive notifications of Dispatch completion, as well as timeout if no response is received. The callback event is formally represented by the CALLBACK_NOTIFICATION class. These classes are shown in the following view of the UML model.

PROC task planning.definition callback wait
Figure 25. Callback Wait

In order to define the processing on receipt of a callback event, CALLBACK_WAIT adds two attributes to EVENT_WAIT<T>:

  • fail_action: enables a different EVENT_ACTION to be specified on receipt of a callback with a 'fail' status;

  • custom_actions: enables a custom set of EVENT_ACTIONs to be specified, in the form of a Hash table, with a specific Event Action for each key; the keys are assumed to represent specific return statuses of the remote Task.

A Callback Wait thus has three standard Event responders: success_action, fail_action and timeout, and additionally any number of custom responders definable via custom_actions, described below.

Task lifecycle state processing for a Dispatchable Task occurs both at the point of dispatch and return and/or timeout. The general model is as follows:

  • the Task starts in the planned state, as for any Task in a Plan;

  • when the execution point reaches the Task, and any Task Wait state has been exited, the Task becomes available (refer above to Task Availability);

  • the Task dispatch operation is performed either automatically, or in the case of an External Request, manually;

  • if DISPATCHABLE_TASK.wait is False:

    • the Task transitions to the completed state.

  • if DISPATCHABLE_TASK.wait is True:

    • the Task enters the underway state until a callback (or timeout) occurs, at which point the next state will depend on the details of the callback (see below);

Callback Processing for Blocking Tasks

For a DISPATCHABLE_TASK that blocks and waits in the underway state, there are three callback processing models:

  • standard: generic success | fail | timeout model;

  • order tracking: used if DISPATCHABLE_TASK.order_tags is set;

  • custom: used if DISPATCHABLE_TASK.callback.custom_actions is set.

Each model corresponds to a different set of possible callback statuses returned by the TP engine with the callback notification to represent the state of the remote Task execution. In the standard model it is a generic success | fail | timeout approach. Under the order tracking model (Order Tracking, above), the return statuses are states from the openEHR Instruction State Machine. Under the custom model, they are specific to the context.

Under each model, the next lifecycle state of the Dispatchable Task is determined by the callback status in a specific way. For each possible status under each model, a specific callback handler may be set, defined in terms of the CALLBACK properties success_action, fail_action, timeout.success_action. Any of these (see class EVENT_ACTION) if set may override the default next state, and also may generate a system call and/or a message for the performer.

TBD: It would be reasonable to design an implementation with a default message of the form "Task $task_name[id=$task_id] completed with $state", and a global flag default_messages_on to obviate the need to always set basic messages in EVENT_ACTION.

In special cases, it may also cause execution to resume in another place (see Resume Semantics).

A common approach to timeout processing applies to all models. If no callback occurs, and CALLBACK.timeout.success_action is set, its timer will be used to generate the timeout, and also to determine the next state, message etc. If it is not set, the Work Plan global timeout will be triggered to unblock the Task and transition it to the abandoned state.

TBD: need to define Plan level timeout.

The following table describes the details of callback processing under the various models.

Callback
model
Callback
statuses
Dispatchable Task
settings
Response processing Notes

Standard

success
| fail
| timeout

no callback handlers

  • success → completed

  • fail → abandoned

  • timeout → abandoned

callback handlers (success_action, fail_action, timeout.success_action)

As specified in EVENT_ACTION.
receiver_thread_next_state,
or else as above.

Use to e.g. convert fail to cancelled.

Order
tracking

Action ISM state
| timeout

no callback handlers
(except optionally timeout.success_action)

  • planned → underway

  • cancelled → cancelled

  • postponed → suspended

  • scheduled → underway

  • active → underway

  • suspended → suspended

  • completed → completed

  • timeout → abandoned

May catch multiple callbacks via use of underway target state.

Only target states reachable from underway can be used.

callback handlers (custom_actions, timeout.success_action)

As specified in custom_actions[n].
receiver_thread_next_state
,
or else as above

Custom

Custom statuses
| timeout

callback handlers (custom_actions, timeout.success_action)

  • xxx → underway

  • yyy → cancelled

  • zzz → suspended

  • etc

  • timeout → abandoned

May catch multiple callbacks via use of underway target state.

Only target states reachable from underway can be used.

The following diagram shows the TP-VML definition for a dispatchable Task with a standard callback.

uc task callback 1
Figure 26. Standard callback example

The following TP-VML definition illustrates a custom callback.

uc task callback 2
Figure 27. Custom callback example

Callback Processing for Non-blocking Tasks

In the case of a context fork, the source Task has performed its work as soon as the dispatch has occurred, and its state is set to completed. The next Task(s) become available in the normal way, and processing continues. At some later point in time, a callback notification may be received from the remote Task, or else a timeout. These will be processed similarly to the above, with the exception that the next state processing, if explicit next states are set, is with respect to the Task Group enclosing the current point of execution, which may be the top-level Group of the Task Plan. This allows the possibility of the callback processing to cause the local execution pathway to stop with abandonment or cancellation. The default next-state processing is 'no change', i.e. the current execution path doesn’t care what happens to the remote thread. However, if EVENT_ACTION.receiver_thread_next_state is set from the return status of the remote Task, the execution of the Task Group containing the source Task may be ended (cancel) or the whole Plan abandoned (abandon). Such a transition might even be set on success, which provides a way to model 'first one wins' logic.

The following illustrates a non-blocking callback in TP-VML.

dispatchable no wait callback
Figure 28. Non-blocking callback example

Callback with Custom Resume Behaviour

The attribute EVENT_ACTION.resume_action of type RESUME_ACTION, and its attribute resume_location enable custom post-callback behaviour to be stated. The default is to process the EVENT_ACTION (e.g. post a message, make a system call etc), and then to complete the current Task and progress to the next in the normal way. A custom resume action alows a different resumption location to be specified, as defined by the enumeration RESUME_TYPE. This kind of resumption is described below in the section on Resume Semantics.

Manually-notified Pseudo-callback

A callback at execution time is achieved via notification within the TP system. However, in some cases, the effect of a callback is required where the means of notification is the subject (i.e. the patient, in a clinical system) being sent to another department or room, and the current performer’s execution blocking for that subject until he/she returns. This effect can be achieved by the task pattern shown below, consisting of a Hand-off followed by a normal Task that waits on a Manual notification event. This pattern is not a true callback.

manual callback
Figure 29. Pattern to achieve effect of 'manual callback'

Class Definitions

TASK_WAIT Class

  • Definition

Class

TASK_WAIT

Description

Object representing time of a Task to be performed in terms of a related event. The start_window is used to add an 'acceptable delay' time within which the Task should be started with respect to the intended start time. The timeout attribute can be used for non-deterministic Events.

  • clock time: event = TIMELINE_MOMENT, CALENDAR_EVENT;

  • notification-based: event = MANUAL_NOTIFICATION, CALLBACK_NOTIFICATION or SYSTEM_NOTIFICATION;

  • task-linked: event = TASK_TRANSITION, e.g. 1hr after previous Task done;

  • state-linked: event = STATE_TRIGGER, e.g. 'when systolic BP > 165'.

Attributes

Signature

Meaning

0..1

events: List<PLAN_EVENT>

One or more events that define the intended point in time. If there are more than one, the implied logical relation is OR, i.e. any event occurring causes the wait state to complete.

0..1

event_relation: TEMPORAL_RELATION

Temporal relation to the event of the point or period in time being defined by this Timing Spec.

0..1

timeout: TIMER_WAIT

Timeout handler to use if no other Event is received within a certain time.

0..1

next_state: TASK_LIFECYCLE

Override for next state to enter on receipt of any Event in events. Default processing is to enter the available state.

EVENT_WAIT Class

  • Definition

Class

EVENT_WAIT<P>

Description

Wait state for any kind of Event, with a success Action and an optional separate timeout Event Wait state.

Attributes

Signature

Meaning

1..1

event: P

Descriptor for event on which this wait state is based.

0..1

success_action: EVENT_ACTION

Action to perform if any listened-for event returns a success result.

0..1

timeout: TIMER_WAIT

Timeout handler to use if no other Event is received within a certain time.

TIMER_WAIT Class

  • Definition

Class

TIMER_WAIT

Description

Event listener for a Timer event.

Inherit

EVENT_WAIT

Attributes

Signature

Meaning

1..1
(redefined)

event: TIMER_EVENT

Redefined from EVENT_WAIT.

Invariants

Inv_no_timeout: timeout = Void

Inv_has_action: success_action /= Void

REMINDER Class

  • Definition

Class

REMINDER

Description

Specialised Event wait state activated when its event fires. This is often a TIMER_EVENT, but may be any other kind of event. Will be cancelled when/if its owning Task enters a terminal state (i.e. completes or is cancelled or the Plan abandoned).

If the reminder is activated, its success_action should be configured to generate a reminder or alert to performer or other user.

Inherit

EVENT_WAIT

Attributes

Signature

Meaning

1..1
(redefined)

event: PLAN_EVENT

The event that will generate the reminder. This could be a timer, or it may be a timeline moment, calendar time, or a non-deterministic event, e.g. state trigger.

Invariants

Inv_no_timeout: timeout = Void

Inv_has_action: success_action /= Void

CALLBACK_WAIT Class

  • Definition

Class

CALLBACK_WAIT

Description

Specialised descendant of EVENT_WAIT <CALL_BACK_NOTIFICATION> that adds a fail action. Used for representing post-callback actions.

Default processing if EVENT_ACTION.receiver_thread_next_state is not set:

  • on success_action: the owning Task lifecycle_state is progressed to the completed state.

  • on fail_action: the owning Task lifecycle_state is progressed to the abandoned state.

EVENT_ACTION.receiver_thread_next_state must be set on all

Inherit

EVENT_WAIT

Attributes

Signature

Meaning

0..1

fail_action: EVENT_ACTION

Action to perform if any listened-for event returns a fail result.

0..1

custom_actions: Hash<String,EVENT_ACTION>

A keyed list of specific actions to perform based on custom key values, which are understood as types of remote event more specific than just 'success' or 'fail'.

1..1
(redefined)

event: CALLBACK_NOTIFICATION

Callback notification on which this Callback wait state is based.

EVENT_ACTION Class

  • Definition

Class

EVENT_ACTION

Description

Action(s) to perform on receipt of an event with a particular status. Four possible things can be specified:

  • a message;

  • a system call;

  • the next state of the Task or other resume location (receiver_thread_next_state);

  • a specific resume action indicating to resume in a specific location in the Plan.

If resume_action is set, it dictates where execution resumes; if not, the default is to resume at the next Task in normal execution flow.

Attributes

Signature

Meaning

0..1

system_call: List<SYSTEM_CALL>

System call to perform on receipt of event

0..1

message: DV_TEXT

Optional message to display to original Task context (i.e. application, form etc) if timer expires.

0..1

resume_action: RESUME_ACTION

Optional resume action, used when the intention is to resume in a different location than the default (i.e. next available Task).

0..1

receiver_thread_next_state: TASK_LIFECYCLE

Next state of the receiver thread of control. In the blocking case, this is the original Task of this callback notification; in the non-blocking (context fork) case, it will be the enclosing Task Group of the original dispatching Task.

If not set, default processing will be performed, which for a Task is to enter the available state.

Invariants

Inv_custom_actions_next_state: custom_actions.for_all ((ev:EVENT_ACTION) {ev.receiver_thread_next_state /= Void})

RESUME_ACTION Class

  • Definition

Class

RESUME_ACTION

Description

Type representing an execution jump to a new location in the current Plan.

Attributes

Signature

Meaning

1..1

resume_type: RESUME_TYPE

Procedure to execute when completion notification received, for example, to display a form, notify performer etc.

TODO: determine details.

0..1

resume_location: UID_BASED_ID

Reference to a resume Task in the current Plan, at which to restart when the request / handoff has completed.

If not set, the following Task is assumed. It set, is typically an earlier Task, in situations where the current Task(s) are no longer needed once the external action has been completed.

EVENT Class

  • Definition

Class

EVENT (abstract)

Description

Entity representing an Event generated during system execution. Descendants define details of each kind of Event known in the system.

Inherit

LOCATABLE

PLAN_EVENT Class

  • Definition

Class

PLAN_EVENT (abstract)

Description

Any kind of Event defined as part of a Plan definition.

Inherit

EVENT

Attributes

Signature

Meaning

0..1

delay: Iso8601_duration

Optional delay to event generation.

0..1

other_details: ITEM_STRUCTURE

Archetype-configurable extra meta-data for any event.

TIMER_EVENT Class

  • Definition

Class

TIMER_EVENT

Description

Timer expiry event generated by Task Plan engine, after the duration period has elapsed from the moment of execution reaching the Task to which this Event is attached.

Inherit

PLAN_EVENT

Attributes

Signature

Meaning

1..1

duration: Iso8601_duration

Delay from activation time to receive the event notification.

0..1

purpose: String

Optional explanatory purpose of Timer.

CALENDAR_EVENT Class

  • Definition

Class

CALENDAR_EVENT

Description

Specifies an event generated during execution when the Plan clock reaches a corresponding entry in the global calendar.

Inherit

PLAN_EVENT

Attributes

Signature

Meaning

0..1

entry_id: UID_BASED_ID

Identifier of entry within global Plan calendar.

1..1

time: Iso8601_date_time

Time of entry in calendar.

TIMELINE_MOMENT Class

  • Definition

Class

TIMELINE_MOMENT

Description

Specifies a time event generated during execution when the Plan clock reaches a specific point defined in the global Plan Timeline. The time of this timeline moment is calculated as the fixed_time in the day, e.g. 14:30:00, no matter when the Plan is activated.

The timeline_offset attribute can be used to specify a particular offset with respect to a time origin, by default, the origin of the Work Plan. The fixed_time then corresponds to the first occurrence of that time on the clock after the timeline_offset is passed.

This can be used to specify particular times on particular days, e.g.: 07:30:00 on day 3, 14:00:00 on day 5 and so on by setting timeline_offset to numbers of days, e.g. P3D, P5D etc. Note that a value of P1D means the first 24h period after Plan activation, whereas if timeline_offset is not set, the fixed_time is understood to specify the first moment after Plan activation that this time is reached on the Plan clock.

The timeline_origin can be set to specify another time origin, such as the start of execution of the Task Plan, or of a repeat section.

Inherit

PLAN_EVENT

Attributes

Signature

Meaning

0..1

timeline_offset: Iso8601_duration

Variable part of time specification, expressed as an offset from the zero time point of the Task Plan. Converted to absolute time at activation.

0..1

fixed_time: TIME_SPECIFIER

Fixed time specifier, used to expressed a fixed moment in the day.

0..1

timeline_origin: PLAN_TIME_ORIGIN

Relative origin for timeline_offset. If not set, Work Plan activation is assumed as the time origin.

Invariants

Inv_validity: timeline_offset /= Void or fixed_time /= Void

TASK_TRANSITION Class

  • Definition

Class

TASK_TRANSITION

Description

Event type for Task transitions, specified in terms of target state reached by the associated Task.

Inherit

PLAN_EVENT

Attributes

Signature

Meaning

1..1

task_id: UID_BASED_ID

Identifier of Task with which this event is associated.

1..1

transitions: List<TASK_LIFECYCLE>

One or more Task lifecycle transition(s) that defines this event; if more than one, the logical relation is 'OR'.

MANUAL_NOTIFICATION Class

  • Definition

Class

MANUAL_NOTIFICATION

Description

Event type representing the manual notification of a real-world event to the system, such as arrival of a test result, manually taken vital sign value over a threshold.

Inherit

PLAN_EVENT

Attributes

Signature

Meaning

1..1

description: String

Natural language or processable description of the event. Needs to be sufficiently detailed to distinguish it from other similar events.

SYSTEM_NOTIFICATION Class

  • Definition

Class

SYSTEM_NOTIFICATION

Description

Event type representing a notification from a system of some event, represented by notification type and reference identifier.

Inherit

PLAN_EVENT

Attributes

Signature

Meaning

1..1

system_id: String

Identifier of system that will generate notification.

0..1

notification_type: String

Type of notification, i.e. among types generated by the source system.

0..1

reference_id: String

Reference identifier, typically a request identifier from a previous request.

STATE_TRIGGER Class

  • Definition

Class

STATE_TRIGGER

Description

Type of event representing an expression referring to one or more tracked variables, reaching a value or passing a threshold value.

Inherit

PLAN_EVENT

Attributes

Signature

Meaning

1..1

expression: BOOLEAN_CONTEXT_EXPRESSION

Boolean-returning expression that mentions one or more tracked variables, e.g. heart_rate > 120 bpm. Evaluation controlled by Plan variable context.

CALLBACK_NOTIFICATION Class

  • Definition

Class

CALLBACK_NOTIFICATION

Description

System-generated Event created on receipt of notification of completion of the work of the target of a Dispatchable Task.

Inherit

EVENT

Attributes

Signature

Meaning

1..1

task_id: UID_BASED_ID

Identifier of originating Task.

0..1

request_id: String

Identifier of original request, may be matchable with EXTERNAL_REQUEST.request_id.

0..1

subject_id: String

Identifier of subject to which callback relates.

Cost Tracking

TBD: describe cost tracking.

Class Definitions

TASK_COSTING Class

  • Definition

Class

TASK_COSTING

Description

Costing information for a Task.

TODO: to be developed.

References
  • [1] A. H. M. T. Hofstede, W. M. P. van der Aalst, M. Adams, and N. Russell, Modern Business Process Automation: YAWL and its Support Environment. Springer-Verlag, 2010. doi: 10.1007/978-3-642-03121-2.