Abstract Declarative Process Models (DPMs) provide a visual representation of processes
based on rules, yet novice users often struggle to understand them, associating …

Legal compliance is an important part of certifying the correct behaviour of a business
process. To be compliant, organizations might hard-wire regulations into processes, limiting …

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 …

Declarative process modelling notations are a family of approaches where events obey a set
of constraints rather than specific flows. While declarative models can express in a few …

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 …

We provide the first formal model for declarative choreographies, which is able to express
general omega-regular liveness properties. We use the Dynamic Condition Response …

Data entry forms use completeness requirements to specify the fields that are required or
optional to fill for collecting necessary information from different types of users. However …

Business Process models are conceptual representations of work practices. However, a
process is more than its model: key information about the rationale of the process is hidden …

Declarative process modelling languages focus on describing a process by restrictions over
the behaviour, which must be satisfied throughout the whole process execution. Hence, they …

Process discovery is a family of techniques that helps to comprehend processes from their
data footprints. Yet, as processes change over time so should their corresponding models …