[en] In general the problem of verifying whether a structured business process is compliant with a given set of regulations is NP-hard. The present paper focuses on identifying a tractable subset of this problem, namely verifying whether a structured business process is compliant with a single global obligation. Global obligations are those whose validity spans for the entire execution of a business process. We identify two types of obligations: achievement and maintenance.
In the present paper we firstly define an abstract framework capable to model the problem and secondly we define procedures and algorithms to deal with the compliance problem of checking the compliance of a structured business process with respect to a single global obligation. We show that the algorithms proposed in the paper run in polynomial time.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
COLOMBO TOSATTO, Silvano ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
KELSEN, Pierre ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
MA, Qin ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
el Kharbili, Marwane; University of Luxembourg
Governatori, Guido; NICTA
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
