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 …

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

The full behavior of complex software systems often only emerges during operation. They
thus need to be monitored at run time to check that they adhere to their requirements …

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 …

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 …

This book starts with an introduction to process modeling and process paradigms, then
explains how to query and analyze process models, and how to analyze the process …

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 …