Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Case Management: An Evaluation of Existing Approaches for Knowledge-Intensive Processes Read chapter Read first chapter

2016 | OriginalPaper | Chapter

Automated Resource Allocation in Business Processes with Answer Set Programming

Authors : Giray Havur, Cristina Cabanillas, Jan Mendling, Axel Polleres

Published in: Business Process Management Workshops

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Human resources are of central importance for executing and supervising business processes. An optimal resource allocation can dramatically improve undesirable consequences of resource shortages. However, existing approaches for resource allocation have some limitations, e.g., they do not consider concurrent process instances or loops in business processes, which may greatly alter resource requirements. This paper introduces a novel approach for automatically allocating resources to process activities in a time optimal way that is designed to tackle the aforementioned shortcomings. We achieve this by representing the resource allocation problem in Answer Set Programming (ASP), which allows us to model the problem in an extensible, modular, and thus maintainable way, and which is supported by various efficient solvers.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Clustering Traces Using Sequence Alignment
next chapter Using Life Cycle Information in Process Discovery
Footnotes
1
From now on resources for the sake of brevity.
 
2
Our encoding and the problem instances are provided at http://​goo.​gl/​lzf1St.
 
3
Please, note that events are instantaneous, and hence, they take zero time units.
 
4
Since in the following we only consider instances of the same Petri Net, we will drop the subscript N in the predicates.
 
5
Recall: in Petri nets representing business processes, activity transitions are empty squares while silent transitions are represented in filled squares (cf. Fig. 1a).
 
Literature
1.
2.
Rozinat, A., Mans, R.S.: Mining CPN models: discovering process models with data from event logs. In: Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN, pp. 57–76 (2006)
3.
Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, San Rafael (2012)MATH
4.
Falkner, A.A., Schenner, G., Friedrich, G., Ryabokon, A.: Testing object-oriented configurators with ASP. In: Workshop on Configuration at ECAI 2012, pp. 21–26 (2012)
5.
Murata, T.: Petri nets: properties, analysis and applications. IEEE 77(4), 541–580 (1989)CrossRef
6.
Lohmann, N., Verbeek, E., Dijkman, R.: Petri net transformations for business processes – a survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 46–63. Springer, Heidelberg (2009)CrossRef
7.
8.
Senkul, P., Toroslu, I.H.: An architecture for workow scheduling under resource allocation constraints. Inf. Syst. 30(5), 399–422 (2005)CrossRef
9.
Heinz, S., Beck, C.: Solving resource allocation/scheduling problems with constraint integer programming. In: COPLAS 2011, pp. 23–30 (2011)
10.
Weglarz, J.: Project scheduling with continuously-divisible, doubly constrained resources. Manage. Sci. 27(9), 1040–1053 (1981)CrossRefMATH
11.
Hendriks, M.H.A., Voeten, B., Kroep, L.: Human resource allocation in a multi-project R&D environment: resource capacity allocation and project portfolio planning in practice. Int. J. Project Manage. 17(3), 181–188 (1999)CrossRef
12.
Chevaleyre, Y., Dunne, P.E., Endriss, U., Lang, J., Lematre, M., Maudet, N., Padget, J., Phelps, S., Rodrguez-aguilar, J.A., Sousa, P.: Issues in multiagent resource allocation. Informatica 30, 3–31 (2006)MATH
13.
Zhang, C., Lesser, V., Shenoy, P.: A multi-agent learning approach to online distributed resource allocation. In: International Joint Conference on Artificial Intelligence (IJCAI 2009), vol. 1, pp. 361–366 (2009)
14.
Yuhong Yan, Z., Maamar, W.S.: Integration of workflow and agent technology for business process management. In: Computer Supported Cooperative Work in Design, pp. 420–426 (2001)
15.
16.
Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)CrossRef
17.
Calimeri, F., Gebser, M., Maratea, M., Ricca, F.: The Design of the Fifth Answer Set Programming Competition. CoRR (2014.)
18.
Heule, M.J., Schaub, T.: What’s hot in the SAT and ASP competitions. In: AAAI (2015)
19.
Leitner, M., Rinderle-Ma, S.: A systematic review on security in Process-Aware Information Systems Constitution, challenges, and future directions. Information and Software Technology 56(3), 273–293 (2014)CrossRef
Metadata
Title
Automated Resource Allocation in Business Processes with Answer Set Programming
Authors
Giray Havur
Cristina Cabanillas
Jan Mendling
Axel Polleres
Copyright Year
2016
Book
Business Process Management Workshops

Print ISBN: 978-3-319-42886-4

Electronic ISBN: 978-3-319-42887-1

Copyright Year: 2016

DOI
https://doi.org/10.1007/978-3-319-42887-1_16

Premium Partner

    Image Credits