Controller

A controller is responsible for making decisions, i.e.,

• entry decisions,
• exit decisions,
• choice decisions, and
• message delivery decisions

during process execution.

A controller has to connect to an execution engine to be informed about relevant changes in the system state, i.e., about

• requests for a decision to
  • enter a node,
  • exit a node,
  • make a choice, or to
  • deliver a message,
• updates of data attribute values or global attribute values,
• sequential performers becoming busy or idle, and
• messages sent.

Moreover, by connecting to the execution engine, the engine is enabled to fetch events which are dispatched by the controller.

Greedy controller

The greedy controller implements a controller with a collection of greedy dispatchers:

• the best first sequential entry dispatcher evaluates entry decisions for all activities within ad-hoc subprocesses with sequential ordering and dispatches the entry decision with the best evaluation,
• the best first parallel entry dispatcher evaluates entry decisions for all activities which are not within an ad-hoc subprocesses with sequential ordering and dispatches the entry decision with the best evaluation,
• best first exit dispatcher evaluates exit decisions for all activities and dispatches the exit decision with the best evaluation,
• best matching message delivery dispatcher evaluates message delivery decisions for all sent messages and potential recipients and dispatches the message delivery decision with the best evaluation.
• the best limited choice dispatcher evaluates all choices that are explicitly enumerated and, in case, of numeric choices the minimum and maximum value possible. Minimum and maximum are derived from the attribute type and restrictions provided by linear expressions.

Among all decisions dispatched by any of the greedy dispatchers, the greedy controller selects the decision with the overall best evaluation.

All evaluations are conducted by an evaluator.

Evaluator

The evaluator is responsible for determining whether a decision can be taken without violating any restrictions and to quantify the value of taking the decision.

Local evaluator

The Local evaluator makes local observations to evaluate a decision.

Guided evaluator

The Guided evaluator makes local observations and includes guidance provided with the model to evaluate a decision.