Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2009 - Im Focus das Leben P-154, 4093-4103 (2008).

Gesellschaft für Informatik, Bonn
2008


Editors

Stefan Fischer, Erik Maehle, Rüdiger Reischuk (eds.)


Copyright © Gesellschaft für Informatik, Bonn

Contents

Constraint Checking for Business Process Management

Wolfgang Runte and Marwane El Kharbili

Abstract


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 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.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-241-3


Last changed 24.01.2012 22:12:38