Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar


The RALph miner for automated discovery and verification of resource-aware process models

Title data

Cabanillas, Cristina ; Ackermann, Lars ; Schönig, Stefan ; Sturm, Christian ; Mendling, Jan:
The RALph miner for automated discovery and verification of resource-aware process models.
In: Software and Systems Modeling. (August 2020) .
ISSN 1619-1374
DOI: https://doi.org/10.1007/s10270-020-00820-7

Abstract in another language

Automated process discovery is a technique that extracts models 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.

Further data

Item Type: Article in a journal
Refereed: Yes
Keywords: Model checking; Organisational mining; Process mining; Process verification; RALph; Resource assignment; Resource mining
Institutions of the University: Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science > Chair Applied Computer Science IV > Chair Applied Computer Science IV - Univ.-Prof. Dr.-Ing. Stefan Jablonski
Result of work at the UBT: Yes
DDC Subjects: 000 Computer Science, information, general works > 004 Computer science
Date Deposited: 28 Sep 2020 08:01
Last Modified: 28 Sep 2020 08:01
URI: https://eref.uni-bayreuth.de/id/eprint/57606