Checking Satisfiability Aspects of Binding Constraints in a Business Process Context

Binding of Duty (BOD) constraints define that the same subject (or role) who performed a certain task t 1 must also perform a corresponding bound task t 2. 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.