Mostrar el registro sencillo del ítem

Artículo

dc.creatorBorrego Núñez, Dianaes
dc.creatorMartínez Gasca, Rafaeles
dc.creatorGómez López, María Teresaes
dc.date.accessioned2022-02-21T10:48:57Z
dc.date.available2022-02-21T10:48:57Z
dc.date.issued2015
dc.identifier.citationBorrego Núñez, D., Martínez Gasca, R. y Gómez López, M.T. (2015). Automating correctness verification of artifact-centric business process models. Information and Software Technology, 62 (June 2015), 187-197.
dc.identifier.issn0950-5849es
dc.identifier.urihttps://hdl.handle.net/11441/130101
dc.description.abstractContext: The artifact-centric methodology has emerged as a new paradigm to support business process management over the last few years. This way, business processes are described from the point of view of the artifacts that are manipulated during the process. Objective: One of the research challenges in this area is the verification of the correctness of this kind of business process models where the model is formed of various artifacts that interact among them. Method: In this paper, we propose a fully automated approach for verifying correctness of artifact-centric business process models, taking into account that the state (lifecycle) and the values of each artifact (numerical data described by pre and postconditions) influence in the values and the state of the others. The lifecycles of the artifacts and the numerical data managed are modeled by using the Constraint Programming paradigm, an Artificial Intelligence technique. Results: Two correctness notions for artifact-centric business process models are distinguished (reachability and weak termination), and novel verification algorithms are developed to check them. The algorithms are complete: neither false positives nor false negatives are generated. Moreover, the algorithms offer precise diagnosis of the detected errors, indicating the execution causing the error where the lifecycle gets stuck. Conclusion: To the best of our knowledge, this paper presents the first verification approach for artifact-centric business process models that integrates pre and postconditions, which define the behavior of the services, and numerical data verification when the model is formed of more than one artifact. The approach can detect errors not detectable with other approaches.es
dc.description.sponsorshipMinisterio de Educación y Ciencia TIN2009-13714es
dc.formatapplication/pdfes
dc.format.extent11es
dc.language.isoenges
dc.publisherElsevieres
dc.relation.ispartofInformation and Software Technology, 62 (June 2015), 187-197.
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectArtifact-centric business process modeles
dc.subjectVerificationes
dc.subjectConstraint programminges
dc.titleAutomating correctness verification of artifact-centric business process modelses
dc.typeinfo:eu-repo/semantics/articlees
dcterms.identifierhttps://ror.org/03yxnpp24
dc.type.versioninfo:eu-repo/semantics/publishedVersiones
dc.rights.accessRightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticoses
dc.relation.projectIDTIN2009-13714es
dc.relation.publisherversionhttps://www.sciencedirect.com/science/article/pii/S0950584915000464es
dc.identifier.doi10.1016/j.infsof.2015.02.010es
dc.contributor.groupUniversidad de Sevilla. TIC258: Data-centric Computing Research Hub
dc.journaltitleInformation and Software Technologyes
dc.publication.volumen62es
dc.publication.issueJune 2015es
dc.publication.initialPage187es
dc.publication.endPage197es
dc.contributor.funderMinisterio de Educación y Ciencia (MEC). Españaes

FicherosTamañoFormatoVerDescripción
Automating correctness verification ...866.6KbIcon   [PDF] Ver/Abrir  

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional