Title :
Algorithms for Basic Compliance Problems
Author :
Tosatto, Silvano Colombo ; El Kharbili, Marwane ; Governatori, Guido ; Kelsen, Pierre ; Qin Ma ; van der Torre, Leendert
Author_Institution :
Univ. of Luxembourg, Luxembourg, Luxembourg
Abstract :
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.
Keywords :
business process re-engineering; computational complexity; basic compliance problem; business process; complexity class; compliance verification; enterprise compliance initiative; global achievement obligation; global maintenance obligation; Algorithm design and analysis; Approximation methods; Biological system modeling; Business; Complexity theory; Conferences; Maintenance engineering; Compliance; Normative Reasoning; Verification;
Conference_Titel :
Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on
Conference_Location :
Luxembourg
Print_ISBN :
978-1-4799-1324-4
DOI :
10.1109/ICSTW.2013.6
