Article (Scientific journals)
Business Process Regulatory Compliance is Hard
Colombo Tosatto, Silvano; Kelsen, Pierre; Governatori, Guido
2015In IEEE Transactions on Services Computing, 8 (6), p. 958-970
Peer reviewed
 

Files


Full Text
ComProof 2.pdf
Author postprint (905.52 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
compliance; complexity; business process
Abstract :
[en] Verifying whether a business process is compliant with a regulatory framework is a difficult task. In the present paper we prove the hardness of the business process regulatory compliance problem by taking into account a sub-problem of the general problem. This limited problem allows to verify only the compliance of structured processes with respect to a regulatory framework composed of a set of conditional obligations including a deadline. Experimental evidence from existing studies shows that compliance is a difficult task. In this paper, despite considering a sub-problem of the general problem, we provide some theoretical evidence of the difficulty of the task. In particular we show that the source of the complexity lies in the core language of verifying conditional obligations with a deadline. We prove that for this simplified case verifying partial compliance belongs to the class of NP-complete problems, and verifying full compliance belongs to the class of coNP-complete problems. Thus by proving the difficulty of a simplified compliance problem we prove that the general problem of verifying business process regulatory compliance is hard.
Disciplines :
Computer science
Author, co-author :
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)
Governatori, Guido
External co-authors :
yes
Language :
English
Title :
Business Process Regulatory Compliance is Hard
Publication date :
2015
Journal title :
IEEE Transactions on Services Computing
ISSN :
1939-1374
Publisher :
Institute of Electrical and Electronics Engineers, United States
Volume :
8
Issue :
6
Pages :
958-970
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 19 January 2015

Statistics


Number of views
135 (29 by Unilu)
Number of downloads
244 (10 by Unilu)

Scopus citations®
 
18
Scopus citations®
without self-citations
10
WoS citations
 
15

Bibliography


Similar publications



Contact ORBilu