Computation of alignments of business processes through relaxation labelling and local optimal search

A fundamental problem in conformance checking is aligning event data with process models. Unfortunately, existing techniques for this task are either complex, or can only be applicable to restricted classes of models. This in practice means that for large inputs, current techniques often fail to pro...

Descripción completa

Detalles Bibliográficos
Autores: Padró, Lluís|||0000-0003-4738-5019, Carmona Vargas, Josep|||0000-0001-9656-254X
Tipo de recurso: artículo
Fecha de publicación:2021
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/336365
Acceso en línea:https://hdl.handle.net/2117/336365
https://dx.doi.org/10.1016/j.is.2020.101703
Access Level:acceso abierto
Palabra clave:Business -- Data processing -- Mathematical models
Conformance checking
Process models
Event logs
Negocis -- Informàtica -- Models matemàtics
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
id ES_7a060ddc85a375cd4eaddd02b69b32a1
oai_identifier_str oai:upcommons.upc.edu:2117/336365
network_acronym_str ES
network_name_str España
repository_id_str
spelling Computation of alignments of business processes through relaxation labelling and local optimal searchPadró, Lluís|||0000-0003-4738-5019Carmona Vargas, Josep|||0000-0001-9656-254XBusiness -- Data processing -- Mathematical modelsConformance checkingProcess modelsEvent logsNegocis -- Informàtica -- Models matemàticsÀrees temàtiques de la UPC::Informàtica::Informàtica teòricaA fundamental problem in conformance checking is aligning event data with process models. Unfortunately, existing techniques for this task are either complex, or can only be applicable to restricted classes of models. This in practice means that for large inputs, current techniques often fail to produce a result. In this paper we propose a method to compute alignments for unconstrained process models, which relies on the use of relaxation labelling techniques on top of a partial order representation of the process model. The technique proposed in this paper precomputes information used in the search for alignments, and is able to produce real alignments that may be close to optimal ones by combining the aforementioned techniques with a locally applied A strategy. Remarkably, the implementation on the proposed technique achieves a speed-up of several orders of magnitude with respect to the approaches in the literature (either optimal, sup-optimal or approximate), often with a reasonable trade-off on the cost of the obtained alignment.This work has been supported by MINECO and FEDER funds under grant TIN2017-86727-C2-1-R.Peer ReviewedElsevier20222022-02-0120212021-02-02journal articlehttp://purl.org/coar/resource_type/c_6501AMhttp://purl.org/coar/version/c_ab4af688f83e57aainfo:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/2117/336365https://dx.doi.org/10.1016/j.is.2020.101703reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)InglésengAgencia Estatal de Investigación http://doi.org/10.13039/501100011033 Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016 TIN2017-86727-C2-1-R MODELOS Y METODOS BASADOS EN GRAFOS PARA LA COMPUTACION EN GRAN ESCALAopen accesshttp://purl.org/coar/access_right/c_abf2Attribution-NonCommercial-NoDerivatives 4.0 Internationalhttps://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/3363652026-05-27T15:37:01Z
dc.title.none.fl_str_mv Computation of alignments of business processes through relaxation labelling and local optimal search
title Computation of alignments of business processes through relaxation labelling and local optimal search
spellingShingle Computation of alignments of business processes through relaxation labelling and local optimal search
Padró, Lluís|||0000-0003-4738-5019
Business -- Data processing -- Mathematical models
Conformance checking
Process models
Event logs
Negocis -- Informàtica -- Models matemàtics
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
title_short Computation of alignments of business processes through relaxation labelling and local optimal search
title_full Computation of alignments of business processes through relaxation labelling and local optimal search
title_fullStr Computation of alignments of business processes through relaxation labelling and local optimal search
title_full_unstemmed Computation of alignments of business processes through relaxation labelling and local optimal search
title_sort Computation of alignments of business processes through relaxation labelling and local optimal search
dc.creator.none.fl_str_mv Padró, Lluís|||0000-0003-4738-5019
Carmona Vargas, Josep|||0000-0001-9656-254X
author Padró, Lluís|||0000-0003-4738-5019
author_facet Padró, Lluís|||0000-0003-4738-5019
Carmona Vargas, Josep|||0000-0001-9656-254X
author_role author
author2 Carmona Vargas, Josep|||0000-0001-9656-254X
author2_role author
dc.subject.none.fl_str_mv Business -- Data processing -- Mathematical models
Conformance checking
Process models
Event logs
Negocis -- Informàtica -- Models matemàtics
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
topic Business -- Data processing -- Mathematical models
Conformance checking
Process models
Event logs
Negocis -- Informàtica -- Models matemàtics
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
description A fundamental problem in conformance checking is aligning event data with process models. Unfortunately, existing techniques for this task are either complex, or can only be applicable to restricted classes of models. This in practice means that for large inputs, current techniques often fail to produce a result. In this paper we propose a method to compute alignments for unconstrained process models, which relies on the use of relaxation labelling techniques on top of a partial order representation of the process model. The technique proposed in this paper precomputes information used in the search for alignments, and is able to produce real alignments that may be close to optimal ones by combining the aforementioned techniques with a locally applied A strategy. Remarkably, the implementation on the proposed technique achieves a speed-up of several orders of magnitude with respect to the approaches in the literature (either optimal, sup-optimal or approximate), often with a reasonable trade-off on the cost of the obtained alignment.
publishDate 2021
dc.date.none.fl_str_mv 2021
2021-02-02
2022
2022-02-01
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
AM
http://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/336365
https://dx.doi.org/10.1016/j.is.2020.101703
url https://hdl.handle.net/2117/336365
https://dx.doi.org/10.1016/j.is.2020.101703
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.relation.none.fl_str_mv Agencia Estatal de Investigación http://doi.org/10.13039/501100011033 Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016 TIN2017-86727-C2-1-R MODELOS Y METODOS BASADOS EN GRAFOS PARA LA COMPUTACION EN GRAN ESCALA
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivatives 4.0 International
https://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivatives 4.0 International
https://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869411406752776192
score 15,301603