Process compliance measurement based on behavioural profiles Process compliance measurement is getting increasing attention in companies due to stricter legal requirements and market pressure for operational excellence. On the other hand, the metrics to quantify process compliance have only been defined recently. A major criticism points to the fact that existing measures appear to be unintuitive. In this paper, we trace back this problem to a more foundational question: which notion of behavioural equivalence is appropriate for discussing compliance? We present a quantification approach based on behavioural profiles, which is a process abstraction mechanism. Behavioural profiles can be regarded as weaker than existing equivalence notions like trace equivalence, and they can be calculated efficiently. As a validation, we present a respective implementation that measures compliance of logs against a normative process model. This implementation is being evaluated in a case study with an international service provider.

The declarative approach to business process execution : an empirical test Declarative approaches have been proposed to counter the limited flexibility of the traditional imperative modeling paradigm, but little empirical insights are available into their actual strengths and usage. In particular, it is unclear whether endusers are really capable of adjusting a particular plan to execute a business process when using a declarative approach. Our paper addresses this knowledge gap by describing the design, execution, and results of a controlled experiment in which varying levels of constraints are imposed on the way a group of subjects can execute a process. The results suggest that our subjects can effectively deal with increased levels of constraints when relying on a declarative approach. This outcome supports the viability of this approach, justifying its further development and application.