Runte, WolfgangEl Kharbili, MarwaneFischer, StefanMaehle, ErikReischuk, RĂ¼diger2020-01-282020-01-282009978-3-88579-248-2https://dl.gi.de/handle/20.500.12116/31438Compliance 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 abstraction 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.enConstraint checking for business process managementText/Conference Paper1617-5468