dc.creator | Borrego Núñez, Diana | es |
dc.creator | Barba Rodríguez, Irene | es |
dc.date.accessioned | 2021-11-11T10:28:58Z | |
dc.date.available | 2021-11-11T10:28:58Z | |
dc.date.issued | 2014 | |
dc.identifier.citation | Borrego Núñez, D. y Barba Rodríguez, I. (2014). Conformance checking and diagnosis for declarative business process models in data-aware scenarios. Expert Systems with Applications, 41 (11), 5340-5352. | |
dc.identifier.issn | 0957-4174 | es |
dc.identifier.uri | https://hdl.handle.net/11441/127260 | |
dc.description.abstract | 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. | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN2009-13714 | es |
dc.format | application/pdf | es |
dc.format.extent | 13 | es |
dc.language.iso | eng | es |
dc.publisher | Elsevier | es |
dc.relation.ispartof | Expert Systems with Applications, 41 (11), 5340-5352. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Business processes management | es |
dc.subject | Process mining | es |
dc.subject | Conformance checking | es |
dc.subject | Diagnosis | es |
dc.subject | Declarative business process models | es |
dc.subject | Constraint programming | es |
dc.title | Conformance checking and diagnosis for declarative business process models in data-aware scenarios | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | TIN2009-13714 | es |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S0957417414001390 | es |
dc.identifier.doi | 10.1016/j.eswa.2014.03.010 | es |
dc.journaltitle | Expert Systems with Applications | es |
dc.publication.volumen | 41 | es |
dc.publication.issue | 11 | es |
dc.publication.initialPage | 5340 | es |
dc.publication.endPage | 5352 | es |
dc.identifier.sisius | 20704817 | es |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | es |