Page 210 -

6 Declarative Workflow 201
!curse !curse

become holy
S0 S1

Fig. 6.22 The automaton generated for the mandatory formula of the religion model described in
this exercise

Exercise 8. Which types of flexibility and support are available in declarative work-
flows? Explain which properties of declarative workflows enable different types of
flexibility and support.

Chapter Notes

The trade off between flexibility and support and the taxonomy of flexibility used
in this chapter has been addressed in [117,236]. The positive influence of declara-
tive languages for workflow specification of workflow flexibility has been discussed
in [73,117,152,200,256].
More information on temporal logic, automata generation, and model checking
can be found in [60, 103]. A more elaborate discussion on the choice for LTL and
usage of automata is given in [192]. For details on how LTL can be used for finite
sequences, see [104,105,192].
In this chapter, the focus was on the ConDec language, and several ConDec tem-
plates were explained and used. The complete list of all ConDec templates can be
found in [192]. Other similar constraint languages can be defined if needed. For
example, more information about a constraint-based language for modeling web
services DecSerFlow can be found in [19,20].
More information about the procedural workflow management system ADEPT
and its mechanisms to support dynamic change can be found in [205].