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 …

Business process management (BPM) is often employed as a driver of integration, by
articulating business processes that cross the boundaries of individual business functions …

Healthcare organizations are confronted with challenges including the contention between
tightening budgets and increased care needs. In the light of these challenges, they are …

This thesis is about process mining: the analysis an organization's processes by using
process execution data. During the handling of a case or process instance data about the …

Within the process mining field, Deterministic Finite State Automata (DFAs) are largely
employed as foundation mechanisms to perform formal reasoning tasks over the information …

Abstract Business Process Management (BPM) is a central element of today's organizations.
Over the years, its main focus has been the support of business processes (BPs) in highly …

Declarative approaches to business process modeling are regarded as well suited for highly
volatile environments, as they enable a high degree of flexibility. However, problems in …

Traditional business process modeling notations, including the standard Business Process
Model and Notation (BPMN), rely on an imperative paradigm wherein the process model …

We study distributed declarative workflow execution in an adversarial setting. In this setting,
parties to an agreed-upon workflow do not trust each other to follow that workflow, or suspect …

Any enterprise must ensure that its business processes comply with imposed compliance
rules. The latter stem, for example, from corporate guidelines, legal regulations, and best …