Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic

Francisco Durán, Daniela Martínez, Camilo Rocha

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

Abstract

A significant task in business process optimization is concerned with streamlining the allocation and sharing of resources. This paper presents an approach for analyzing business process provisioning under a resource prediction strategy based on machine learning. A timed and probabilistic rewrite theory specification formalizes the semantics of business processes. It is integrated with an external oracle in the form of a long short-term memory neural network that can be queried to predict how traces of the process may advance within a time frame. Comparison of execution time and resource occupancy under different parameters is included for a case study, as well as details on the building of the machine learning model and its integration with Maude.

Original languageEnglish
Title of host publicationRewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers
EditorsKyungmin Bae
PublisherSpringer Science and Business Media Deutschland GmbH
Pages113-129
Number of pages17
ISBN (Print)9783031124402
DOIs
StatePublished - 2022
Event14th International Workshop on Rewriting Logic and its Applications, WRLA 2022 - Munich, Germany
Duration: 02 Apr 202203 Apr 2022

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13252 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th International Workshop on Rewriting Logic and its Applications, WRLA 2022
Country/TerritoryGermany
CityMunich
Period02/04/2203/04/22

Fingerprint

Dive into the research topics of 'Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic'. Together they form a unique fingerprint.

Cite this