Abstract
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.
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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 25th Benelux Conference on Artificial Intelligence |
| Subtitle of host publication | November 7–8 2013, Delft |
| Editors | Koen Hindriks, Mathijs de Weerdt, Birna van Riemsdijk, Martijn Warnier |
| Pages | 41-48 |
| Publication status | Published - 2013 |