Generic algorithms for consistency checking of mutual-exclusion and binding constraints in a business process context

  • Authors:
  • Mark Strembeck;Jan Mendling

  • Affiliations:
  • Vienna University of Economics and Business, WU, Vienna, Austria;Humboldt-Universität zu Berlin, Germany

  • Venue:
  • OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need for such generic algorithms in our real-world projects. Thus, the algorithms are a result of the experiences we gained in analyzing, designing, and implementing a number of corresponding software systems and tools. In particular, these algorithms check corresponding consistency requirements to prevent constraint conflicts and to ensure the design-time and run-time compliance of a process-related role-based access control (RBAC) model.