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

What Is Declarative Process Mining

Traditional business process modeling notations, follow an imperative approach where the model defines all allowed steps: Every step that is not specified is disallowed. Recent streams of research suppose an approach which offers more flexibility. Declarative process
modeling notations such as declare have been proposed. These notations define constraints. All flows that do not violate these constraints
are allowed in the model. This approach provides in constrast to the imperative approach more flexibility in the process model.

MINERful is a software engine for declarative process mining out of event logs developed by Claudio di Ciccio. This tool for declarative process mining has been developed to be reasonably fast. More information about MINERful can be found in the research papers.

Infographic: Declarative process mining with MINERful

Source

The main discovery algorithm:

Claudio Di Ciccio, Massimo Mecella: On the Discovery of Declarative Control Flows for Artful Processes. ACM Trans. Management Inf. Syst. 5(4): 24:1-24:37 (2015)

• DOI: 10.1145/2629447

Presentation: Declarative Process Mining with MINERful

Declarative process mining: Getting rid of redundancies and inconsistencies:

Why Declarative Process Modeling

Recent streams of research address the benefits of using declarative process models over traditional imperative process models. In contrast to the imperative approach, which is known for its limitations in flexibility, the declarative approach provides sufficient flexibility in its models.

Infographic: Declarative Process Modeling

Source

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