Conformance checking and diagnosis for declarative business process models in data-aware scenarios

A business process (BP) consists of a set of activities which are performed in coordination in an organizational and technical environment and which jointly realize a business goal. In such context, BP management (BPM) can be seen as supporting BPs using methods, techniques, and software in order to...

Descripción completa

Detalles Bibliográficos
Autores: Borrego Núñez, Diana, Barba Rodríguez, Irene
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2014
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/127260
Acceso en línea:https://hdl.handle.net/11441/127260
https://doi.org/10.1016/j.eswa.2014.03.010
Access Level:acceso abierto
Palabra clave:Business processes management
Process mining
Conformance checking
Diagnosis
Declarative business process models
Constraint programming
id ES_bca88b2aada539966bc24368ab7b2d3d
oai_identifier_str oai:idus.us.es:11441/127260
network_acronym_str ES
network_name_str España
repository_id_str
spelling Conformance checking and diagnosis for declarative business process models in data-aware scenariosBorrego Núñez, DianaBarba Rodríguez, IreneBusiness processes managementProcess miningConformance checkingDiagnosisDeclarative business process modelsConstraint programmingA business process (BP) consists of a set of activities which are performed in coordination in an organizational and technical environment and which jointly realize a business goal. In such context, BP management (BPM) can be seen as supporting BPs using methods, techniques, and software in order to design, enact, control, and analyze operational processes involving humans, organizations, applications, and other sources of information. Since the accurate management of BPs is receiving increasing attention, conformance checking, i.e., verifying whether the observed behavior matches a modelled behavior, is becoming more and more critical. Moreover, declarative languages are more frequently used to provide an increased flexibility. However, whereas there exist solid conformance checking techniques for imperative models, little work has been conducted for declarative models. Furthermore, only control-flow perspective is usually considered although other perspectives (e.g., data) are crucial. In addition, most approaches exclusively check the conformance without providing any related diagnostics. To enhance the accurate management of flexible BPs, this work presents a constraint-based approach for conformance checking over declarative BP models (including both control-flow and data perspectives). In addition, two constraint-based proposals for providing related diagnosis are detailed. To demonstrate both the effectiveness and the efficiency of the proposed approaches, the analysis of different performance measures related to a wide diversified set of test models of varying complexity has been performed.Ministerio de Ciencia e Innovación TIN2009-13714ElsevierLenguajes y Sistemas InformáticosMinisterio de Ciencia e Innovación (MICIN). España2014info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/11441/127260https://doi.org/10.1016/j.eswa.2014.03.010reponame:idUS. Depósito de Investigación de la Universidad de Sevillainstname:Universidad de Sevilla (US)InglésExpert Systems with Applications, 41 (11), 5340-5352.TIN2009-13714https://www.sciencedirect.com/science/article/pii/S0957417414001390info:eu-repo/semantics/openAccessoai:idus.us.es:11441/1272602026-06-17T12:51:07Z
dc.title.none.fl_str_mv Conformance checking and diagnosis for declarative business process models in data-aware scenarios
title Conformance checking and diagnosis for declarative business process models in data-aware scenarios
spellingShingle Conformance checking and diagnosis for declarative business process models in data-aware scenarios
Borrego Núñez, Diana
Business processes management
Process mining
Conformance checking
Diagnosis
Declarative business process models
Constraint programming
title_short Conformance checking and diagnosis for declarative business process models in data-aware scenarios
title_full Conformance checking and diagnosis for declarative business process models in data-aware scenarios
title_fullStr Conformance checking and diagnosis for declarative business process models in data-aware scenarios
title_full_unstemmed Conformance checking and diagnosis for declarative business process models in data-aware scenarios
title_sort Conformance checking and diagnosis for declarative business process models in data-aware scenarios
dc.creator.none.fl_str_mv Borrego Núñez, Diana
Barba Rodríguez, Irene
author Borrego Núñez, Diana
author_facet Borrego Núñez, Diana
Barba Rodríguez, Irene
author_role author
author2 Barba Rodríguez, Irene
author2_role author
dc.contributor.none.fl_str_mv Lenguajes y Sistemas Informáticos
Ministerio de Ciencia e Innovación (MICIN). España
dc.subject.none.fl_str_mv Business processes management
Process mining
Conformance checking
Diagnosis
Declarative business process models
Constraint programming
topic Business processes management
Process mining
Conformance checking
Diagnosis
Declarative business process models
Constraint programming
description A business process (BP) consists of a set of activities which are performed in coordination in an organizational and technical environment and which jointly realize a business goal. In such context, BP management (BPM) can be seen as supporting BPs using methods, techniques, and software in order to design, enact, control, and analyze operational processes involving humans, organizations, applications, and other sources of information. Since the accurate management of BPs is receiving increasing attention, conformance checking, i.e., verifying whether the observed behavior matches a modelled behavior, is becoming more and more critical. Moreover, declarative languages are more frequently used to provide an increased flexibility. However, whereas there exist solid conformance checking techniques for imperative models, little work has been conducted for declarative models. Furthermore, only control-flow perspective is usually considered although other perspectives (e.g., data) are crucial. In addition, most approaches exclusively check the conformance without providing any related diagnostics. To enhance the accurate management of flexible BPs, this work presents a constraint-based approach for conformance checking over declarative BP models (including both control-flow and data perspectives). In addition, two constraint-based proposals for providing related diagnosis are detailed. To demonstrate both the effectiveness and the efficiency of the proposed approaches, the analysis of different performance measures related to a wide diversified set of test models of varying complexity has been performed.
publishDate 2014
dc.date.none.fl_str_mv 2014
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/11441/127260
https://doi.org/10.1016/j.eswa.2014.03.010
url https://hdl.handle.net/11441/127260
https://doi.org/10.1016/j.eswa.2014.03.010
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Expert Systems with Applications, 41 (11), 5340-5352.
TIN2009-13714
https://www.sciencedirect.com/science/article/pii/S0957417414001390
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:idUS. Depósito de Investigación de la Universidad de Sevilla
instname:Universidad de Sevilla (US)
instname_str Universidad de Sevilla (US)
reponame_str idUS. Depósito de Investigación de la Universidad de Sevilla
collection idUS. Depósito de Investigación de la Universidad de Sevilla
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869418132733427712
score 15,301629

Similares en LA Referencia