dc.creator | Cabanillas Macías, Cristina | es |
dc.creator | Ackermann, Lars | es |
dc.creator | Schönig, Stefan | es |
dc.creator | Sturm, Christian | es |
dc.creator | Mendling, Jan | es |
dc.date.accessioned | 2020-12-15T09:10:25Z | |
dc.date.available | 2020-12-15T09:10:25Z | |
dc.date.issued | 2020 | |
dc.identifier.citation | Cabanillas Macías, C., Ackermann, L., Schönig, S., Sturm, C. y Mendling, J. (2020). The RALph miner for automated discovery and verification of resource-aware processmodels. Software and Systems Modeling, 19 (6), 1415-1441. | |
dc.identifier.issn | 1619-1366 | es |
dc.identifier.uri | https://hdl.handle.net/11441/103220 | |
dc.description.abstract | Automated process discovery is a technique that extractsmodels of executed processes from event logs. Logs typically include
information about the activities performed, their timestamps and the resources that were involved in their execution. Recent
approaches to process discovery put a special emphasis on (human) resources, aiming at constructing resource-aware process
models that contain the inferred resource assignment constraints. Such constraints can be complex and process discovery
approaches so far have missed the opportunity to represent expressive resource assignments graphically together with process
models. A subsequent verification of the extracted resource-aware process models is required in order to check the proper
utilisation of resources according to the resource assignments. So far, research on discovering resource-aware process models
has assumed that models can be put into operation without modification and checking. Integrating resource mining and
resource-aware process model verification faces the challenge that different types of resource assignment languages are used
for each task. In this paper, we present an integrated solution that comprises (i) a resource mining technique that builds upon a
highly expressive graphical notation for defining resource assignments; and (ii) automated model-checking support to validate
the discovered resource-aware process models. All the concepts reported in this paper have been implemented and evaluated
in terms of feasibility and performance. | es |
dc.description.sponsorship | Austrian Science Found (FWF)—Grant V 569-N31 (PRAIS) | es |
dc.description.sponsorship | Ministerio de Ciencia, Innovación y Universidade RTI2018-100763-J-100 (CONFLEX) | es |
dc.format | application/pdf | es |
dc.format.extent | 27 | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | Software and Systems Modeling, 19 (6), 1415-1441. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Model checking | es |
dc.subject | Organisational mining | es |
dc.subject | Process mining | es |
dc.subject | Process verification | es |
dc.subject | RALph | es |
dc.subject | resource assignment | es |
dc.subject | Resource mining | es |
dc.title | The RALph miner for automated discovery and verification of resource-aware processmodels | 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 | Grant V 569-N31 (PRAIS) | es |
dc.relation.projectID | RTI2018-100763-J-100 (CONFLEX) | es |
dc.relation.publisherversion | https://link.springer.com/article/10.1007/s10270-020-00820-7 | es |
dc.identifier.doi | 10.1007/s10270-020-00820-7 | es |
dc.journaltitle | Software and Systems Modeling | es |
dc.publication.volumen | 19 | es |
dc.publication.issue | 6 | es |
dc.publication.initialPage | 1415 | es |
dc.publication.endPage | 1441 | es |
dc.contributor.funder | Austrian Science Found (FWF) | es |
dc.contributor.funder | Ministerio de Ciencia, Innovación y Universidades (MICINN). España | es |