Constraint Checking for Business Process Management

: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose and describe the use of constraint satisfaction problems as a formal mean for representing these business constraints. We propose a multi-level constraint satisfaction approach to handle different levels of ion in business process modelling. We elaborate on the modelling of compliance requirements using constraint satisfaction and discuss implications of this technique such as problem solving strategies. This work shows that a certain class of compliance problems which can be grounded to constraint satisfaction problems can be solved efficiently using the proposed approach.

• Type: Conference
• Year: 2009
• Where: GI
• Authors: Wolfgang Runte, Marwane El Kharbili
• Keywords: Business Constraints, Constraint Satisfaction, Constraint Satisfaction Problems, GI 2009, Theoretical Computer Science