dc.creator | Borrego Núñez, Diana | es |
dc.creator | Martínez Gasca, Rafael | es |
dc.creator | Gómez López, María Teresa | es |
dc.creator | Parody Núñez, María Luisa | es |
dc.date.accessioned | 2022-10-24T09:32:58Z | |
dc.date.available | 2022-10-24T09:32:58Z | |
dc.date.issued | 2010 | |
dc.identifier.citation | Borrego Núñez, D., Martínez Gasca, R., Gómez López, M.T. y Parody Núñez, M.L. (2010). Contract-based Diagnosis for Business Process Instances using Business Compliance Rules. En DX 2010: 21th International Workshop on Principles of Diagnosis Portland, Oregon, USA: PHM Society. | |
dc.identifier.uri | https://hdl.handle.net/11441/138265 | |
dc.description.abstract | In order to increase the quality of business pro cesses when they are automated, the correctness
of the activities can be checked by means of an
analysis of the corresponding business compli ance rules. By analyzing the trace of an instance
of a business process, it is possible to detect the
correctness of the process and to determine which
activity is faulty. Each activity or set of activities
is related to a set of business compliance rules,
which work as contracts that the activities must
satisfy throughout the dataflow.
In order to diagnose a business process instance,
not all the activities participate in every single
execution, since there are control flows that per mit the execution of several branches for a varied
number of times. We propose to automate the di agnosis of these executions of a business process
taking into account the involved activities and
their business compliance rules. Our main contri butions are related to the construction of the cor responding framework using several techniques
related to the constraint programming paradigm
to obtain the incorrect activities. The two differ ent proposals consider the tradeoff between the
obtaining of the minimal diagnosis and the per formance | es |
dc.description.sponsorship | Junta de Andalucía P08-TIC-04095 | es |
dc.description.sponsorship | Ministerio de Ciencia y Tecnología TIN2009-13714 | es |
dc.format | application/pdf | es |
dc.format.extent | 8 | es |
dc.language.iso | eng | es |
dc.publisher | PHM Society | es |
dc.relation.ispartof | DX 2010: 21th International Workshop on Principles of Diagnosis (2010). | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Model-based Diagnosis | es |
dc.subject | Constraint programming | es |
dc.subject | Business rules | es |
dc.subject | Unsatisfiable subset | es |
dc.title | Contract-based Diagnosis for Business Process Instances using Business Compliance Rules | es |
dc.type | info:eu-repo/semantics/conferenceObject | 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 | P08-TIC-04095 | es |
dc.relation.projectID | TIN2009-13714 | es |
dc.relation.publisherversion | https://phmsociety.org/workshop/dx/21st-international-workshop-on-the-principles-of-diagnosis/workshop-program/ | es |
dc.contributor.group | Universidad de Sevilla. TIC-258: Data-centric Computing Research Hub | es |
dc.eventtitle | DX 2010: 21th International Workshop on Principles of Diagnosis | es |
dc.eventinstitution | Portland, Oregon, USA | es |
dc.relation.publicationplace | Portland, OR, USA | es |
dc.contributor.funder | Junta de Andalucía | es |
dc.contributor.funder | Ministerio de Ciencia Y Tecnología (MCYT). España | es |