Ricerc@Sapienza

Declarative approaches to business process modeling allow to represent loosely-structured
(declarative) processes in flexible scenarios as a set of constraints on the allowed flow of
activities. However, current graphical notations for declarative processes are difficult to
interpret. As a consequence, this has affected widespread usage of such notations, by
increasing the dependency on experts to understand their semantics. In this paper, we
tackle this issue by introducing a novel visual declarative notation targeted to a more

Declarative process mining is the set of techniques aimed at extracting behavioural constraints from event logs. These constraints are inherently of a reactive nature, in that their activation restricts the occurrence of other activities. In this way, they are prone to the principle of ex falso quod libet: they can be satisfied even when not activated. As a consequence, constraints can be mined that are hardly interesting to users or even potentially misleading.