Afgeronde rechthoek: Top of book Afgeronde rechthoek: Managers track Afgeronde rechthoek: Technical track Afgeronde rechthoek: Previous page Afgeronde rechthoek: Home





Specifying states

A state contains a set of references to assets and the values of these assets. A state can be divided in sub-states. The smallest sub-state contains a single reference and a single value. The relation between a state and its sub-states can be viewed via state-charts. State-charts can also indicate potential state transitions.

Specifying state transitions

A state transition consists of an ordered set of references to assets for which the values have changed and two ordered sets of asset values. The first set contains the original values. The second set contains the values after the transition. During a state transition a complete sub-state transfers into a sub-state that covers the same assets.

Specifying triggers

A trigger consists of four parts:

        The current state

        A set of target states

        A set of candidate subtasks

        A reasoning why the chosen subtask must be used

The chosen subtask is a selection out of a set of possible subtasks. Each task out of this set could lead to one of the target tasks. The chosen subtask transforms the current state into one of the target states. The chosen subtask is the most relevant part of the trigger. It determines the next step in the execution path. The reasoning is helpful in understanding why that execution path is taken. The chosen subtask may be stopped and the rest of the execution can be taken by a subtask that follows a different execution path. As with plans, execution paths are followed until new insights arrive.

Specifying targets

A target consists of a set of states. It may be so that these states have a common sub-state that completely specifies the target.

A scheduler may rephrase the target.



Afgeronde rechthoek: Top of page Afgeronde rechthoek: Next page