Business Process Models; Compliance Management; Logic
Résumé :
[en] The present paper focuses on the problems of verifying compliance for global achievement and maintenance obligations. We first introduce the elements needed to identify and study compliance to these two classes of obligations in processes. Additionally, we define procedures and algorithms to efficiently deal with the identified compliance problem. We finally show that both algorithms proposed in the paper belong to the complexity class P.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
COLOMBO TOSATTO, Silvano ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
EL KHARBILI, Marwane ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Governatori, Guido; NICTA
KELSEN, Pierre ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
MA, Qin ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Algorithms for Basic Compliance Problems
Date de publication/diffusion :
mars 2013
Nom de la manifestation :
2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013.
Date de la manifestation :
March 18, 2013
Manifestation à portée :
International
Titre de l'ouvrage principal :
2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013.
