Business Process flexibility supports organizations in changing their everyday work activities
to remain competitive. Since much research has been done on this topic a better awareness …

Abstract Knowledge-intensive processes, such as those encountered in health care, finance
and government, tend to allow a large degree of flexibility: there are many possible solutions …

We explore the complexity of reachability and run-time refinement under safety and liveness
constraints in event-based process models. Our study is framed in the DCR^ ⋆⋆ process …

In the area of business process modelling, declarative notations have been proposed as
alternatives to notations that follow the dominant, imperative paradigm. Yet, the choice …

Declarative process modeling formalisms—which capture high-level process constraints—
have seen growing interest, especially for modeling flexible processes. This paper presents …

We study modularity, run-time adaptation and refinement under safety and liveness
constraints in event-based process models with dynamic sub-process instantiation. The …

We report on a new approach to co-creating adaptive case management systems jointly with
end-users, developed in the context of the Effective co-created and compliant adaptive case …

We investigate process mining for the declarative Dynamic Condition Response (DCR)
graphs process modelling language. We contribute (a) a process mining algorithm for DCR …

This paper reports on a qualitative study of the use of declarative process notations used in
a commercial setting. Specifically, we investigate the actual use of a system implemented in …

Declarative or constraint-based business process and workflow notations, in particular
DECLARE and Dynamic Condition Response (DCR) graphs, have received increasing …