The adoption of formal models by process specialists has faced two challenges: First, it
requires process specialists to get training in formal modeling. Second, the resulting …

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 …

Process design artifacts have been increasingly used to guide the modeling of business
processes. To support users in designing and understanding process models, different …

In this paper, we report recent advances on user support for declarative process generation
from natural language descriptions. The Process Highlighter is a hybrid-modelling tool that …

The DCR Workbench is an online tool for simulation and analysis of collaborative distributed
processes specified as DCR graphs. The Workbench is a robust and comprehensive …

This paper reports preliminary experiences using the Dynamic Condition Response (DCR)
graphs declarative process notation to specify dynamic evaluation forms, and using an …

Constraint-based notations aim to model processes by capturing their underlying rules
instead of a limited number of potential process flows, leaving maximum flexibility for the …

Business process models are essential for the representation, analysis, and execution of
organizational processes, serving as orchestration blueprints while relying on (web) …

In this paper, we report the results of an exploratory study into the efficacy of noise filtering in
improving the accuracy of declarative process mining. We apply the double-granularity …

As the demand for the modeling of knowledge intensive processes grows, so does the
necessity to support this task by appropriate models. Adaptive Case Management (ACM) …