2012 | OriginalPaper | Buchkapitel
Checking Satisfiability Aspects of Binding Constraints in a Business Process Context
verfasst von : Sigrid Schefer, Mark Strembeck, Jan Mendling
Erschienen in: Business Process Management Workshops
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.