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...
| Autores: | , |
|---|---|
| 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 |