nach oben

Erschienen in:

2016 | OriginalPaper | Buchkapitel

Automated Resource Allocation in Business Processes with Answer Set Programming

verfasst von : Giray Havur, Cristina Cabanillas, Jan Mendling, Axel Polleres

Erschienen in: Business Process Management Workshops

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Vorheriges Kapitel Clustering Traces Using Sequence Alignment

Nächstes Kapitel Using Life Cycle Information in Process Discovery

From now on resources for the sake of brevity.

Our encoding and the problem instances are provided at http://goo.gl/lzf1St.

Please, note that events are instantaneous, and hence, they take zero time units.

Since in the following we only consider instances of the same Petri Net, we will drop the subscript N in the predicates.

Recall: in Petri nets representing business processes, activity transitions are empty squares while silent transitions are represented in filled squares (cf. Fig. 1a).

van der Aalst, W.M.P.: Petri net based scheduling. Oper. Res. Spektr. 18(4), 219–229 (1996)MathSciNetCrossRefMATH

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)

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

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)

Murata, T.: Petri nets: properties, analysis and applications. IEEE 77(4), 541–580 (1989)CrossRef

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

Carlier, J., Pinson, E.: An algorithm for solving the job-shop problem. Manage. Sci. 35(2), 164–176 (1989)MathSciNetCrossRefMATH

Senkul, P., Toroslu, I.H.: An architecture for workow scheduling under resource allocation constraints. Inf. Syst. 30(5), 399–422 (2005)CrossRef

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.

Popova-Zeugmann, L.: Time Petri Nets. Springer, Heidelberg (2013)CrossRefMATH

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

Titel: Automated Resource Allocation in Business Processes with Answer Set Programming
verfasst von: Giray Havur
Cristina Cabanillas
Jan Mendling
Axel Polleres
Verlag: Springer International Publishing
Buch: Business Process Management Workshops
Print ISBN: 978-3-319-42886-4

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

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

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"