Declarative Process Model with Declare Language

One of the main declarative languages is Declare. In contrast to the traditional approach which explicitly specifies the activities which are allowed, Declare defines constraints. These constraints of the activities a process must to be satisfied when executing a process. In Declare the constraints are based on templates. These constraints are graphical representations of LTL (linear temporal logic) semantics. The constraint templates of Declare can be divided into four groups: 1) Existence constraints, 2) Relation constraints, 3) Mutual relation constraints, 4) negation constraints

Infographic: Cheatsheet Declare Language

Source

Constraint-based workflow management systems, shifting control to users / M. Pesic
URL: http://repository.tue.nl/638413