Page 341 -

12 The Declare Service 337

Fig. 12.10 Warnings related to possible violations are linked to so-called constraint groups

Fig. 12.11 Warning: starting task bill violates the optional constraint precedence

12.8 Dynamic Instance Change

Instances in DECLARE can be changed dynamically by adding and removing tasks
and constraints. After the change, DECLARE creates an automaton for the whole
mandatory formula (i.e., the conjunction of all mandatory constraints expressed in
LTL) of the new model. If the instance trace can be “replayed” on this automaton, the
dynamic change is accepted. If not, the error is reported and the instance continues