Formalizing Dependencies in Business Process Models Using Constraint Satisfaction
Wolfgang Runte
Abstract
Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management [Sch00], we propose and describe the use of constraint satisfaction problems [Dec03] as a formal mean for representing these dependencies [Run09, REK09].
Full Text: PDF