Literature on business process compliance (BPC) has predominantly focused on the
alignment of the regulatory rules with the design, verification and validation of business …

Abstract Context Security in Process-Aware Information Systems (PAIS) has gained
increased attention in current research and practice. However, a common understanding …

In recent years, monitoring the compliance of business processes with relevant regulations,
constraints, and rules during runtime has evolved as major concern in literature and …

The declarative specification of business processes is based upon the elicitation of
behavioural rules that constrain the legal executions of the process. The carry-out of the …

Clinical guidelines aim at improving the quality of care processes through evidence-based
insights. However, there may be good reasons to deviate from such guidelines or the …

This paper proposes a recommendation system that supports process participants in taking
risk-informed decisions, with the goal of reducing risks that may arise during process …

Systems for symbolic event recognition accept as input a stream of time-stamped events
from sensors and other computational devices, and seek to identify high-level composite …

Conformance checking is a key process mining task to confront the normative behavior
imposed by a process model with the actual behavior recorded in a log. While this problem …

Driven by recent trends, effective compliance control has become a crucial success factor for
companies nowadays. In this context, compliance monitoring is considered an important …

Abstract Linear Temporal Logic (LTL) on finite traces has proven to be a good basis for the
analysis and enactment of flexible constraint-based business processes. The Declare …