Binding of Duty (BOD) constraints define that the same subject (or role) who performed a certain task
must also perform a corresponding bound task
. In this paper, we describe algorithms for checking the
satisfiability of binding constraints
in a business process context. In particular, these algorithms check the configuration of a process-related RBAC model to find satisfiability conflicts. Furthermore, we discuss options to resolve satisfiability conflicts.