A Benchmark for ASP Systems: Resource Allocation in Business Processes

Havur, Giray and Cabanillas, Cristina and Polleres, Axel ORCID: https://orcid.org/0000-0001-5670-1146 (2018) A Benchmark for ASP Systems: Resource Allocation in Business Processes. Working Papers on Information Systems, Information Business and Operations, 01/2019. Department für Informationsverarbeitung und Prozessmanagement, WU Vienna University of Economics and Business, Vienna. ISSN 2518-6809

Available under License Creative Commons: Attribution 4.0 International (CC BY 4.0).

Download (947kB)


The goal of this paper is to benchmark Answer Set Programming (ASP) systems to test their performance when dealing with a complex optimization problem. In particular, the problem tackled is resource allocation in the area of Business Process Management (BPM). Like many other scheduling problems, the allocation of resources and starting times to business process activities is a challenging optimization problem for ASP solvers. Our problem encoding is ASP Core-2 standard compliant and it is realized in a declarative and compact fashion. We develop an instance generator that produces problem instances of different size and hardness with respect to adjustable parameters. By using the baseline encoding and the instance generator, we provide a comparison between the two award-winning ASP solvers clasp and wasp and report the grounding performance of gringo and i-dlv. The benchmark suggests that there is room for improvement concerning both the grounders and the solvers. Fostered by the relevance of the problem addressed, of which several variants have been described in different domains, we believe this is a solid application-oriented benchmark for the ASP community.

Item Type: Paper
Keywords: answer set programming, benchmark, business process management, resource allocation
Divisions: Departments > Informationsverarbeitung u Prozessmanag. > Informationswirtschaft > Polleres
Depositing User: Giray Havur
Date Deposited: 02 Aug 2019 10:33
Last Modified: 24 Aug 2020 11:17
URI: https://epub.wu.ac.at/id/eprint/7060


View Item View Item


Downloads per month over past year

View more statistics