Colombo Tosatto, Silvano[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Elrakaiby, Yehia[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Ziafati, Pouyan[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Nov-2013
Proceedings of the 25th Belgium-Netherlands Artificial Intelligence Conference
Hindriks, Koen
de Weerdt, Mathijs
van Riemsdijk, Birna
Warnier, Martjin
Yes
The 25th Benelux Conference on Artificial Intelligence (BNAIC 2013)
7-8 november 2013
[en] Business Process Models ; Compliance Management ; Resources Management
[en] Execution of business processes often requires resources, the use of which is usually subject to constraints. In this paper, we study the compliance of business processes with resource usage policies. To this end, we relate the execution of a business process to its resource requirements in terms of resources consumed, produced or blocked by tasks of the business process. Policies specifying constraints on resource usage are specified in the form of obligations and the verification of whether a business process complies with a given resource usage policy is formally studied.