Refine
Document Type
- Article (7)
- Monograph/Edited Volume (5)
- Doctoral Thesis (1)
Language
- English (13)
Keywords
- Hasso-Plattner-Institut (2)
- Structuring (2)
- Behavior (1)
- Behavioural Abstraction (1)
- Causal Behavioural Profiles (1)
- Causality (1)
- Compliance measurement (1)
- Concurrency (1)
- Exclusiveness (1)
- Formal Methods (1)
- Forschungskolleg (1)
- Hasso Plattner Institute (1)
- Hasso-Plattner-Institute (1)
- Klausurtagung (1)
- Log conformance (1)
- Model equivalence (1)
- Modeling (1)
- Modellierung (1)
- Modular decomposition (1)
- Optionality (1)
- Order Relations (1)
- Petri net unfolding (1)
- Ph.D. Retreat (1)
- Process (1)
- Process compliance (1)
- Process modeling (1)
- Prozesse (1)
- Quality of service (1)
- Research School (1)
- Root cause analysis (1)
- Service composition (1)
- Service orchestration (1)
- Service-oriented Systems Engineering (1)
- Service-oriented computing (1)
- Structural Decomposition (1)
- Structured modeling (1)
- Strukturierung (1)
- Verhalten (1)
- Well-structuredness (1)
- Wohlstrukturiertheit (1)
- fully concurrent bisimulation (1)
- maximal structuring (1)
- model transformation (1)
- process modeling (1)
- structured process model (1)
Process compliance measurement is getting increasing attention in companies due to stricter legal requirements and market pressure for operational excellence. In order to judge on compliance of the business processing, the degree of behavioural deviation of a case, i.e., an observed execution sequence, is quantified with respect to a process model (referred to as fitness, or recall). Recently, different compliance measures have been proposed. Still, nearly all of them are grounded on state-based techniques and the trace equivalence criterion, in particular. As a consequence, these approaches have to deal with the state explosion problem. In this paper, we argue that a behavioural abstraction may be leveraged to measure the compliance of a process log - a collection of cases. To this end, we utilise causal behavioural profiles that capture the behavioural characteristics of process models and cases, and can be computed efficiently. We propose different compliance measures based on these profiles, discuss the impact of noise in process logs on our measures, and show how diagnostic information on non-compliance is derived. As a validation, we report on findings of applying our approach in a case study with an international service provider.