Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies
| SpringerLink Skip to main content Advertisement SpringerLink Log in Menu Find a journal …

Organizations maintain process models that describe or prescribe how cases (eg, orders)
are handled. However, reality may not agree with what is modeled. Conformance checking …

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 …

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 …

Event data are collected in logistics, manufacturing, finance, health care, customer
relationship management, e‐learning, e‐government, and many other domains. The events …

Today's information systems record real-time information about business processes. This
enables the monitoring of business constraints at runtime. In this paper, we present a novel …

In this paper we study when an LTL formula on finite traces (LTLf formula) is insensitive to
infiniteness, that is, it can be correctly handled as a formula on infinite traces under the …

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 …

Modern organizations have invested in collections of descriptive and/or normative process
models, but these rarely describe the actual processes adequately. Therefore, a variety of …