dc.creator | Borrego Núñez, Diana | es |
dc.creator | Eshuis, Rik | es |
dc.creator | Gómez López, María Teresa | es |
dc.creator | Martínez Gasca, Rafael | es |
dc.date.accessioned | 2022-02-21T11:08:27Z | |
dc.date.available | 2022-02-21T11:08:27Z | |
dc.date.issued | 2013 | |
dc.identifier.citation | Borrego Núñez, D., Eshuis, R., Gómez López, M.T. y Martínez Gasca, R. (2013). Diagnosing correctness of semantic workflow models. Data and Knowledge Engineering, 87 (September 2013), 167-184. | |
dc.identifier.issn | 0169-023X | es |
dc.identifier.uri | https://hdl.handle.net/11441/130104 | |
dc.description.abstract | To model operational business processes in an accurate way, workflow models need to reference both the control flow and dataflow perspectives. Checking the correctness of such workflow models and giving precise feedback in case of errors is challenging due to the interplay between these different perspectives. In this paper, we propose a fully automated approach for diagnosing correctness of semantic workflow models in which the semantics of activities are specified with pre and postconditions. The control flow and dataflow perspectives of a semantic workflow are modeled in an integrated way using Artificial Intelligence techniques (Integer Programming and Constraint Programming). The approach has been implemented in the DiagFlow tool, which reads and diagnoses annotated XPDL models, using a state-of-the-art constraint solver as back end. Using this novel approach, complex semantic workflow models can be verified and diagnosed in an efficient way. | es |
dc.description.sponsorship | Ministerio de Educación y Ciencia TIN2009-13714 | es |
dc.format | application/pdf | es |
dc.format.extent | 36 | es |
dc.language.iso | eng | es |
dc.publisher | Elsevier | es |
dc.relation.ispartof | Data and Knowledge Engineering, 87 (September 2013), 167-184. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Workflow | es |
dc.subject | Business processes management | es |
dc.subject | Diagnosis | es |
dc.subject | Constraint programming | es |
dc.subject | Integer programming | es |
dc.title | Diagnosing correctness of semantic workflow models | es |
dc.type | info:eu-repo/semantics/article | es |
dc.type.version | info:eu-repo/semantics/submittedVersion | 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/S0169023X13000451 | es |
dc.identifier.doi | 10.1016/j.datak.2013.04.008 | es |
dc.contributor.group | Universidad de Sevilla. TIC258: Data-centric Computing Research Hub | es |
dc.journaltitle | Data and Knowledge Engineering | es |
dc.publication.volumen | 87 | es |
dc.publication.issue | September 2013 | es |
dc.publication.initialPage | 167 | es |
dc.publication.endPage | 184 | es |
dc.identifier.sisius | 20617656 | es |
dc.contributor.funder | Ministerio de Educación y Ciencia (MEC). España | es |